Objective Caml - Среда, 17 ноября 2010

Objective Caml

ocaml@conference.jabber.ru

Среда, 17 ноября 2010< ^ >

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

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

GMT+3
[00:28:10] gds вышел(а) из комнаты
[00:34:02] ygrek вышел(а) из комнаты
[00:53:39] Kakadu вышел(а) из комнаты
[01:16:45] ermine вышел(а) из комнаты
[01:33:51] serp256 вышел(а) из комнаты
[01:44:19] arhibot вышел(а) из комнаты
[02:47:42] zert вышел(а) из комнаты
[03:11:33] ak79 вышел(а) из комнаты
[03:30:40] Typhon вышел(а) из комнаты
[07:13:51] iNode вышел(а) из комнаты
[07:35:53] iNode вошёл(а) в комнату
[08:59:48] gds вошёл(а) в комнату
[09:42:12] ak79 вошёл(а) в комнату
[10:06:22] SerP вошёл(а) в комнату
[11:08:47] ermine вошёл(а) в комнату
[11:19:59] <gds> не осилил я типизацию грамматических правил.  Сложно там.  Либо уродливое кодирование existential types, либо всё в CPS (да и то, без гарантий).  А для CPS нужно чётко видеть алгоритм, чтобы можно было закодировать типы.  Пока попробую сам алгоритм парсера сделать, а в качестве "продукции" -- в качестве значений, возвращаемых грамматическими правилами, как и в качестве значений, передаваемых в правило -- пока буду использовать динамически (но строго-) типизированные значения, с которыми работаю модулем, написанным годик назад -- http://bitbucket.org/gds/ocaml-dynatvar/src (кажется для ermine писал, но ей не пригодилось; как, впрочем, и мне до текущего момента).
[11:20:19] zert вошёл(а) в комнату
[11:31:07] Kakadu вошёл(а) в комнату
[11:35:19] Kakadu вышел(а) из комнаты: I'm happy Miranda IM user. Get it at http://miranda-im.org/.
[11:36:19] Kakadu вошёл(а) в комнату
[11:37:06] <ermine> ага, мне
[11:42:29] komar вышел(а) из комнаты
[11:55:56] Typhon вошёл(а) в комнату
[12:04:25] <gds> в общем, грамматика будет выглядеть как-то так: http://pastebin.com/97ewJU0V
Интересны эстетические коррективы.
Про D.{var,get} -- сам вижу, уродство, но пока динамическая типизация.  А ещё?
[12:07:34] <Kakadu> лично я запутался в однобуквенных сокращениях
[12:11:17] <gds> Kakadu: брал тестовую грамматику с http://en.wikipedia.org/wiki/Earley_parser (секция Example), хотел сохранить их обозначения.  Впрочем, вот: http://pastebin.com/RNKfWK6U
[12:12:38] ftrvxmtrx вошёл(а) в комнату
[12:16:23] <Kakadu> gds: Так лучше
[12:17:19] <Kakadu> кстати, мне тут рассказывали про какой-то функциональный язык, для которого пробел также являлся значащим символом грамматики. Утверждается что там очень просто выглядели грамматики и определялись перегрузки операторов и функций
[12:18:18] <gds> интересно, хотелось бы почитать про такой язык.
[12:20:24] <zert> в ерланге пробел иногда имеет значение
[12:20:45] <zert> например, B=<<"sdf">> не будет канпелироваться, а B = <<"sdf">> будет
[12:40:41] Kakadu вышел(а) из комнаты
[12:41:27] Kakadu вошёл(а) в комнату
[12:42:16] komar вошёл(а) в комнату
[13:02:59] Kakadu вышел(а) из комнаты
[13:24:12] <gds> Kakadu: кстати, если ты про http://en.wikipedia.org/wiki/Whitespace_%28programming_language%29 , то он императивный.
[13:25:23] Kakadu вошёл(а) в комнату
[14:07:41] <f[x]> в баше тоже пробел имеет значение, повбывав бы
[15:02:45] Kakadu вышел(а) из комнаты
[15:21:47] ftrvxmtrx вышел(а) из комнаты: offline
[15:22:21] ftrvxmtrx вошёл(а) в комнату
[16:06:04] ftrvxmtrx вышел(а) из комнаты
[16:08:24] ftrvxmtrx вошёл(а) в комнату
[16:20:23] <zert> жежешечка работает у кого-нить?
[16:20:32] <zert> из-за навального что ли заборонили
[16:21:20] <gds> проверил, лента ок.
[16:21:41] <zert> а у меня весь день почти не работает
[16:23:25] <komar> И тут анальный.
[17:17:43] iNode вышел(а) из комнаты
[17:33:11] gds вышел(а) из комнаты
[18:19:22] gds вошёл(а) в комнату
[19:31:11] SerP вышел(а) из комнаты
[19:55:11] Typhon вышел(а) из комнаты
[20:47:12] Typhon вошёл(а) в комнату
[20:59:37] Kakadu вошёл(а) в комнату
[21:07:37] Typhon вышел(а) из комнаты
[21:11:37] ftrvxmtrx вышел(а) из комнаты: offline
[21:22:06] Typhon вошёл(а) в комнату
[21:38:28] abiogenesis вошёл(а) в комнату
[22:01:36] Typhon вышел(а) из комнаты
[22:01:53] Typhon вошёл(а) в комнату
[22:03:26] arhibot вошёл(а) в комнату
[22:04:00] abiogenesis вышел(а) из комнаты
[22:44:18] komar вышел(а) из комнаты
[22:51:33] Typhon вышел(а) из комнаты: Replaced by new connection
[22:51:37] Typhon вошёл(а) в комнату
[23:37:18] zert вышел(а) из комнаты
[23:50:35] ak79 вышел(а) из комнаты
[23:57:22] komar вошёл(а) в комнату