Objective Caml - Вторник, 26 июля 2011

Objective Caml

ocaml@conference.jabber.ru

Вторник, 26 июля 2011< ^ >

Конфигурация комнаты

Участники комнаты

GMT+4
[00:01:27] ermine еще поняла, зачем в хваскиле любят писать сигнатуры функций, без них тайпклассы бы не работали
[00:02:34] <gds> ermine: в последнее время некоторые твои утверждения вызывают как минимум интерес -- "а это действительно профайлер сказал?".  Ну, про "медленно"/"быстро".
[00:04:42] <ermine> gds: я профайлером пользоваться не умею
[00:04:48] <ermine> o_O
[00:05:31] <gds> да ну, так не бывает.  Оптимизируешь на глаз штоле?
[00:05:39] <ermine> пробовала как-то давно, камлевый и gprof, ничо не поняла
[00:05:43] komar ниасилил профайлер с секундами.
[00:05:54] <komar> Реквестирую мануал в картинках.
[00:06:02] <komar> Потому что я даже пробовать боюсь.
[00:06:14] <gds> ну, это.  вы чо.
[00:07:24] <ermine> komar: пишешь прогу с циклом в 10000 и сравниваешь по выводу команды time?
[00:07:32] <gds> вы меня пытаетесь затроллить.  я лучше пойду спать, от греха подальше.
если серьёзно, то, конечно, покажу картинки.
[00:07:38] <komar> ermine: это не профайлер.
[00:08:09] gds вышел(а) из комнаты
[00:08:19] <komar> gds: я тебе признался, а ты — «затроллить».
[00:09:24] <ermine> komar: не хочет он писать еще одну полезную вику в камлюнити
[00:09:55] <ermine> но может правда пора спать
[00:11:08] ftrvxmtrx вышел(а) из комнаты
[00:11:58] <ermine> а мануал конечно есть, в мануале по камлу
[00:28:32] Typhon вошёл(а) в комнату
[00:28:55] shaggie вышел(а) из комнаты
[00:43:31] arhibot вошёл(а) в комнату
[00:47:12] ermine вышел(а) из комнаты
[00:50:44] arhibot вышел(а) из комнаты
[01:07:16] ftrvxmtrx вошёл(а) в комнату
[01:33:35] ftrvxmtrx вышел(а) из комнаты
[01:35:27] ftrvxmtrx вошёл(а) в комнату
[01:53:35] ftrvxmtrx вышел(а) из комнаты
[01:54:16] zert вышел(а) из комнаты
[02:58:21] Typhon вышел(а) из комнаты
[07:34:00] gds вошёл(а) в комнату
[08:01:24] komar вышел(а) из комнаты: Replaced by new connection
[08:01:24] komar вошёл(а) в комнату
[08:03:58] delete_ вошёл(а) в комнату
[09:05:44] zinid вошёл(а) в комнату
[09:19:24] Typhon вошёл(а) в комнату
[09:48:23] bobry- вышел(а) из комнаты
[09:48:30] bobry- вошёл(а) в комнату
[10:15:03] bobry- вышел(а) из комнаты
[10:15:07] bobry- вошёл(а) в комнату
[10:52:32] ftrvxmtrx вошёл(а) в комнату
[11:08:27] bobry- вышел(а) из комнаты
[11:08:35] bobry- вошёл(а) в комнату
[11:10:01] ftrvxmtrx вышел(а) из комнаты
[11:11:38] klapaucius вошёл(а) в комнату
[11:13:48] bobry вышел(а) из комнаты
[11:32:08] bobry вошёл(а) в комнату
[11:34:43] bobry вышел(а) из комнаты
[11:36:34] bobry вошёл(а) в комнату
[11:42:15] ftrvxmtrx вошёл(а) в комнату
[11:45:15] ermine вошёл(а) в комнату
[11:51:57] ftrvxmtrx вышел(а) из комнаты
[11:53:07] delete_ вышел(а) из комнаты
[11:53:08] shaggie вошёл(а) в комнату
[11:56:40] delete_ вошёл(а) в комнату
[11:59:45] ftrvxmtrx вошёл(а) в комнату
[12:02:44] ftrvxmtrx вышел(а) из комнаты
[12:33:43] zert вошёл(а) в комнату
[12:55:36] <ermine> gds: не видел либлу dns, умеющую lwt или крутой асинк?
[13:01:37] <gds> ermine:  ет.
[13:26:19] ftrvxmtrx вошёл(а) в комнату
[13:34:38] ejin вошёл(а) в комнату
[13:36:38] ejin вышел(а) из комнаты
[14:58:57] delete_ вышел(а) из комнаты
[15:14:12] f[x] вошёл(а) в комнату
[15:15:02] <f[x]> у меня есть dns на libevent :)
[15:16:50] <Typhon> с корабля на бал %) а выложен где-то?
[15:16:50] f[x] вышел(а) из комнаты
[15:18:13] f[x] вошёл(а) в комнату
[15:18:59] <f[x]> не, оно непричёсанное
[15:19:41] ftrvxmtrx вышел(а) из комнаты
[15:19:41] f[x] вышел(а) из комнаты
[15:19:52] ftrvxmtrx вошёл(а) в комнату
[15:20:23] f[x] вошёл(а) в комнату
[15:20:50] Typhon вновь показывает на топик
[15:21:04] <f[x]> аргх
[15:21:20] <Typhon> ^_^ так вон ermine же надо, она причешет может?
[15:23:07] f[x] вышел(а) из комнаты
[15:23:40] f[x] вошёл(а) в комнату
[15:43:16] <ermine> f[x]: а что там? голые сишние вызовы resolv, завернутые в libevent?
[15:43:41] <ermine> или какой-нить netdns/odns завернутый в ocaml-libevent?
[15:44:40] <f[x]> своя парсилка dns пакетов и ocaml-event
[15:47:02] <ermine> итераты!
[15:47:32] <ermine> f[x]: а как же ты парсишь, там ж биты галимые
[15:47:44] <ermine> в камле это неудобно и полно оверхедов
[15:48:39] <ermine> перегонять один бит в 64-разнядный инт ради int array
[15:51:16] <f[x]> bitstring
[15:51:51] <ermine> ну наверное
[15:52:01] <ermine> наверное там много сишнего кода
[15:52:46] <f[x]> я по секрету скажу - оно всё компилируется вообще в голимый машкод
[16:53:44] <bobry-> товарищи, никто не видел на камле библиотеки для icmp запросов? я нагуглил только статью в вике
[16:56:30] <ermine> а что за статья?
[16:58:11] <zinid> тоже самое щас в erlang@ спрашивают, только для ырланка :)
[17:00:16] f[x] вышел(а) из комнаты
[17:01:31] <bobry-> ну тык коллега мой :D
[17:01:39] <bobry-> ermine: http://www.wiki.crossplatform.ru/index.php/Ocaml/FAQ/Internet_Services
[17:02:58] <ermine> ишь ты какой ресурс
[17:03:59] <ermine> а, там слишком просто
[17:04:41] <bobry-> ну да
[17:04:46] <zinid> ну как просто, там icmp вручную строится :)
[17:05:35] <bobry-> а как его еще в камле строить?
[17:05:44] <zinid> ну наверное никак
[17:05:57] <zinid> я вообще не большой спец в камле ;)
[17:06:00] <bobry-> или совсем просто это дергать `ping` и читать stdout
[17:06:08] <zinid> нее :)
[17:06:11] <zinid> лучше как там
[17:06:17] <zinid> а чо, нормально вроде
[17:06:47] <zinid> там вон в icmp-пакет даже данные маршализуют, круто
[17:07:01] <zinid> let payload =
    Marshal.to_string {timestamp=Unix.gettimeofday ();
                       data="abcdefghijklmnopqrstuvwxyz0123456"} [] in
  let message = Packet.to_string (Packet.make ~id ~seq payload) in
  ignore
    (Unix.sendto socket message 0 (String.length message) [] sockaddr)
[17:08:18] <ermine> и вообще многа там букв
[17:08:30] <zinid> ну там готовые куски кода же
[17:08:53] bobry- бы предпочел готовый кусок кода в виде библиотеки :)
[17:08:59] <zinid> это да
[17:09:05] <zinid> но в камле такого не бывает ;)
[17:09:44] <ermine> а в oni ничо нет?
[17:11:57] <bobry-> хм, там какой то beep есть -- но разумеется документация для слабых духом, поэтому хз что это
[17:19:48] <bobry-> вообще мне нравится эта тенденция в мире камла
[17:20:03] <bobry-> большинство проектов которые я видел содержат в лучшем случае api docs
[17:20:12] <bobry-> ни examples, ни tutorials
[17:20:16] <bobry-> "suck it and see"
[17:22:08] <zinid> гг
[17:23:39] <gds> да, это плохо.  но в большинстве случаев настолько очевидно всё из ocamldoc-generated docs (а то и из mli), что разжёвывание в examples/tutorials будет слегка оскорблять пользователей библиотеки.  (examples -- нехай смотрят tests, обычно они есть.)  А вот что нет описаний низлежащих концепций частенько -- это плохо.
[17:24:07] <bobry-> оскорблять? да ну, тесты -- ни разу не документация
[17:24:56] <zinid> просто людям пофигу, не хотят свою либу продвигать, конкуренции то нет
[17:24:58] <bobry-> по моему скромному мнению как раз *отсутствие* документации это неуважения к пользователям
[17:26:15] <gds> тесты == примеры
[17:26:19] <bobry-> почему?
[17:26:28] <bobry-> я хочу use cases, а не test cases
[17:26:41] <gds> потому что это код, который тестирует библиотеку.  из него обычно всё понятно.
[17:27:08] <bobry-> т.е. подразумевается что я должен лезть в код?
[17:27:32] <gds> если нужны примеры кода -- лезть в код, находящийся в tests/*.ml*, как вариант.
[17:27:41] <bobry-> то что по тестам *можно* разобраться, не означает что это "единственный правильный" способ документировать свой код
[17:28:03] <bobry-> может быть я развращен python-community, но отсутствие examples/ и минимального howto меня просто возмущает
[17:28:12] <gds> это да.  но вроде речь не про документацию кода, а скорее про документацию апи?
[17:28:27] <bobry-> речь про что нибудь отвечающее на вопрос "как этим пользоваться"
[17:28:32] <bobry-> кроме кода
[17:29:36] <gds> ну да, с этим обычно плохо.  Однако радует, что из ocamldoc-документации обычно можно выяснить это -- хотя бы по типам.
[17:29:50] <bobry-> да, хотя бы по типам
[17:38:58] <zinid> ага, зачастую в mli тока типы и можно увидеть :)
[17:39:45] <zinid> кстати, в плюсах doxygen only считается конкретным трэшаком
[17:39:58] <zinid> вот там чуваки расслабились ;)
[17:42:29] ftrvxmtrx вышел(а) из комнаты
[17:42:40] ftrvxmtrx вошёл(а) в комнату
[17:51:43] f[x] вошёл(а) в комнату
[17:52:51] f[x] вышел(а) из комнаты
[18:21:48] f[x] вошёл(а) в комнату
[18:29:00] f[x] вышел(а) из комнаты
[18:30:49] f[x] вошёл(а) в комнату
[18:40:20] <bobry-> ох как же грустно все с камлом в арче
[18:40:59] <ermine> на хаскиль!!!
[18:41:17] <bobry-> ну, там проблема не столько камла сколько AUR'a
[18:41:24] <bobry-> пакеты не ментейнят сцуки
[18:41:29] <ermine> bobry-: а мне zert в соседней конфе втирал про крутизну линукса
[18:42:00] <bobry-> а ты на виндах?
[18:42:18] <ermine> на фре
[18:42:20] <bobry-> ну кстати если пользовать дебиан то там легал и компания все кошерно обустроили
[18:42:28] <bobry-> бог мой, фря
[18:42:51] <zert> arch ваш не нужен
[18:42:52] <ermine> фря рулит
[18:42:57] <ermine> всё пашыт
[18:42:59] <zert> ибо хламидомонада какая-то
[18:43:01] <zert> сабаён рулит
[18:43:03] <ermine> и ничо не падает
[18:43:03] <zert> всё пашыт
[18:43:11] <zert> и ничо не падает
[18:43:37] <bobry-> zert: трололо
[18:43:53] <ermine> а у вас развели зоопарк линуксов и бегаете туда-сюда
[18:44:05] <ermine> бедненькие детишки
[18:44:15] <bobry-> ну фрей то тоже не одна
[18:44:23] <bobry-> тьфу ты, бсд т.е.
[18:44:26] <ermine> причем мода одного линукса - несколько лет, пока не появится другой
[18:44:52] <ermine> уж лучше стабильная операционка десятилетиями, причем софт свежий
[18:45:04] <zert> гг
[18:45:59] <ermine> а у вас еще и помойка в /etc
[18:46:35] <zert> откуда она там?
[18:46:45] <zert> я в /etc уже лет 5 не заглядывал
[18:47:49] <ermine> ну если переносить весь /etc с одного линукса на другой (с другим именем), чтобы сохранить настройки софта - проблем не будет?
[18:48:43] <zert> я переносил несколько раз, только имя хоста менял
[18:49:20] <ermine> с дебиана на бубунту или наоборот или как-то еще?
[18:49:23] <ermine> на генту
[18:50:22] <zert> с генты на генту
[18:50:25] <zert> или сабаён
[18:53:32] <ermine> не, с генты на генту не считается
[19:09:55] f[x] вышел(а) из комнаты
[19:10:59] ftrvxmtrx вышел(а) из комнаты
[19:16:44] klapaucius вышел(а) из комнаты
[19:28:40] <zinid> ermine везде потроллить линупс успевает :)
[19:29:19] <zert> вяло троллит
[19:30:00] komar вышел(а) из комнаты: Replaced by new connection
[19:30:00] komar вошёл(а) в комнату
[19:31:22] Typhon вышел(а) из комнаты
[19:46:28] <komar> bobry, выкинь арч.
[19:46:33] <komar> Олегфинк так сделал и доволен.
[19:46:49] <komar> Кроме того, арч уже сто лет как сдох.
[19:50:18] <zert> а что он взял?
[19:50:29] <zert> и кто такой олегфинк?
[19:50:58] <komar> Взял frugalware.
[19:51:19] <komar> Меня, правда, с двух попыток поставить этот дистрибутив в качестве основного стошнило.
[19:51:50] <zert> он на арче основан?
[19:51:51] <komar> Олегфинк заходит сюда иногда, раньше на #archlinux-ru@freenode торчал.
[19:52:00] <zert> какой у него ник?
[19:52:08] <komar> Он основан на людях, которые из арча сбежали.
[19:52:13] <komar> olegfink же.
[19:52:25] <zert> это не OOleg из жуйка?
[19:52:58] <komar> Нет.
[19:53:04] <zert> ок
[19:53:16] <komar> А про арч гуглить по слову «фракчур».
[19:53:23] <komar> Все остается актуальным.
[19:53:32] <zert> арч не нужон
[19:54:12] <komar> (((
[19:58:17] zinid вышел(а) из комнаты
[20:11:44] ftrvxmtrx вошёл(а) в комнату
[20:16:12] <bobry-> komar: я только вернулся на него
[20:22:06] shaggie вышел(а) из комнаты
[20:40:01] bobry- пересобрал пол AUR'a чтобы заиметь oasis :(
[20:40:44] <gds> bobry-: не проще взять оверблд?
[20:41:07] <bobry-> шо це такое?
[20:41:20] <bobry-> ну а вообще -- не, пусть лучше в AUR'e будут хорошие пакеты, щас там косяков много
[20:42:42] <gds> bobry-: http://gdsfh.dreamwidth.org/4396.html -- почему я отказался от идеи "лучше <пакеты такой-то ОС>".
[20:44:05] <bobry-> кстати gds, что скажешь про код этих ребят https://github.com/EchoTeam/ocaml-erlang-port
[20:44:11] <bobry-> может мне просто с непривычки он не нравится?
[20:46:25] <gds> всё посмотреть не мог, конкретно ErlangPort.ml вроде нормальное.  Тут ведь ещё зависит от того, какие задачи.  Некоторые задачи требуют кода, который кажется уродским.  Тут -- хз.
[20:46:46] <bobry-> меня какбы один вопрос беспокоит
[20:46:49] <bobry-> почему не streams
[20:47:06] <bobry-> задача -- конвертить эрланговские термы в камловские, и наоборот
[20:49:03] <gds> streams имеют свою цену, они накладывают ограничение на стиль.  как минимум так.
[20:50:00] <bobry-> судя по исходнику стиль бы не сильно пострадал :0
[21:16:03] ftrvxmtrx вышел(а) из комнаты
[21:17:48] shaggie вошёл(а) в комнату
[21:28:25] komar вышел(а) из комнаты: Replaced by new connection
[21:28:26] komar вошёл(а) в комнату
[21:29:07] f[x] вошёл(а) в комнату
[21:36:05] f[x] вышел(а) из комнаты
[21:51:24] f[x] вошёл(а) в комнату
[22:02:43] komar вышел(а) из комнаты: Replaced by new connection
[22:02:45] komar вошёл(а) в комнату
[22:21:50] ygrek вошёл(а) в комнату
[22:22:03] ygrek вышел(а) из комнаты
[22:22:19] ygrek вошёл(а) в комнату
[22:25:24] ftrvxmtrx вошёл(а) в комнату
[22:44:09] bobry вышел(а) из комнаты
[22:44:47] bobry вошёл(а) в комнату
[23:06:00] Typhon вошёл(а) в комнату
[23:13:42] shaggie вышел(а) из комнаты
[23:22:42] Typhon вышел(а) из комнаты: Replaced by new connection
[23:22:44] Typhon вошёл(а) в комнату
[23:37:44] <Typhon> http://research.microsoft.com/apps/pubs/default.aspx?id=151802 --- Lightweight Monadic Programming in ML  --- не читал, только ща пришло в рсс, почему то. в свете последних тенденций может быть интересно
[23:38:17] <Typhon> вообще, в последнем "выбросе" Microsoft Research Publications  интересные названия статей :-)
[23:54:37] <ermine> неужели еще кто-то программит на таинственном ML
[23:55:11] <komar> А то.
[23:58:27] komar вышел(а) из комнаты: Replaced by new connection
[23:58:27] komar вошёл(а) в комнату