Objective Caml - Суббота, 13 октября 2012

Objective Caml

ocaml@conference.jabber.ru

Суббота, 13 октября 2012< ^ >

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

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

GMT+4
[00:18:28] tilarids вышел(а) из комнаты
[00:22:12] tilarids вошёл(а) в комнату
[01:31:45] Kakadu вышел(а) из комнаты
[02:18:36] f[x] вышел(а) из комнаты
[02:40:39] f[x] вошёл(а) в комнату
[04:07:14] Sun][ вышел(а) из комнаты
[04:26:32] naimitt вошёл(а) в комнату
[04:28:01] <naimitt> komar: у тебя тоже такая же белая жопа как у этих сук?
[04:43:37] <naimitt> f[x]: ну че сучка трехглазая?
[04:45:58] <naimitt> f[x]: у тебя троится сучка а не двоится
[04:46:09] naimitt вышел(а) из комнаты: QIP 2012: Спокойное общение
[06:04:12] akovbovich вышел(а) из комнаты
[06:04:43] Typhon вышел(а) из комнаты: Replaced by new connection
[06:04:45] Typhon вошёл(а) в комнату
[06:05:27] gds вышел(а) из комнаты: Replaced by new connection
[06:05:28] gds вошёл(а) в комнату
[06:07:21] akovbovich вошёл(а) в комнату
[08:36:56] Typhon вышел(а) из комнаты
[09:35:06] dzhon вошёл(а) в комнату
[10:41:28] Kakadu вошёл(а) в комнату
[11:49:46] ermine вошёл(а) в комнату
[12:30:26] komar вышел(а) из комнаты: Logged out
[12:41:47] <gds> ermine: свежак от олега, может интересно будет: http://okmij.org/ftp/kakuritu/logic-programming.html#parsec
[12:42:37] <gds> а вот ещё из свежака, но пока не читал: http://okmij.org/ftp/kakuritu/logic-programming.html#StrangeLoop
[13:25:52] Typhon вошёл(а) в комнату
[13:26:09] Typhon вышел(а) из комнаты
[13:27:29] Typhon вошёл(а) в комнату
[13:47:52] dzhon вышел(а) из комнаты
[13:58:37] <Typhon> StrangeLoop этот, видимо, мегакрутая конференция :)
[14:19:42] Sun][ вошёл(а) в комнату
[14:29:44] Sun][ вышел(а) из комнаты
[14:30:01] Sun][ вошёл(а) в комнату
[14:47:38] <gds> о да! Главное моск+время найти хотя бы для чтения/просмотра материалов.
И про coq я прекрасно помню.
[15:57:46] ygrek вошёл(а) в комнату
[15:59:57] tilarids вышел(а) из комнаты: Computer went to sleep
[16:11:28] ygrek вышел(а) из комнаты
[16:20:10] tilarids вошёл(а) в комнату
[16:49:06] <ermine> gds: у меня только что скомпилился тест для парсера, который сам по себе ничего не знает про итераты, но выполнен в приближенном к монадам виде и одинаково работает с let bind v f = f v или с bind как в итератах итерата, в тесте про итераты "вспоминаются" только в трех функциях - bind, в функции, которая достает следующий символ из чанка и функции-цикле, которая достает чанки из сокета, щас еще подумаю чуток и померяю скорость на двухгигабайтном хмле для двух видов bind (в варианте итератов в цикл-подгрузку как раз "высовывается длинный язык из IE_cont, которая тянет за собой всю цепочку недобитых функций, может поэтому будут тормоза)
[16:49:41] <ermine> плюс всяза второй дизайн итератов Олега
[16:51:57] <ermine> взята
[16:55:25] ftrvxmtrx вышел(а) из комнаты
[17:05:57] Typhon вышел(а) из комнаты: Replaced by new connection
[17:06:17] Typhon вошёл(а) в комнату
[17:07:35] ermine закопала свежие ссылки на олега
[17:24:00] Typhon вышел(а) из комнаты
[17:24:48] Typhon вошёл(а) в комнату
[17:32:28] ygrek вошёл(а) в комнату
[17:39:19] komar вошёл(а) в комнату
[17:45:29] tilarids вышел(а) из комнаты: Computer went to sleep
[17:56:28] ygrek вышел(а) из комнаты: Replaced by new connection
[17:56:34] ygrek вошёл(а) в комнату
[18:08:04] komar вышел(а) из комнаты: Logged out
[18:23:44] Typhon вышел(а) из комнаты: Replaced by new connection
[18:23:51] ftrvxmtrx вошёл(а) в комнату
[18:24:07] Typhon вошёл(а) в комнату
[18:44:31] ygrek вышел(а) из комнаты
[18:44:41] ygrek вошёл(а) в комнату
[19:07:44] letrec вошёл(а) в комнату
[19:20:02] UncleVasya вошёл(а) в комнату
[19:29:42] ygrek вышел(а) из комнаты
[19:30:08] ygrek вошёл(а) в комнату
[19:40:41] ygrek вышел(а) из комнаты
[19:48:08] komar вошёл(а) в комнату
[19:51:59] ygrek вошёл(а) в комнату
[19:54:13] f[x] вошёл(а) в комнату
[19:54:13] ygrek вышел(а) из комнаты
[20:19:16] Sun][ вышел(а) из комнаты
[20:35:12] Sun][ вошёл(а) в комнату
[21:29:13] letrec вышел(а) из комнаты
[22:11:43] f[x] вышел(а) из комнаты
[22:17:27] Typhon вышел(а) из комнаты
[22:29:10] ermine вышел(а) из комнаты
[22:31:59] komar вышел(а) из комнаты: Logged out
[22:56:21] komar вошёл(а) в комнату
[22:57:54] komar вышел(а) из комнаты: Logged out
[22:59:07] komar вошёл(а) в комнату
[22:59:08] UncleVasya вышел(а) из комнаты
[23:46:10] Typhon вошёл(а) в комнату