OCaml (aka Objective Caml), а также прочие ML'и, F#, Coq, etc

ocaml@conference.jabber.ru

Пятница, 13 сентября 2013< ^ >

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

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

GMT+4
[01:08:40] ftrvxmtrx вышел(а) из комнаты
[01:40:46] Typhon вышел(а) из комнаты
[02:11:49] Typhon вошёл(а) в комнату
[02:17:34] Typhon вышел(а) из комнаты
[05:20:17] Typhon вошёл(а) в комнату
[05:20:28] Typhon вышел(а) из комнаты
[06:48:12] ForNeVeR вошёл(а) в комнату
[06:59:19] f[x] вошёл(а) в комнату
[07:18:40] f[x] вышел(а) из комнаты
[07:51:54] f[x] вошёл(а) в комнату
[08:23:59] zinid вошёл(а) в комнату
[09:53:53] f[x] вышел(а) из комнаты
[11:15:50] f[x] вошёл(а) в комнату
[12:24:59] klapaucius вошёл(а) в комнату
[12:42:12] ftrvxmtrx вошёл(а) в комнату
[13:48:16] f[x] вышел(а) из комнаты
[14:27:58] Kakadu вошёл(а) в комнату
[14:35:13] <gds> пробую cstruct.  Видимо, камло старое.  В _tags: "syntax_camlp4o, pkg_camlp4, pkg_cstruct.syntax", но при попытке получить .pp.ml вижу http://paste.in.ua/8707/ -- явно не подцепляется cstruct.syntax, так?
[14:35:37] <gds> .pp.ml получаю, выполняя ocamlbuild src/cs.pp.ml в корне проекта.
[14:37:08] <gds> с другой стороны, "ocamlfind ocamlc -c -g -w A [..] -package cstruct.syntax -package cstruct -package camlp4 [..] -syntax camlp4o -I src -o src/cs.cmo src/cs.ml" работает нормально.
[14:37:18] <gds> но мне надо посмотреть, что оно нагенерило.
[14:38:44] <gds> "ocamlfind camlp4" -- нет такой команды у него (чтобы через ocamlfind передать -package, которые оно развернуло бы в аргументы camlp4).
[14:42:40] <gds> выцепил -pp опцию при компиляции того файла, сделал "camlp4 '-I' '/usr/lib/ocamls/.opam/system/lib/cstruct' '-parser' 'o' '-parser' 'op' '-printer' 'p' 'cstruct-syntax.cma' src/cs.ml", но оно срёт байткодом прям в терминал.  КУДА НАЖАТЬ?
[14:44:08] <gds> "-printer o", вот куда.  Как же давно я с этим camlp4 возился, всё позабывал к чорту.
[14:53:01] <gds> в общем, генерится такое: https://gist.github.com/gdsfh/d18905707de361e57cd9 -- что-то странно, нахрена там повторяется определение sizeof_pcap_header, и не вредно ли это?
[14:59:28] <gds> но вообще, как я посмотрел, сгенерённый код получается очень оптимальным.  Буду использовать cstruct.
[15:04:02] <gds> особенно мило то, что в 4.01 добавили примитивы для извлечения разных интов из bigstring ( = bigarray из char).
[15:09:10] n06r1n вошёл(а) в комнату
[15:53:04] ForNeVeR вышел(а) из комнаты: Unhandled exception at 0x00000000.
[16:24:07] f[x] вошёл(а) в комнату
[16:28:38] <f[x]> > особенно мило то, что в 4.01 добавили примитивы для извлечения разных интов из bigstring ( = bigarray из char).
ещё в extunix тоже есть
[16:28:57] <f[x]> > "ocamlfind camlp4" -- нет такой команды
вот это кстати лажа, и непонятно почему так до сих пор
[16:29:54] <gds> может потому что не очень нужно.
[16:31:05] <f[x]> нужно нужно
[16:31:22] <gds> camlp4 вообще сам по себе не очень нужен...
[16:31:23] <f[x]> без этой штуки камлобилд плагинам тяжко
[16:31:25] <ADEpt> extension points!
[16:31:38] <gds> ADEpt: чочо?
[16:32:06] <Kakadu> аланфришевское поделие
[16:32:49] <gds> f[x]: может, если камлобилду надо, поднимешь вопрос в рассылке?  Мне всяко влом формулировать, да и примеров тяжкости привести не смогу, ибо не в теме.
[16:33:41] <f[x]> gds: у меня был такой туду, но это вопрос мусолили с какой-то периодичностью постоянно более активные товарищи и я отпал
[16:33:50] <f[x]> ага, ppx будет nice
[16:34:32] <gds> во, так да, это же ppx.  Вот что надо.  Но умеет ли ppx расширять синтаксис?  Типа как в cstruct сделано (пример: https://github.com/avsm/ocaml-cstruct/blob/master/lib_test/pcap.ml )
[16:35:38] <f[x]> в ограниченном объёме
[16:36:04] <gds> а ты разбирался подробно в этом?  интересен объём.
[16:36:24] <f[x]> неа
[16:36:27] <f[x]> там всё wip
[16:36:37] <f[x]> в репке можно смотреть
[16:36:42] <f[x]> там даже ридми есть обширный
[16:37:16] <gds> влом.  нехай нормально релизят, с документацией.
[16:37:34] <f[x]> Ж)
[16:39:28] <gds> в общем, втаскивать extunix в cstruct не буду, 4.01 проще подождать (пока он будет везде).
[16:40:33] <f[x]> везде = в opam
[16:40:35] <f[x]> т.е. уже да
[16:40:46] <f[x]> кроме того что некоторые синтаксические расширения поломались
[16:40:48] <gds> тем более.
[17:02:36] f[x] вышел(а) из комнаты
[17:02:47] n06r1n вышел(а) из комнаты
[17:46:36] ForNeVeR вошёл(а) в комнату
[17:52:38] n06r1n вошёл(а) в комнату
[19:00:33] komar вышел(а) из комнаты
[19:04:07] komar вошёл(а) в комнату
[19:31:34] komar вышел(а) из комнаты: Logged out
[19:33:54] f[x] вошёл(а) в комнату
[19:34:33] zinid вышел(а) из комнаты
[19:39:30] komar вошёл(а) в комнату
[19:39:42] Typhon вошёл(а) в комнату
[19:53:43] Typhon вышел(а) из комнаты
[20:13:28] Zbroyar вошёл(а) в комнату
[20:22:42] komar вышел(а) из комнаты: Logged out
[20:23:00] komar вошёл(а) в комнату
[20:43:45] Zbroyar вышел(а) из комнаты
[21:19:15] Kakadu вышел(а) из комнаты
[21:27:38] f[x] вышел(а) из комнаты
[21:53:38] n06r1n вышел(а) из комнаты
[23:02:20] ForNeVeR вышел(а) из комнаты