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

ocaml@conference.jabber.ru

Понедельник, 12 августа 2013< ^ >

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

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

GMT+4
[03:03:30] ForNeVeR вышел(а) из комнаты: Unhandled exception at 0x00000000.
[05:08:48] tilarids вышел(а) из комнаты: Machine going to sleep
[05:23:30] ForNeVeR вошёл(а) в комнату
[06:04:11] zinid вошёл(а) в комнату
[06:18:00] Typhon вошёл(а) в комнату
[06:24:16] Typhon вышел(а) из комнаты
[06:26:59] Typhon вошёл(а) в комнату
[06:45:31] Typhon вышел(а) из комнаты
[10:39:16] ermine вошёл(а) в комнату
[10:52:46] Typhon вошёл(а) в комнату
[10:56:21] Typhon вышел(а) из комнаты
[10:56:46] Typhon вошёл(а) в комнату
[11:12:14] tilarids вошёл(а) в комнату
[12:10:22] Kakadu вошёл(а) в комнату
[12:26:45] Zbroyar вошёл(а) в комнату
[13:29:56] Zbroyar вышел(а) из комнаты
[13:53:26] <Kakadu> ForNeVeR: эгегей
[13:53:37] <Kakadu> ForNeVeR: ты ж комбинаторами что-то парсил?
[13:53:57] <ForNeVeR> Ну да, было дело.
[13:55:13] <Kakadu> А на сколько они тормозят ты не замерял?
[13:55:34] <ForNeVeR> Нет, не измерял. Если грамотно составлять парсеры - то вообще не тормозят.
[13:55:54] <komar> Kakadu: а что тебе парсить надо и в каких количествах?
[13:56:36] <Kakadu> Я сейчас парсю банальные арифметические выражения и не понимаю почему оно в 100 раз медленнее якка
[13:56:46] <Kakadu> бэктрекинга нет, проверил
[13:57:13] <komar> Потому что списки, например.
[13:57:51] <Kakadu> Как такое проверять?
[13:58:24] <komar> Ну вот ты что парсишь?
[13:58:28] <komar> Строку или список символов?
[13:58:47] <komar> Вообще, если у тебя с задачей может справится якк — выкинь к черту комбинаторы.
[13:59:00] <komar> Ты еще матрицы чисто функционально поперемножай.
[13:59:22] <komar> Комбинаторы нужны там, где другими способами нельзя, либо хрен прочитаешь потом.
[13:59:45] <Kakadu> Выкинуть не годится
[13:59:54] <Kakadu> мне надо вникнуть в эту либу парсер-комбинаторов
[14:00:01] <Kakadu> и сделать чтобы она была лучше
[14:00:11] <komar> Че?
[14:00:20] <komar> Арифметические выражения тебе надо парсить в либе?
[14:00:28] <komar> А, вникнуть.
[14:00:33] <komar> Пардон, не прочитал.
[14:01:52] <Kakadu> локальная проблема в том, что когда я добавил мемоизацию, то оно начало жрать стек сильнее
[14:02:31] <Kakadu> Для левофакторизованной "грамматики" это не важно, а вот плохая начала кидать Stack_overflow
[14:03:26] <komar> А какие либы с комбинаторами нынче существуют?
[14:03:31] <komar> А то я во все свой велосипед тащу.
[14:04:38] <Kakadu> у меня остап, но есть ещё планк
[14:09:24] <Kakadu> Автор планка говорит что оно в 100 раз медленнее якка
[14:20:14] tilarids вышел(а) из комнаты: Machine going to sleep
[14:48:28] Typhon вышел(а) из комнаты
[14:59:28] Typhon вошёл(а) в комнату
[15:40:41] ForNeVeR вошёл(а) в комнату
[15:50:11] komar вышел(а) из комнаты: Replaced by new connection
[15:50:12] komar вошёл(а) в комнату
[15:59:47] komar вышел(а) из комнаты: Replaced by new connection
[15:59:47] komar вошёл(а) в комнату
[16:14:55] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[16:34:29] komar вышел(а) из комнаты: Replaced by new connection
[16:34:29] komar вошёл(а) в комнату
[17:35:37] zinid вышел(а) из комнаты
[17:36:02] tilarids вошёл(а) в комнату
[18:05:51] komar вышел(а) из комнаты
[18:06:25] komar вошёл(а) в комнату
[19:14:29] Typhon вышел(а) из комнаты
[20:36:37] f[x] вошёл(а) в комнату
[20:36:47] Kakadu вышел(а) из комнаты: Logged out
[20:47:42] f[x] вышел(а) из комнаты
[22:15:25] tilarids вышел(а) из комнаты
[22:15:35] tilarids вошёл(а) в комнату
[23:06:17] ermine вышел(а) из комнаты