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

Objective Caml

ocaml@conference.jabber.ru

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

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

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

GMT+4
[00:16:10] shaggie вышел(а) из комнаты
[00:40:14] <bobry> черт, чуть было не разочаровался в кондуитах
[00:40:26] <bobry> сделал для симметрии часть которая отвечает эрлангу тоже на них
[00:40:33] <bobry> тестирую -- ответ эрлангу не приходит
[00:40:41] <bobry> оказалось оно просто flush не делает на fd
[01:06:11] Kakadu вышел(а) из комнаты
[02:01:28] Sun][ вышел(а) из комнаты
[02:39:09] bobry вышел(а) из комнаты
[03:22:31] ftrvxmtrx вышел(а) из комнаты
[03:35:49] ftrvxmtrx вошёл(а) в комнату
[03:55:04] tilarids вышел(а) из комнаты
[04:08:44] f[x] вышел(а) из комнаты: Computer went to sleep
[04:43:40] komar вышел(а) из комнаты
[04:43:57] komar вошёл(а) в комнату
[05:00:44] letrec вошёл(а) в комнату
[08:38:34] komar вышел(а) из комнаты: Replaced by new connection
[08:38:35] komar вошёл(а) в комнату
[10:25:31] tilarids вошёл(а) в комнату
[10:25:52] tilarids вышел(а) из комнаты
[10:26:08] tilarids вошёл(а) в комнату
[11:21:06] Kakadu вошёл(а) в комнату
[11:21:08] ermine вошёл(а) в комнату
[11:31:55] <Kakadu> люди запливают правоассоциативный х-й $ на камлоп4. http://blog.0branch.com/implementing-haskells-in-ocaml
[11:51:12] Sun][ вошёл(а) в комнату
[11:55:17] bobry вошёл(а) в комнату
[12:20:02] Sun][ вышел(а) из комнаты
[12:25:06] Sun][ вошёл(а) в комнату
[12:29:08] Sun][ вышел(а) из комнаты: Replaced by new connection
[12:29:08] Sun][ вошёл(а) в комнату
[12:47:30] Sun][ вышел(а) из комнаты
[12:48:43] Sun][ вошёл(а) в комнату
[13:01:47] <gds> у кого-нибудь есть желание совместно поработать над типизированной императивщиной для atmega-подобных мелочей в рамках coq?
[13:03:44] <bobry> желание и возможность *fixed* :)
[13:05:48] <gds> факт. Впрочем, вклад хотя бы в рамках обсуждения спеки -- вполне так выполняется в качестве хобби. Но тут нужен опыт писания реальных штук на такой мелочёвке. У меня его настолько мало, что почти нет, вот и спрашиваю.
[13:10:01] bobry вышел(а) из комнаты
[13:12:37] <gds> в общем, пофиксил и уточнил в http://psto.net/oegefo
[13:50:50] f[x] вошёл(а) в комнату
[14:21:05] Andrey Popp вошёл(а) в комнату
[14:21:13] Andrey Popp вышел(а) из комнаты
[14:46:24] bobry вошёл(а) в комнату
[16:19:36] ftrvxmtrx вышел(а) из комнаты
[16:20:39] ftrvxmtrx вошёл(а) в комнату
[16:21:59] komar вышел(а) из комнаты: Replaced by new connection
[16:21:59] komar вошёл(а) в комнату
[16:22:37] Sun][ вышел(а) из комнаты
[16:55:34] f[x] вышел(а) из комнаты
[16:57:10] Typhon вышел(а) из комнаты
[17:14:59] ftrvxmtrx вышел(а) из комнаты
[17:18:17] ftrvxmtrx вошёл(а) в комнату
[18:01:20] komar вышел(а) из комнаты
[18:01:39] komar вошёл(а) в комнату
[18:04:49] bobry вышел(а) из комнаты
[18:14:32] ftrvxmtrx вышел(а) из комнаты
[18:18:35] ygrek вошёл(а) в комнату
[18:50:04] tilarids вышел(а) из комнаты
[18:50:52] tilarids вошёл(а) в комнату
[19:15:16] tilarids вышел(а) из комнаты
[19:15:24] ftrvxmtrx вошёл(а) в комнату
[20:37:31] ftrvxmtrx вышел(а) из комнаты
[20:38:27] ftrvxmtrx вошёл(а) в комнату
[22:02:18] bobry вошёл(а) в комнату
[22:16:57] ftrvxmtrx вышел(а) из комнаты
[22:19:01] ftrvxmtrx вошёл(а) в комнату
[22:42:42] ftrvxmtrx вышел(а) из комнаты
[22:43:43] ermine вышел(а) из комнаты
[22:46:29] ftrvxmtrx вошёл(а) в комнату
[23:54:48] bobry вышел(а) из комнаты