Objective Caml - Понедельник, 19 марта 2012

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 19 марта 2012< ^ >

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

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

GMT+4
[00:04:23] shaggie вышел(а) из комнаты
[00:24:35] ftrvxmtrx вышел(а) из комнаты
[00:24:38] ftrvxmtrx вошёл(а) в комнату
[00:26:31] <bobry> мда, неявная ленивость это здорово
[00:26:48] <bobry> 20 минут уже пытаюсь понять с какого кукана у меня мой "бесконечный" список форсится
[00:29:41] <gds> неявная ленивость это плохо -- часами пытался понять, откуда в ленивом алгоритме рождается столько значений, засирающих память.
[00:30:38] <bobry> если что, выше сарказм
[00:33:59] komar вышел(а) из комнаты: Replaced by new connection
[00:34:00] komar вошёл(а) в комнату
[00:49:45] <bobry> gds: а можно эту последовательность получить без merge? я в итоге сделал совсем тупо 'merge squares (merge cubes facts)'
[00:49:57] <bobry> в смысле, в чем же фишка -- разве только факториалы завязать
[00:51:47] <gds> bobry: не понял вопроса.  без merge -- можно, в теории.  на практике -- нафиг не нужно.
[00:53:05] <bobry> да я думаю нахера нам такую задачку дали
[00:53:11] <bobry> к лекции про завязывание узлов
[00:53:37] <gds> а хз.  завязал 3 узла -- молодец, гуляй, барбру пили.
[00:55:01] <gds> вообще, про узлы гораздо интереснее тот пример, который я показывал насчёт транзитивного замыкания.  но его навряд ли студенты смогли бы асилить сходу, там чуток подумать надо.
[00:55:43] <bobry> шо шо ты показывал?
[00:55:54] <bobry> кстати функциональное представление графов тоже в лекции было
[00:55:55] <gds> ключевое слово "уроборос", помнишь?
[00:55:59] <bobry> на кол сажать за такие лекции ..
[00:56:06] <bobry> чета забыл уже, но слово было
[00:57:11] <gds> bobry: в псачике проще было найти, вот: http://gds.psto.net/oiegoe
[00:57:37] <bobry> мерси, завтра с утречка напрягу извилины :)
[00:58:21] bobry вышел(а) из комнаты
[01:16:58] Kakadu вышел(а) из комнаты
[01:24:08] komar вышел(а) из комнаты: Replaced by new connection
[01:24:10] komar вошёл(а) в комнату
[02:27:10] komar вышел(а) из комнаты: Replaced by new connection
[02:27:10] komar вошёл(а) в комнату
[03:23:49] letrec вошёл(а) в комнату
[04:02:07] komar вышел(а) из комнаты: Replaced by new connection
[04:02:07] komar вошёл(а) в комнату
[04:39:52] letrec вышел(а) из комнаты
[07:15:54] klapaucius вышел(а) из комнаты
[10:01:34] superbobry вошёл(а) в комнату
[10:46:09] Typhon вошёл(а) в комнату
[10:50:12] Typhon вышел(а) из комнаты
[10:50:43] Typhon вошёл(а) в комнату
[11:18:45] ftrvxmtrx вышел(а) из комнаты
[11:27:19] ermine вошёл(а) в комнату
[11:31:02] ftrvxmtrx вошёл(а) в комнату
[11:37:25] Typhon вышел(а) из комнаты
[11:39:21] Typhon вошёл(а) в комнату
[11:43:43] ftrvxmtrx вышел(а) из комнаты
[11:52:19] klapaucius вошёл(а) в комнату
[11:57:15] ftrvxmtrx вошёл(а) в комнату
[12:03:09] Typhon вышел(а) из комнаты
[12:42:17] shaggie вошёл(а) в комнату
[12:48:46] Typhon вошёл(а) в комнату
[12:49:17] Kakadu вошёл(а) в комнату
[12:52:55] <Kakadu> superbobry: ну то будем делать с нашей поделкой?
[13:00:20] <ermine> if $OS_NAME = "FreeBSD"
  Path = "patches/patch-freebsd-Makefile"
[13:00:59] <Kakadu> это типа ответ на мой вопрос?
[13:02:04] <ermine> а в портах фрибсд сделано лучше, там не надо указывать конкретно, что есть патчи и их надо прикладывать, достаточно положить патчи в каталог
[13:02:31] <ermine> Kakadu: ну да
[13:05:28] <ermine> Kakadu: после победы патчей, надо будет проверять наличие либлы в site-lib, прежде чем бежать собирать ее
[13:18:59] Kakadu вошёл(а) в комнату
[13:22:00] <Kakadu> superbobry: давай подзапилим ifы
[13:22:07] <Kakadu> я даже знаю как это делать
[13:23:00] <Kakadu> по аналогии с тем что у меня в дипломе
[13:23:06] <gds> а кто тут умеет камло на мацынтоше ставить?  у знакомых проблема с findlib+lwt чото.
[13:33:19] Kakadu вышел(а) из комнаты
[13:51:03] <Kakadu> gds: те кто умеют --- молчат
[13:51:53] <Typhon> я ставил самосбором, без brew. и из портов, кажется.
[13:53:39] <Kakadu> > Здравствуйте, это канал про аниме?
> Да.
> Как пропатчить OCaml 3.12 под Darwin?
[13:58:02] <ermine> барбной надо ставить
[14:00:48] <gds> всё понял, так и передал.
[14:01:04] <Typhon> сейчас модно ставить из брю сам окамл, вроде как
[14:02:24] <gds> тоже передал.  кстати, знакомый этот -- похапист и немного х-ист, которого садим за js_of_ocaml.
[14:27:40] <ermine> гнобят его!
[14:29:07] <gds> а кто-нибудь из барбро{писателей,юзеров} готов был бы помочь человеку, полностью не знающему камло, чтобы барброй поднять камло и всё вплоть до js_of_ocaml на яблоiде?
[14:29:47] <Kakadu> да, но не раньше завтрашнего вечера
[14:31:07] Typhon вышел(а) из комнаты
[14:32:23] <Kakadu> gds:думаю ты так крут, что у тебя обязательно енайдется ссылка как докладывать на конференциях
[14:32:47] <f[x]> > http://vfiack.fr/ocaml/doc/
[14:33:04] <f[x]> стандартная дока с патченым ocamldoc'ом и кастомными css'ами
[14:33:08] <gds> Kakadu: про вечер -- не катит, надо быстрее.  впрочем, поглядим.
про доклады -- напиши чёткий план и по нему шпарь.
[14:33:54] <gds> а ссылок нет.  погугли, может.
[14:34:25] Typhon вошёл(а) в комнату
[14:34:46] <gds> главные ошибки докладчиков: непоследовательное изложение, forward references, рассусоливание и излишнее углубление в детали.  если это исключить -- уже получится прилично.
[14:37:45] <f[x]> последнее - самое ужасное
[14:38:06] <f[x]> ещё - тупая зачитка всего текста со слайдов
[14:38:07] Typhon вышел(а) из комнаты: Replaced by new connection
[14:38:26] Typhon вошёл(а) в комнату
[14:39:17] Typhon вышел(а) из комнаты
[14:39:51] <Kakadu> f[x]: ну тупая зачитка мне не грозит
[14:39:57] Typhon вошёл(а) в комнату
[15:07:15] <ermine> gds: насчет барбы - нужны два варианта "поднятия": из релизов и из текущих репок
[15:07:39] <ermine> gds: я могла бы поддерживать репную версию проектов с оксигена
[15:07:58] <ermine> правда сложности с понятием "текущая репа"
[15:08:08] <gds> ermine: о, а может ты и поможешь челу, в таком случае?  у тебя мацынтош был где-то.
[15:08:19] <gds> (если готова поддерживать ocsigen и рядом.)
[15:09:05] <gds> я бы и сам помог, но сегодня сборы в дорогу, скоро валю реаллайф-делишки делать.
[15:09:05] <ermine> gds: у меня есть макбук, но на нем я не собирала проекты с оксигена
[15:09:33] <Kakadu> ermine: барбру в зубы и вперед
[15:09:36] <ermine> gds: а на макбуке технология сборки такая же, как и везде
[15:09:52] <ermine> make install
[15:10:28] <ermine> Kakadu: так барбра не ставит в site-libs
[15:11:01] <ermine> Kakadu: сначала научи ее собирать либлу, если ее нет в сите-дибс или в сите-либлс старая версия
[15:14:25] <ermine> Kakadu: сначала ос-специфик патчи
[15:14:55] ermine точно знает, как /me бы применяла барбу, только в ней наличествующего функционала лишь 0.1%
[15:15:13] <gds> ermine: я понимаю про make install, но человек вообще в камле не разбирается.
[15:16:20] <ermine> gds: камло и камлофинд можно поставить из макпортов
[15:16:43] <ermine> gds: а дальше вопрос, что ему надо - релизы или из даркса проекты с оксигена
[15:17:42] <gds> пофиг, хоть что-нибудь, с чем можно играться.
[15:18:20] <ermine> gds: darcs есть уже?
[15:18:23] komar вышел(а) из комнаты: Replaced by new connection
[15:18:23] komar вошёл(а) в комнату
[15:18:52] <gds> надо "с минимальным гемором".  в общем, если штатного способа нет -- чел будет ждать, пока я приеду с хохлэнда.
[15:19:40] <gds> и еду чисто туда-сюда до черкасской области и взад.  так и не получится выбраться в киев, пичалька.
[15:19:49] <ermine> gds: если барбой собирать, то ничо не проинсталлишь в систему, там тоже свой гемор есть
[15:20:05] <gds> а, да, про барбру понял.
[15:20:19] <ermine> а барба бы помогла вытащить исходники и запустить сборку, благо что в lwt есть setup.ml
[15:22:01] <ermine> gds: если бы я для себя собирала, я бы просто вынула lwt и js_of_ocaml из даркс и запустила бы тупо make install
[15:23:10] <gds> понял, все советы передал.
как невовремя я уезжаю -- только сегодня решили, что вместо agda->js будет js_of_ocaml, и на те.
[15:25:21] <ermine> а почему?
[15:25:47] letrec вошёл(а) в комнату
[15:26:39] <gds> как аргумент -- надёжность-проверенность кодогенерилки и возможность потвикать её под свои нужды (т.к. с камлом попроще тут будет).  ну и такой момент, что агда сама по себе ленивая, а при трансляции в жс внезапно оказывается строгой, поэтому проверять один и тот же код в жс и в нормальных языках не получится.
[15:27:44] <gds> а, ну ещё js_of_ocaml даёт более удобочитаемый код.
[15:30:13] <ermine> про проверку в разных языках не поняла
[15:30:53] <ermine> не согласилась бы насчет удобочитаемости
[15:31:08] <ermine> какая-то каша генерится в js_of_ocaml :)
[15:31:12] <gds> ну вот, есть один и тот же код.  при трансляции в жс он считается имеющим строгий порядок вычислений, при трансляции в х-ь -- ленивый.
[15:31:30] <gds> видимо, по сравнению с агдовой кашей там и не каша.
[15:33:54] <ermine> а мне вот вспомнилось мнение попробовавшего ocamlj, он сказал, что кодить наиболее удобно в ocamlj, ибо там используется смысл кода, а не тождественность синтаксиса js
[15:37:24] <ermine> идеология js_of_ocaml -- пиши в камле буквально как на js
[15:38:09] <ermine> то же самое как монады их хаскиля пытаются в буквальном виде везде пропихивать :(
[15:38:32] <Kakadu> хватит болтать. Надо брать и писать на js_of_ocaml
[15:39:22] <ermine> Kakadu: ты ifы уже закоммитил?
[15:39:32] <Kakadu> ermine: не дави на меня
[15:39:37] <Kakadu> а тоя тебя клюну
[15:40:31] ermine прячется за широкой спиной gds
[15:45:30] Typhon вышел(а) из комнаты
[15:46:13] Kakadu тут думал, про что бы написать. Хотел сказать что он вылизывает крылья, потом вспомнил что он попогай, потом начал вспоминать кто такая химера и остановился, что он лев, с крыльями и головой Какаду
[16:00:01] Typhon вошёл(а) в комнату
[16:39:41] Typhon вышел(а) из комнаты: Replaced by new connection
[16:40:21] Typhon вошёл(а) в комнату
[16:41:06] Typhon вышел(а) из комнаты: Replaced by new connection
[16:41:25] Typhon вошёл(а) в комнату
[17:29:32] superbobry вышел(а) из комнаты
[19:04:13] Typhon вышел(а) из комнаты
[19:05:55] Typhon вошёл(а) в комнату
[19:05:56] Typhon вышел(а) из комнаты
[19:27:05] <f[x]> Kakadu: заказывал? распишитесь - http://spyced.blogspot.com/2012/03/speaking-to-technical-conference.html
[19:34:21] <Kakadu> f[x]: спасибо
[19:34:55] <ermine> а что там такого?
[19:35:09] <ermine> там слова ocaml даже нет
[19:35:51] <Kakadu> ermine: > <Kakadu> думаю ты так крут, что у тебя обязательно енайдется ссылка как докладывать на конференциях
[19:37:02] <ermine> а
[19:37:21] <ermine> вот если бы он был настолько крут, чтобы пофиксили мне багу ocamlbuild + ocamldep
[19:38:28] ermine переписала кусочек markdown.peg и собирается откатить код обратно
[19:39:37] <ermine> Kakadu: кстати, а у тебя не воспроизводится эта бага? достаточно открыть файл m.ml, положить туда всего один символ '(', закрыть, запустить ocamlbuild m.byte
[19:40:08] <ermine> не будет выведено сообщение Syntax error, просто error code -2 и всё
[19:40:54] <Kakadu> УМВР
[19:41:22] <ermine> чо?
[19:41:41] <Kakadu> у меня всё работает
[19:41:42] <ermine> а
[19:42:00] <ermine> выводится syntax error?
[19:42:02] <f[x]> у меня тоже норм
[19:42:08] <Kakadu> да, выводится
[19:42:50] <f[x]> у меня и на bvsd работает тоже
[19:42:56] <ermine> а у меня не выводится
[19:43:30] ermine плачет, хнык-хнык
[19:43:36] <Kakadu> ну дебажься
[19:43:48] <ermine> f[x]: а на ирц пожалуйся :) "у одной девочки ...."
[19:44:10] Kakadu вышел(а) из комнаты
[19:44:54] <f[x]> ermine: sry, EBUSY
[19:44:58] <f[x]> strace'ни
[19:59:35] ermine тупо смотрит в лог трейса
[20:02:04] <ermine> f[x]: http://yo.jabber.ru/~ermine/log
[20:02:37] <ermine> там не strace, а ktrace, но то место легко находится по поиску -8б и смотреть выше, там уже непонятно
[20:06:00] <f[x]> я не вижу вообще гед ocamldep дёргается
[20:08:23] <f[x]> ermine: https://lists.owasp.org/pipermail/opa/2011-September/000098.html
[20:09:25] <f[x]> поставь gnu-тый strace
[20:09:58] <ermine> не могу, он в портах заблокирован "только для i386"
[20:10:44] <letrec> как сказать OCamlMakefile'у, что я хочу линковаться с toplevellib.cma?
[20:10:55] <letrec> PACKS = toplevellib.cma не прокатывает
[20:13:49] <ermine> поищи около ocamlldflags
[20:14:12] <ermine> ocamlcldflags
[20:20:10] Kakadu вошёл(а) в комнату
[20:22:35] <ermine> f[x]: перегенерила лог
[20:22:55] <ermine> ой еще нет
[20:23:18] <ermine> залила
[20:24:23] <ermine> f[x]: теперь чо скажешь?
[20:29:15] ftrvxmtrx вышел(а) из комнаты
[20:46:57] <f[x]> ermine: пишет в закрытый stderr...
[20:48:20] <ermine> f[x]: ага, как в том PR, что ты вчера давал
[20:48:51] <f[x]> а почему же только у тебя
[20:48:56] <f[x]> у меня на freebsd всё ок
[20:49:12] <f[x]> а в bsd патчи на камло есть какие-то?
[20:50:52] <ermine> к configure и ocamldoc
[20:51:20] <ermine> и мейкфейлу
[20:51:40] <f[x]> страннота
[20:51:44] <f[x]> версия камля?
[20:51:54] shaggie вышел(а) из комнаты
[20:51:59] <ermine> 3.12.1 самосбор
[20:52:16] <ermine> в 3.12.0 так же было
[20:52:32] <ermine> не помню уже с какой версии началось
[20:53:50] <ermine> щас проверила на второй машине со фрей, тоже самосбор 3.1.2.1 - аналогичная проблема
[20:53:58] <ermine> повторяется
[20:55:01] <ermine> нет, там не самосбор, там из портов поставлено
[21:08:32] letrec вышел(а) из комнаты
[21:19:01] <f[x]> ermine: а что за шелл?
[21:22:56] <ermine> f[x]: bash везде
[21:23:02] <ermine> ща попробую в другом шелле
[21:23:53] <ermine> нет, в csh так же ломается
[21:24:53] <ermine> от шелла не зависит
[21:25:09] <f[x]> ermine: сделай нормальный strace
[21:25:20] <f[x]> strace -o strace.log -ff -ttT
[21:25:29] <f[x]> а то нифига же не понятно
[21:25:43] <Kakadu> а можно как-то камлобилд собрать в байт код и задебажиться кошерно?
[21:26:05] <ermine> f[x]: негде взять strace
[21:26:20] <f[x]> ermine: в портах должен буть
[21:26:46] <ermine> f[x]: не для 64 битной
[21:27:39] <f[x]> ха, а у меня всё ок как раз в 32-битной!
[21:28:48] <ermine> гы
[21:30:11] <ermine> есть еще dtrace, для трейсинга динамических либл
[21:30:22] <ermine> а больше я не знаю
[21:30:42] <ermine> запусказ ktrace -i cmd
[21:35:07] ermine задумалась о том, насколько это геморройно собрать камло с -m32 и решила, что таки геморройно
[21:40:34] <f[x]> ermine: должно быть просто
[21:41:24] <ermine> f[x]: а у тебя в линуксе камло реально 64-разрядное?
[21:42:30] <f[x]> ermine: http://caml.inria.fr/mantis/view.php?id=5487#c6953
[21:42:31] <f[x]> да
[21:44:46] <ermine> там ничо про фрю
[21:45:07] <ermine> я проверила давно несвежий ocaml_trunk, там та же проблема, щас его обновлю
[21:46:39] <f[x]> ermine: там про сборку под i386
[21:52:41] <ermine> мде
[21:52:46] <ermine> транк не собирается
[21:54:31] <f[x]> релиз собирай же
[21:55:27] <ermine> а зачем, мне 32 ж не нужны
[21:57:50] <ermine> это ты поставь себе 64-битную и забудь про 32 бита :)
[22:03:58] <f[x]> у меня bsd только в виртуалке :)
[22:06:42] bobry вошёл(а) в комнату
[22:11:21] <ermine> ну и чо? вроде qemu умеет 64 бита
[22:11:55] <f[x]> ну мне разные архитектуры нужны для тестов
[22:14:12] <gds> bobry: на случай, если не заметил в чятике, переспрошу: есть желание помочь моему коллеге поднять камло на маке через барбру?
[22:14:25] <bobry> gds: без проблем, сам ее пользую
[22:15:24] <gds> bobry: на маке?
[22:15:40] <bobry> ага
[22:15:42] <bobry> на работе мак
[22:16:32] <gds> bobry: ещё проблемка -- из известных контактов чела -- только скайп.  у тебя оно есть?  (я про завтрашний день, т.к. завтра будет это дело делаться.)
[22:17:09] <gds> т.е. жаббера нет, ересь сплошная.
[22:17:34] <bobry> ага, superbobry
[22:18:07] <f[x]> надо же - видео-саппорт для камля
[22:18:16] <gds> не видео, тупо чят.
[22:18:22] <f[x]> надо видео!
[22:18:24] <gds> но тоже зашибись :)
[22:18:29] <gds> видео-туториалы!
[22:18:45] <f[x]> в 3D
[22:19:03] <gds> "а теперь....   мы набираем г и т к л о н е хы ты ты пы ..."
[22:20:19] <gds> bobry: я вот тут подумал.  а если барбра не сумеет поставить lwt системно, это же будет не ок?  каждый раз компилять, или как?
[22:24:53] <gds> bobry: в общем, отпеарил тебя.  Человек стукнется, если решится.  Но не уверен, что получится сделать так, как надо в плане "системных пакетов".
Впрочем, с меня какой-нибудь ништячок, если поможешь ему (может и денежный, посмотрим).
[22:27:28] <bobry> ну тогда мб ему odb лучше
[22:27:44] <gds> ты не патриотичен.  как же развитие барбры?
[22:27:46] <bobry> тоже минимум гемороя -- написал odb <foo>, все встало
[22:27:54] <bobry> ну барбара для другого, она же per-project
[22:28:17] <gds> а она в текущем виде умеет не перекомпилировать зависимости, если они встали ок?
[22:28:44] <bobry> умеет с brb build --force
[22:28:48] <bobry> а стоп
[22:28:59] <bobry> не будет, только у нее критерии "ок" такие и остались
[22:29:08] <gds> а какие?
[22:30:25] <bobry> dir_exists "_dep"
[22:31:56] <gds> понял.  ну, покатит.  только Степану надо будет это рассказать, если/когда он стукнется в скайпек.
Ведь это же клёво, в целом, увеличивать юзербейс, тем более, в той фирме, где я работаю.  Пусть и не моими руками.
Кстати, если будет ко мне какой-то срочняк -- я в скайпике gdsfh11 , и буду периодически появляться по мере возможности.
[22:32:19] <bobry> да мне не сложно если шо :) направляй пасанов
[22:32:27] <gds> а вот в жабберочках не буду.  Но чятлоги читать буду, видимо.
[22:32:43] <bobry> а чего ты так?
[22:32:50] <bobry> куча работы наваливается?
[22:35:42] <ermine> он неокрасил забор, а забирать семью уже пора
[22:35:44] <gds> валю в хохлэнд на день-два.  Там с "мобильным инетом" хз как выйдет, да и хз будет ли возможность читать-писать.  Кстати, двое из этого чятика уже в курсе о моих говнопроблемках.
[22:36:59] <ermine> а, вот откуда дровишки
[22:37:00] <gds> как-то ссыкливо чувствую себя, уезжая из дома.  Зато, как только отъехал, понимаю, что всё круто.  Такая вот дерьмовая психика.
[22:38:39] <ermine> камло - сакс
[22:38:46] <gds> ет.
[22:39:05] ermine не смогла собрать камло с -m32 и валит почитать дальше про скалу
[22:49:20] gds вышел(а) из комнаты
[22:57:21] ermine вышел(а) из комнаты
[23:59:45] Typhon вошёл(а) в комнату