Objective Caml - Воскресенье, 1 августа 2010

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 1 августа 2010< ^ >

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

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

GMT+4
[00:36:59] arhibot вошёл(а) в комнату
[01:11:32] ygrek knows how to save/restore lexer state when lexing input in chunks :)
[01:21:28] <ermine> как?
[01:22:31] <ermine> "le" "t rec" "abcde" "fg a b =" ...
[01:26:56] <ygrek> refill throws custom exception when chunk finishes, before restarting loop lexbuf.start_pos <- lexbuf.curr_pos
[01:27:14] <ygrek> or vice versa
[01:27:55] <ygrek> this will restart automata from curr_pos throwing away unfinished state transitions for the chunk boundary but doesn't require any modification to ocamllex-generated code
[01:28:07] <ermine> а чо ты квакаешь не по-нашему?
[01:28:32] <ermine> refill - это экспоненционально или как там, но никак не линейно
[01:28:51] <ygrek> no exponent
[01:29:08] <ygrek> upgraded kernel to unstable :)
[01:29:20] <ermine> квадратично?
[01:29:29] <ygrek> why??
[01:29:56] <ermine> мне вот больше нравится lazy
[01:30:10] <ermine> как там было описано в пятом номере фпрога
[01:30:52] <ermine> там Lazy.force напускаешь, чтобы не парсить каждый раз одно и то же, а сразу получить уже полученный результат
[01:31:22] <ermine> а рефиль - фигня (имхо)
[01:33:04] <ygrek> imho we are talking different things here
[01:33:30] <ermine> в lexing своего рода комбинаторы тоже, только разовые
[01:33:54] <ermine> или это я про genlex?
[01:33:58] <ermine> хм
[01:34:08] <ermine> где там make_lexer, там и бяда
[01:34:46] <ermine> а потом оно ж все равно отцепиться от инпута не дает
[01:35:46] ygrek вышел(а) из комнаты
[01:40:39] <ermine> видимо каждый раз создавать новый стрим для нового инпута и делать рефилл
[01:40:42] <ermine> ужос
[01:45:37] arhibot вышел(а) из комнаты
[02:16:05] ermine вышел(а) из комнаты
[06:47:02] komar вышел(а) из комнаты
[08:37:44] komar вошёл(а) в комнату
[10:21:57] <gds> ermine: а ещё посмотри на iteratees.  Вот статья: http://okmij.org/ftp/Haskell/Iteratee/IterateeIO-talk-notes.pdf , а вот то, до чего я их договнокодил, пока не понял, что мне они не подходят: http://pastebin.com/KVtyGnbr
[11:30:54] ygrek вошёл(а) в комнату
[11:56:20] arhibot вошёл(а) в комнату
[12:13:54] ermine вошёл(а) в комнату
[12:37:17] <ermine> gds: пасиб, пока закопаю ссылку в букмарку
[12:42:31] <gds> можно даже просто закопать, не страшно :)
[12:43:54] <ermine> gds: да чота щас опять глубоко закопалась в теорию парсинга - возжелала, например, освоить премудрости LR(k), bottom-up парсинг
[12:44:50] <ermine> как-то патчить по правой части правил в хэштаблице
[12:49:37] <ermine> gds: а ты дописал свой маркуп?
[13:00:15] <gds> ermine: не, markup -- засада там.  В последний раз боролся между теоретической правильностью (лямбда + сахар) и практическим удобством (scheme-like quotations).  Сделал вывод типов в лямбде, но что-то загнало меня в FUUUU-состояние.  Не помню, что именно.  И дело осложнялось вопросами сохранения whitespace'ов там, где это нужно.
Если нужно что-то рабочее, бери http://bracetax.berlios.de/
[13:03:53] <ermine> gds: а твой маркуп не описывается в грамматике bnf/ebnf/abnf?
[13:04:51] ermine закопала и эту ссылку
[13:11:53] <gds> моё -- s-выражения, которые LL(1) вроде бы (учитывая юникод, вложенное LL(1) там).  То есть, сильно более простое, чем даже bnf.
[13:25:07] digital_curse вошёл(а) в комнату
[13:26:47] zert вошёл(а) в комнату
[13:30:10] <ermine> gds: разве ll считают байтность?
[14:09:05] <ygrek> число в скобочках это кол-во токенов вперёд
[14:15:06] <ermine> ага
[14:28:11] <gds> уточню на всякий случай (все знают, но свежепогугленное): не "вперёд, за исключением рассматриваемого", а "вперёд, включая рассматриваемый".  То есть, парсер, который не смотрит на токены и работает, это LL(0), а тот, который на основании одного ( = текущего) токена решает, это LL(1).
[14:29:01] <gds> вложенное LL(1) -- сначала есть поток (Stream.t), выдающий юникотэ из байтов, затем поток, выдающий токены из юникода, а потом уже всё складирую в память.
[14:39:21] arhibot вышел(а) из комнаты
[14:47:17] arhibot вошёл(а) в комнату
[15:25:01] gds вышел(а) из комнаты
[15:32:31] gds вошёл(а) в комнату
[16:01:32] <ygrek> интересно, сколько может стоить качественное написание документации, типа user guide?
[16:10:16] <ermine> ты про количество бессонных ночей?
[16:12:16] <ygrek> не, я про деньги, и где таких людей найти
[16:12:37] <ygrek> вариант с ночами я даже не рассматриваю - все ночи заняты :)
[16:12:48] <ermine> а писать должен человек со стороны или свой?
[16:14:25] <ygrek> не важно, главное чтобы человек разобрался сначала, а потом написал
[16:18:20] <ermine> спросить можно у leksey, он заявлял себя как технический писатель
[16:18:34] <ermine> (не путать с aleksey)
[16:19:44] <ygrek> ок, учту, спасибо
[16:20:24] <ermine> ты его знаешь?
[16:23:10] <ygrek> не, на @jabber.ru?
[16:23:19] gds вышел(а) из комнаты
[16:24:53] <ermine> в привате
[16:32:31] gds вошёл(а) в комнату
[16:54:42] arhibot вышел(а) из комнаты
[16:55:13] arhibot вошёл(а) в комнату
[17:51:04] arhibot вышел(а) из комнаты
[18:11:05] <ygrek> mldonkey 3.0.3 зарелизился
[19:40:04] iNode вышел(а) из комнаты
[19:48:44] <zert> а что там есть?
[20:09:08] iNode вошёл(а) в комнату
[20:20:50] <ermine> осёл там есть
[20:21:36] <ermine> ygrek: а ты как парсишь sql в sqlgg? я тут видела bnf как oracle понимает sql, выходит можно нагенерить парсер
[21:11:10] <ygrek> так и парсю
[21:11:46] <ygrek> bnf то есть, только в ansi стандарте он один, в mysql другой, в sqlite третий, итп, и это даже не залезая в особые дебри
[21:12:05] <ygrek> и торренты и dc ещё есть
[21:26:48] <ermine> а у них нет своих бнфов?
[21:27:15] <ermine> кста, bdb5 умеет подменять собой sqlite
[21:30:21] <ygrek> есть, только разный
[21:34:14] <ermine> у самого bnf синтаксис какой-то неуверенный
[21:34:46] <ermine> то надо угловые скобки вокруг symbol, то не надо
[21:35:18] <ermine> а еще попался \ в конце строки, про \ на википедии ничо не сказано :)
[21:38:23] zert смотрит мультик про поросёнка Петра через erlyvideo
[21:41:11] <ermine> zert: это же оффтопик, смотреть надо через что-то камлоподобное
[21:41:47] <zert> ygrek: mldonkey умеет мультики про поросёнка Петра показывать?
[21:44:12] <ermine> zert: наверное умеет, если erlyvideo тоже умеет качать торренты
[21:46:30] <zert> а больше я софта на камле не знаю
[21:47:56] <ermine> а как же сульци?
[21:49:42] <zert> а, точно
[21:49:50] <zert> а она мультики умеет?
[21:50:13] <zert> на programming@ она настолько обучилась, что с ней можно долго и связно беседовать
[21:50:19] <ermine> неа, но можно было бы прикрутить, через jingle гонять
[21:50:26] <zert> хм..
[21:50:43] <ermine> представил себе?
[21:50:44] <zert> видеоразговор с ботом
[21:50:52] <zert> представляю
[21:51:13] <ermine> ну боты с jingle давно существуют
[21:51:33] <zert> говоришь ей: "покежь сиськи", а она два раза подпрыгивает и говорит про замыкания монад
[21:54:26] <ermine> не, она запросит еврики за показ сисек
[21:56:58] zert вышел(а) из комнаты
[21:57:15] zert вошёл(а) в комнату
[22:13:18] zert вышел(а) из комнаты
[22:13:30] zert вошёл(а) в комнату
[22:26:47] <zert> а может кто-нить глянуть rtmp://saturn.erlang-russian.org/rtmp/pig_petr.flv ?
[22:27:09] arhibot вошёл(а) в комнату
[22:29:04] arhibot вышел(а) из комнаты
[22:29:47] <ermine> а rtmp разве не воровский флашь?
[22:30:06] <zert> зоновский
[22:48:21] vshender вошёл(а) в комнату
[23:17:31] arhibot вошёл(а) в комнату
[23:19:34] gds вышел(а) из комнаты
[23:21:07] iNode вышел(а) из комнаты
[23:22:46] <arhibot> http://caml.inria.fr/pub/docs/tutorial-camlp4/index.html а сие творение в пдф никто не видел?
[23:23:27] <arhibot> или вообще годного чего-нибудь по camlp4 не подскажете?
[23:23:46] <vshender> Я подскажу :)
[23:24:05] <vshender> В общем это хорошая дока, только она теперь не по camlp4, а по camlp5
[23:24:33] <vshender> По нему же http://martin.jambon.free.fr/extend-ocaml-syntax.html
[23:24:46] <vshender> Достоинство этой доки -- все на примерах, коих приличное количество
[23:25:23] Typhon вошёл(а) в комнату
[23:25:24] <vshender> По camlp4 даже близкой по качеству документации до сих пор нет, но освоив camlp5 перейти на camlp4 по примерам кода и скудной документации будет несложно
[23:25:40] <vshender> Тем более они все еще довольно близки
[23:28:21] <arhibot> vshender:  в очередной раз, спасибо
[23:31:27] <vshender> arhibot: Не за что, рад был помочь.
[23:35:01] komar вышел(а) из комнаты
[23:58:39] arhibot вышел(а) из комнаты