Objective Caml - Воскресенье, 24 октября 2010

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 24 октября 2010< ^ >

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

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

GMT+4
[00:02:43] ygrek вышел(а) из комнаты
[00:03:07] ygrek вошёл(а) в комнату
[00:10:57] gds вышел(а) из комнаты
[01:08:07] zert вышел(а) из комнаты
[01:30:41] Mon вышел(а) из комнаты: Replaced by new connection
[01:30:43] Mon вошёл(а) в комнату
[01:45:26] ermine вышел(а) из комнаты
[01:46:41] myxomop87 вышел(а) из комнаты
[02:16:09] Kakadu вышел(а) из комнаты
[02:22:38] arhibot вышел(а) из комнаты
[10:44:48] gds вошёл(а) в комнату
[11:04:33] Kakadu вошёл(а) в комнату
[11:20:52] arhibot вошёл(а) в комнату
[11:32:04] myxomop87 вошёл(а) в комнату
[12:07:45] ermine вошёл(а) в комнату
[12:21:43] ygrek вышел(а) из комнаты
[12:21:55] ygrek вошёл(а) в комнату
[12:42:16] arhibot вышел(а) из комнаты
[12:58:31] myxomop87 вышел(а) из комнаты
[13:03:44] arhibot вошёл(а) в комнату
[14:14:11] zert вошёл(а) в комнату
[14:46:56] myxomop87 вошёл(а) в комнату
[14:47:06] <ermine> у кого щас сколько библиотек в каталоге камлофинда?
[14:47:39] <ermine> у меня уже 66 библиотек
[14:48:58] <ygrek> $ ocamlfind list | wc -l
119
[14:49:14] <komar> [komar@pavilion ~]$ ocamlfind list | wc -l
214
[14:49:18] <komar> У кого длиннее?
[14:49:48] <ygrek> # aptitude install libocaml-*-dev
[14:50:02] <komar> Да, именно так.
[14:50:38] <komar> Но я скорее делал aptitude install libocaml-*-doc и читал по порядку.
[14:52:30] <ermine> в апте всего 119 библиотек?
[14:54:16] <ygrek> нет, это у меня столько
[14:55:35] <ermine> может, у тебя и батарейки стоят?
[14:55:55] <komar> У меня их нету.
[14:57:24] <arhibot> а с моим вчерашним вопросом можно подсказать? или я хочу странного?
[14:57:42] <zert> 40
[14:58:05] <arhibot> zert: 49 :) мы с тобой не того..
[14:58:21] <ygrek> нету
[14:58:56] <ygrek> всем у кого меньше 50 отбираю member'а !
[14:59:11] <ygrek> arhibot: а что за вопрос?
[14:59:51] <arhibot> ygrek: вопрос такой: принт такой-же как в репре, который жрет все подряд
[15:01:21] <ygrek> гуглить по ocaml generic print
[15:01:29] <ygrek> простой ответ - нет
[15:01:47] <zert> я на окамле просто временно не пишу
[15:01:50] <zert> года полтора где-то
[15:01:51] <zert> гг
[15:01:52] <ygrek> есть расширения, например gcaml в которых вроде можно
[15:02:27] <ygrek> можно генерить по описанию типа принтер для него - это deriving, sexplib, json-static, etc
[15:02:54] <ygrek> для простых dirty случаев можно юзать дампер рантайм представления - Std.dump
[15:03:38] <ygrek> можно компилить прогу с топлевелом и юзать недокументированные функции из Toplevel модуля
[15:04:08] <ygrek> но для этого все значения которые хочешь принтить придётся сначала "выполнить" теми же функцияими из Toplevel
[15:04:22] <ygrek> чтобы привязать информацию о типе к значению
[15:04:38] <ygrek> вообщем по мне самый адекватный способ это deriving
[15:05:46] <arhibot> ygrek: а в дебаггере же print нормальный?
[15:06:29] <ygrek> мда?
[15:06:58] <ygrek> насчёт этого не знаю
[15:07:47] <arhibot> ygrek: ладно, спасибо :) буду лучше учиться без отладчика и принтов обходиться :)
[15:08:06] <arhibot> располагает, да
[15:22:58] komar вышел(а) из комнаты
[15:25:27] komar вошёл(а) в комнату
[15:44:31] myxomop87 вышел(а) из комнаты
[16:41:40] <Kakadu> я тут осознал что Show нельзя deriвить для типов-функций.
[16:42:23] Kakadu боится что ему придется фиксить deriving что бы он для типов функций печатал хоть что-нибудь
[16:48:52] <ygrek> попробуй, если надо просто печатать "хоть что-нибудь" то должно быть просто
[16:49:05] <ygrek> не забудь потом патчем поделиться :)
[16:56:01] komar вышел(а) из комнаты
[16:56:14] komar вошёл(а) в комнату
[17:44:01] <gds> "<<" в комментариях расценивается как начало quotation(?) и закрытие комментария через "*)" не работает.  Удивительно, нафига в каментах искать camlp4-специфичное.
[17:46:24] <ygrek> в камле не задумано что комменты будут исопльзоваться для чего-либо кроме окаменения кусков неиспользуемого кода
[17:49:10] <gds> ну хорошо.  есть следующий код:
value ( =<< ) a b = a + b;
value () = (print_int (123 =<< 234); exit 0);
комментирую его -- получаю "Comment not terminated".
[17:57:27] <ygrek> ну заодно и х-яторов пнули - double win
[17:58:56] <gds> их надо по-другому пинать -- за то, что их ">>=" является на самом деле не аналогом bind, а кое-чем другим.
[17:59:09] <ygrek> а если серьёзно - можно -no_quot юзать
[17:59:37] <gds> даже ту теорию категорий они не умеют, и это только один из многих примеров.  Мне с ними всё уже давно ясно.
[18:03:40] <gds> ygrek: -no_quot -- поискал в ocamlbuild -documentation, нашёл строку:
flag {. camlp4:no_quot, ocaml, pp .} "-no_quot"
не понятно, как сделать так, чтобы ocamlbuild подавал -no_quot в процессе компиляции.  Подскажешь?
[18:08:01] <ygrek> $ cat q.ml
let (* << *) () = ()
$ cat _tags
"q.ml": camlp4o, camlp4:no_quot
$ ocamlbuild -classic-display q.byte
/usr/bin/ocamldep.opt -pp 'camlp4o -no_quot' -modules q.ml > q.ml.depends
/usr/bin/ocamlc.opt -c -pp 'camlp4o -no_quot' -o q.cmo q.ml
/usr/bin/ocamlc.opt q.cmo -o q.byte
[18:08:10] <ygrek> не знал что он сразу в ocamlbuild есть
[19:16:12] vshender вошёл(а) в комнату
[19:18:49] vshender вышел(а) из комнаты
[19:53:33] myxomop87 вошёл(а) в комнату
[20:45:08] ermine страдает над отличиями camlp4o.byte и camlp4o.opt
[20:46:28] <ermine> если запустить camlpo.opt path/pa_smth.cmo smth.mli, оно скажет, что не знает чо делать с pa_smth.cmo, а camlp4o.byte знает, что с ним делать
[20:46:51] <ermine> а на разных машинах по-разному выпатает, кто прячется под camlp4o
[20:49:31] Kakadu вышел(а) из комнаты
[20:59:38] <ygrek> camlp4o.opt это native, загружает cmxs
[20:59:44] <ygrek> camlp4o загружает cmo
[21:00:12] <ygrek> если сamlp4o симлинк на camlp4o.opt то это проблемы того кто так сделал
[21:33:36] arhibot вышел(а) из комнаты
[22:09:18] arhibot вошёл(а) в комнату
[22:51:48] ermine вышел(а) из комнаты
[23:25:19] <gds> ygrek: благодарю, работает, даже для camlp4r.  Не думал, что "camlp4:no_quot" это тупо имя тега, а не какая-то отсылка к каким-то namespace'ам, например.