Objective Caml - Понедельник, 15 ноября 2010

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 15 ноября 2010< ^ >

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

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

GMT+3
[00:12:46] arhibot вышел(а) из комнаты: Replaced by new connection
[00:12:47] arhibot вошёл(а) в комнату
[00:26:26] Typhon вошёл(а) в комнату
[00:55:55] Typhon вышел(а) из комнаты
[01:14:42] arhibot вышел(а) из комнаты
[01:59:56] komar вышел(а) из комнаты
[02:04:34] ygrek вышел(а) из комнаты
[03:14:05] ftrvxmtrx вышел(а) из комнаты: offline
[07:23:11] iNode вышел(а) из комнаты
[07:40:18] iNode вошёл(а) в комнату
[08:36:29] serp256 вошёл(а) в комнату
[09:01:00] gds вошёл(а) в комнату
[09:08:18] serp256 вышел(а) из комнаты
[09:18:36] ftrvxmtrx вошёл(а) в комнату
[10:03:54] f[x] вышел(а) из комнаты
[10:04:09] f[x] вошёл(а) в комнату
[10:26:25] SerP вошёл(а) в комнату
[10:27:01] SerP вышел(а) из комнаты
[10:28:38] SerP вошёл(а) в комнату
[10:28:52] SerP вышел(а) из комнаты
[10:44:05] ftrvxmtrx вышел(а) из комнаты
[11:04:51] ermine вошёл(а) в комнату
[11:38:01] SerP вошёл(а) в комнату
[11:55:49] SerP вышел(а) из комнаты
[11:56:23] serp256 вошёл(а) в комнату
[12:13:58] zert вошёл(а) в комнату
[13:02:04] ftrvxmtrx вошёл(а) в комнату
[13:20:58] Typhon вошёл(а) в комнату
[13:38:57] <gds> в общем, я решился.  Буду говнокодить earley parser.
[14:16:10] gds вышел(а) из комнаты: Replaced by new connection
[14:16:12] gds вошёл(а) в комнату
[14:30:59] komar вошёл(а) в комнату
[15:11:05] Kakadu вошёл(а) в комнату
[17:07:23] iNode вышел(а) из комнаты
[17:31:55] gds вышел(а) из комнаты
[18:18:56] gds вошёл(а) в комнату
[18:35:35] serp256 вышел(а) из комнаты
[19:06:14] Typhon вышел(а) из комнаты
[19:13:59] iNode вошёл(а) в комнату
[19:32:40] gds вышел(а) из комнаты
[19:33:02] gds вошёл(а) в комнату
[19:37:16] komar вышел(а) из комнаты
[19:38:24] gds вышел(а) из комнаты: Replaced by new connection
[19:38:25] gds вошёл(а) в комнату
[19:45:31] gds вышел(а) из комнаты
[19:46:03] gds вошёл(а) в комнату
[20:12:09] Typhon вошёл(а) в комнату
[20:22:12] Typhon вышел(а) из комнаты
[20:22:26] Typhon вошёл(а) в комнату
[20:26:50] zert вышел(а) из комнаты
[20:38:09] ftrvxmtrx вышел(а) из комнаты: offline
[21:05:35] <gds> думаю, как бы записывать грамматические правила типизированно, но без препроцессора.  Т.е. если у меня есть правило "A ::= B C D", то нужно записать как его (с указанием B, C, D), так и оттипизировать пользовательскую функцию с типом "b -> c -> d -> a" (или аналогичным).
Смотрю в сторону комбинаторов danvy (functional unparsing), имхо только так.  Или по-другому можно?  Вообще, какие идеи?  Цель -- в рантайме записывать и иметь возможность менять грамматику языка, представляемую окамловскими значениями.
[22:42:19] ftrvxmtrx вошёл(а) в комнату
[22:56:24] ygrek вошёл(а) в комнату
[22:59:32] ygrek знает только два языка которые меняют синтаксис на лету - форт и лисп
[22:59:40] <ygrek> говорят ещё тиклб умеет вроде бы
[22:59:46] <ygrek> * тикль
[22:59:51] <ygrek> всё нетипизированое
[23:10:52] iNode вышел(а) из комнаты
[23:47:01] komar вошёл(а) в комнату
[23:55:22] gds вышел(а) из комнаты
[23:58:01] <ygrek> зарелизили mldonkey 3.0.6 с поддержкой UPNP/NAT-PMP
[23:58:36] <ygrek> dht будет в следующем релизе, я уже использую :)