Objective Caml - Воскресенье, 8 апреля 2012

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 8 апреля 2012< ^ >

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

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

GMT+4
[00:09:46] tilarids вышел(а) из комнаты
[00:09:52] tilarids вошёл(а) в комнату
[00:13:59] komar вышел(а) из комнаты: Replaced by new connection
[00:13:59] komar вошёл(а) в комнату
[00:25:19] komar вышел(а) из комнаты
[00:57:27] bobry вышел(а) из комнаты
[01:05:15] bobry вошёл(а) в комнату
[01:24:31] bobry вышел(а) из комнаты
[01:41:58] Kakadu вышел(а) из комнаты
[02:24:22] Sun][ вышел(а) из комнаты
[03:03:27] shaggie вышел(а) из комнаты
[03:06:34] f[x] вышел(а) из комнаты: Computer went to sleep
[06:02:04] letrec вошёл(а) в комнату
[06:37:18] Typhon вошёл(а) в комнату
[08:32:29] komar вошёл(а) в комнату
[10:15:39] komar вышел(а) из комнаты: Replaced by new connection
[10:15:39] komar вошёл(а) в комнату
[10:28:36] komar вышел(а) из комнаты: Replaced by new connection
[10:28:37] komar вошёл(а) в комнату
[11:22:55] Kakadu вошёл(а) в комнату
[11:34:10] letrec вышел(а) из комнаты
[11:54:40] ermine вошёл(а) в комнату
[11:58:02] komar вышел(а) из комнаты: Replaced by new connection
[11:58:03] komar вошёл(а) в комнату
[12:25:11] komar вышел(а) из комнаты: Replaced by new connection
[12:25:11] komar вошёл(а) в комнату
[12:29:46] Kakadu вышел(а) из комнаты
[12:37:17] Kakadu вошёл(а) в комнату
[12:40:31] letrec вошёл(а) в комнату
[12:41:46] komar вышел(а) из комнаты: Replaced by new connection
[12:41:46] komar вошёл(а) в комнату
[12:49:31] Sun][ вошёл(а) в комнату
[13:15:50] komar вышел(а) из комнаты: Replaced by new connection
[13:15:50] komar вошёл(а) в комнату
[13:40:14] f[x] вошёл(а) в комнату
[13:42:56] f[x] вышел(а) из комнаты
[13:53:37] Typhon вышел(а) из комнаты: Replaced by new connection
[13:53:57] Typhon вошёл(а) в комнату
[13:54:45] bobry вошёл(а) в комнату
[14:03:33] tilarids вышел(а) из комнаты
[14:26:35] komar вышел(а) из комнаты: Replaced by new connection
[14:26:35] komar вошёл(а) в комнату
[14:28:30] <ermine> ых, бывают же полезные баги, которые за собой тянут на чистую воду другие баги
[14:36:58] Twice вошёл(а) в комнату
[14:49:40] Twice вышел(а) из комнаты
[14:59:40] tilarids вошёл(а) в комнату
[15:00:16] tilarids вышел(а) из комнаты
[15:00:28] tilarids вошёл(а) в комнату
[15:10:19] komar вышел(а) из комнаты
[15:13:03] komar вошёл(а) в комнату
[16:08:51] bobry вышел(а) из комнаты
[16:18:22] tilarids вышел(а) из комнаты
[16:22:02] bobry вошёл(а) в комнату
[16:22:03] bobry вышел(а) из комнаты
[16:22:09] bobry вошёл(а) в комнату
[16:48:40] bobry вышел(а) из комнаты
[16:48:50] Sun][ вышел(а) из комнаты
[16:54:14] <ermine> гыг, и оптимизатор выявил еще одну бяку в пеге
[16:58:27] bobry вошёл(а) в комнату
[17:01:37] <gds> ermine: а можно и статически ловить баги. Без индукции по forall input даже, наверное. Через аксиомы, введённые для Kmb_grammar.token.
[17:01:59] bobry вышел(а) из комнаты
[17:07:07] <ermine> gds: в данный момент у меня вылезают баги в альтернативах строк типа "a" / "abc", это типами не лечится, аросто после факторизации код перестает компиляться
[17:07:47] <ermine> ну, failwith бросаю всяко я
[17:08:14] <gds> ermine: а это не типами, а доказательствами надо: доказывать, что факторизация сохраняет семантику.
[17:08:20] <ermine> gds: ты уже чонить закоммитил?
[17:16:57] <ermine> gds: всяко придется доказывать факторизацию, думаю, что это вполне даже возможно
[17:29:35] komar вышел(а) из комнаты: Replaced by new connection
[17:29:36] komar вошёл(а) в комнату
[17:29:37] ygrek вошёл(а) в комнату
[17:57:40] bobry вошёл(а) в комнату
[18:31:07] <gds> ermine: пока смотрю, как со строками быть. ничего не коммитил. приватно доложу в случае чего.
[19:05:12] ygrek вышел(а) из комнаты
[20:35:52] letrec вышел(а) из комнаты
[21:25:34] Kakadu вышел(а) из комнаты
[21:29:23] Kakadu вошёл(а) в комнату
[22:39:21] bobry вышел(а) из комнаты
[22:40:55] bobry вошёл(а) в комнату
[22:56:12] ygrek вошёл(а) в комнату
[23:31:33] tilarids вошёл(а) в комнату
[23:32:12] tilarids вышел(а) из комнаты
[23:32:28] tilarids вошёл(а) в комнату
[23:34:35] bobry вышел(а) из комнаты