Objective Caml - Среда, 25 апреля 2012

Objective Caml

ocaml@conference.jabber.ru

Среда, 25 апреля 2012< ^ >

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

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

GMT+4
[00:04:10] Typhon вошёл(а) в комнату
[00:14:56] ftrvxmtrx вышел(а) из комнаты
[00:31:23] ftrvxmtrx вошёл(а) в комнату
[00:55:47] tilarids вышел(а) из комнаты: Computer went to sleep
[01:12:35] ftrvxmtrx вышел(а) из комнаты
[01:12:46] ftrvxmtrx вошёл(а) в комнату
[01:25:31] komar вышел(а) из комнаты
[01:25:36] bobry вышел(а) из комнаты
[01:27:49] komar вошёл(а) в комнату
[01:34:39] tilarids вошёл(а) в комнату
[01:39:31] Kakadu вышел(а) из комнаты
[01:48:13] letrec вошёл(а) в комнату
[01:48:20] letrec вышел(а) из комнаты
[01:48:35] letrec вошёл(а) в комнату
[02:04:08] tilarids вышел(а) из комнаты: Computer went to sleep
[02:07:04] komar вышел(а) из комнаты
[02:08:08] letrec вышел(а) из комнаты
[02:08:13] komar вошёл(а) в комнату
[02:52:40] f[x] вышел(а) из комнаты
[03:15:27] Typhon вышел(а) из комнаты
[03:24:02] komar вышел(а) из комнаты
[03:24:18] komar вошёл(а) в комнату
[09:34:29] bobry вошёл(а) в комнату
[10:02:48] <bobry> nice, http://caml.inria.fr/mantis/view.php?id=5555
[10:03:03] <bobry> камло вперде
[10:07:32] ftrvxmtrx вышел(а) из комнаты
[10:12:48] bobry вышел(а) из комнаты
[10:14:58] tilarids вошёл(а) в комнату
[10:24:02] ftrvxmtrx вошёл(а) в комнату
[10:35:59] <tilarids> ха, а кто-то мне советовал его юзать :)
[10:36:26] ftrvxmtrx вышел(а) из комнаты
[10:36:53] ftrvxmtrx вошёл(а) в комнату
[10:41:27] tilarids вышел(а) из комнаты: Computer went to sleep
[10:42:36] f[x] вошёл(а) в комнату
[10:50:58] ftrvxmtrx вошёл(а) в комнату
[10:55:55] bobry вошёл(а) в комнату
[11:16:01] tilarids вошёл(а) в комнату
[11:17:50] ftrvxmtrx вышел(а) из комнаты
[11:34:13] ermine вошёл(а) в комнату
[11:37:02] klapaucius вошёл(а) в комнату
[11:40:47] <f[x]> what's the big deal?
[12:12:05] Sun][ вошёл(а) в комнату
[13:20:25] Kakadu вошёл(а) в комнату
[13:26:51] Kakadu вошёл(а) в комнату
[13:34:03] komar вышел(а) из комнаты
[13:35:31] komar вошёл(а) в комнату
[13:40:50] shaggie вошёл(а) в комнату
[13:46:23] ftrvxmtrx вышел(а) из комнаты
[13:49:15] ftrvxmtrx вошёл(а) в комнату
[14:11:35] akovbovich вошёл(а) в комнату
[15:38:57] dzhon вошёл(а) в комнату
[15:48:22] Typhon вошёл(а) в комнату
[16:07:23] akovbovich вышел(а) из комнаты
[16:29:37] <Kakadu> А что звучит получше?
“Автоматическая замена тел функций синтаксического анализатора на парсер-комбинаторах на LALR-анализаторы, полученные с помощью генератора анализторов FsYACC из среды .NET”
или
“Автоматическое преобразование исходного кода синтаксического анализатора на основе парсер-комбинаторов в LALR-транслятор”
[16:29:39] <Kakadu> ?
[16:38:21] <Typhon> второе
[16:38:28] <Typhon> оно короче
[16:39:21] <Kakadu> вообще изначально было "Оптимизация синтаксического разбора,  основанного на парсер-комбинаторах, автоматизированной подменой части функций на LALR-трансляторы", но научник сказал сменить название, сместив аспекты. думаю мне это удалось
[16:42:11] akovbovich вошёл(а) в комнату
[17:13:32] shaggie вышел(а) из комнаты
[17:44:01] shaggie вошёл(а) в комнату
[17:45:07] dzhon вышел(а) из комнаты
[17:46:27] f[x] вышел(а) из комнаты
[17:55:56] f[x] вошёл(а) в комнату
[18:05:50] komar вышел(а) из комнаты
[18:11:17] shaggie вышел(а) из комнаты
[18:17:39] komar вошёл(а) в комнату
[18:26:00] f[x] вышел(а) из комнаты
[18:27:10] f[x] вошёл(а) в комнату
[19:09:45] Typhon вышел(а) из комнаты
[19:16:23] Sun][ вышел(а) из комнаты
[19:36:27] ftrvxmtrx вышел(а) из комнаты
[19:37:43] shaggie вошёл(а) в комнату
[19:55:31] Kakadu вышел(а) из комнаты
[19:55:46] Kakadu вышел(а) из комнаты
[20:06:32] <gds> какой-то cufp штоле: http://anil.recoil.org/papers/2011-cufp-scribe-preprint.pdf
[20:08:38] <gds> а, боян же.  Но ничего, я многого оттуда не видел, может кто-то тоже не читал.
[20:46:00] bobry вошёл(а) в комнату
[20:46:51] bobry вышел(а) из комнаты
[20:46:55] bobry вошёл(а) в комнату
[20:58:53] akovbovich вышел(а) из комнаты
[21:00:26] shaggie вышел(а) из комнаты
[21:14:58] Kakadu вошёл(а) в комнату
[21:15:05] Kakadu вышел(а) из комнаты
[21:27:34] Kakadu вошёл(а) в комнату
[21:28:30] <Kakadu> Короче Булычев сделал разнос полнуый докладов, которые читались. По его мнения я ничего не понимаю в парсер-комбинаторах
[21:30:20] <bobry> Kakadu: чего говорил?
[21:30:47] <Kakadu> что я ничего не понимаю в парсетоте
[21:31:34] <Kakadu> вообще там видео снималось
[21:31:35] <bobry> ну да, какие аргументы?
[21:31:40] <bobry> где посмотреть можно?
[21:31:49] <Kakadu> пока нигде. Как появится, скажу
[21:32:40] <gds> довольно странно было бы ожидать, что автор "остапа" что-то другое скажет.
[21:34:09] <bobry> остапа?
[21:34:27] <gds> остапа.
[21:34:48] <gds> б.. буду.
[21:34:51] <bobry> чо эта?
[21:35:01] <gds> google: ocaml ostap
[21:35:39] <gds> сам не искал, меня тут другие штуки имеют в моск, но оно должно найтись.
[21:35:59] <Kakadu> Ну Остап Бендер же великий Комбинатор
[21:36:07] <gds> потому и.
[21:36:31] <Kakadu> bobry: http://oops.math.spbu.ru/projects/ostap/
[21:38:43] <gds> ostap-0.1.tar.gz (22.4 KB) - added by bga@… 6 years ago. Ostap release 0.1
ostap-0.2.tar.gz (95.5 KB) - added by bga@… 6 years ago. Ostap release 0.2
ок.
[21:39:23] <Kakadu> просто почему-то им никто не пользуется
[21:39:43] <Kakadu> по крайней мери ни одного упоминания в ирке я не видел
[21:40:07] <bobry> академота по написала ..
[21:40:08] <bobry> :)
[21:40:09] <gds> ну да, не пользуется.  А зачем.  Есть более толковые техники.
[21:40:30] bobry нашел клевое переполнение в популярной либе для бинарной сериализации на х-ле
[21:40:37] <Kakadu> gds: Ну ты известный ненавистник синтаксических расширений
[21:40:39] <gds> комбинаторы -- для случаев, когда голое ФП и пипец.
[21:41:20] <gds> Kakadu: вот тут не надо путать расширения с либами.  Комбинаторы вполне можно (и _только этим_ они хороши) использовать без расширений.  Это же функции.
[21:41:44] <gds> (ну или не функции, а специальные такие значения, ну да пофиг, принцип похож.)
[21:41:51] <Kakadu> gds: в остапе вроде есть синтаксические расширения
[21:42:55] <gds> есть, но лично я не использовал остапа, потому что 1. не нужны были парсер-комбинаторы (см. выше -- есть более другие техники), 2. в советской россии использовать Остапа невозможно, Остап скорее использует тебя.
[21:43:56] <Kakadu> Ну у меня сложилось впечатление что якк сложнее дебажить чем комбинатоы
[21:44:01] <Kakadu> комбинаторы*
[21:46:04] <gds> в вопросе "какого хрена это говно парсится так, а не так" -- да, yacc сложнее.  А вот в вопросе "какого хрена оно зависает", например, -- уже не знаю.
В целом, наверное, ты прав, комбинаторы полегче для отладки -- их можно утыкать отладочной печатью, как какашку спичками.
[21:49:45] <bobry> Main> fromIntegral (-1 :: Word32) :: Int
4294967295
Main> fromIntegral (-1 :: Word64) :: Int
-1
[21:49:47] <bobry> wat?
[21:51:38] tilarids вышел(а) из комнаты: Computer went to sleep
[21:56:24] <gds> WAAAAAT!
[21:57:39] akovbovich вошёл(а) в комнату
[21:57:54] <bobry> если указать Int32 кстати работает
[22:02:19] <Kakadu> кстати, Булычев сказал что есть комбинаторы, которым насрать на левую рекурсию
[22:03:02] <Kakadu> (кажется там как-то регуируется глубина допустимой рекурсии)
[22:04:46] <gds> по идее, можно сделать комбинаторы такие, чтобы левая рекурсия их не особо волновала.  только немного дополнительных мер нужно.  но вникать в это снова не хочу, хватит мне.  если кто хочет -- лучше помогайте мне с coq, там тоже близко к парсингу, но не к такому.
[22:38:38] akovbovich вышел(а) из комнаты
[22:54:45] ermine вышел(а) из комнаты
[22:59:46] ftrvxmtrx вошёл(а) в комнату
[23:20:05] tilarids вошёл(а) в комнату