Objective Caml - Среда, 3 апреля 2013

Objective Caml

ocaml@conference.jabber.ru

Среда, 3 апреля 2013< ^ >

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

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

GMT+4
[00:29:46] Zbroyar вышел(а) из комнаты
[00:38:46] komar вышел(а) из комнаты: Logged out
[01:27:04] f[x] вошёл(а) в комнату
[01:27:14] Kakadu вышел(а) из комнаты
[01:55:39] Sun][ вышел(а) из комнаты: Replaced by new connection
[01:55:42] Sun][ вошёл(а) в комнату
[01:56:01] Sun][ вышел(а) из комнаты
[01:56:26] Sun][ вошёл(а) в комнату
[01:56:33] Sun][ вошёл(а) в комнату
[01:59:34] f[x] вышел(а) из комнаты
[02:01:54] Sun][ вышел(а) из комнаты
[02:20:41] Sun][ вышел(а) из комнаты
[02:32:17] tilarids вышел(а) из комнаты: Replaced by new connection
[02:32:19] tilarids вошёл(а) в комнату
[02:39:56] strobegen вышел(а) из комнаты
[02:41:01] tilarids вышел(а) из комнаты: Machine going to sleep
[02:53:49] Zbroyar вошёл(а) в комнату
[03:01:53] Zbroyar вышел(а) из комнаты
[03:02:05] Zbroyar вошёл(а) в комнату
[03:05:09] Zbroyar вышел(а) из комнаты
[04:09:23] tilarids вошёл(а) в комнату
[04:32:11] tilarids вышел(а) из комнаты
[04:45:05] tilarids вошёл(а) в комнату
[04:45:46] zinid вошёл(а) в комнату
[05:04:16] gds вышел(а) из комнаты
[05:04:37] gds вошёл(а) в комнату
[05:31:10] tilarids вышел(а) из комнаты: Computer went to sleep
[06:50:22] ermine вошёл(а) в комнату
[07:31:23] strobegen вошёл(а) в комнату
[08:01:25] tilarids вошёл(а) в комнату
[08:52:09] tilarids вышел(а) из комнаты: Computer went to sleep
[08:55:11] tilarids вошёл(а) в комнату
[09:09:20] strobegen вышел(а) из комнаты
[09:26:39] f[x] вошёл(а) в комнату
[09:28:38] f[x] вышел(а) из комнаты
[10:00:44] Kakadu вошёл(а) в комнату
[10:38:47] komar вошёл(а) в комнату
[10:40:56] komar вышел(а) из комнаты: Logged out
[11:21:05] UncleVasya вошёл(а) в комнату
[11:41:29] komar вошёл(а) в комнату
[12:31:54] tilarids вышел(а) из комнаты: Computer went to sleep
[12:52:40] Typhon вошёл(а) в комнату
[13:24:18] UncleVasya вышел(а) из комнаты
[14:41:19] Kakadu вышел(а) из комнаты
[14:41:56] Kakadu вошёл(а) в комнату
[14:54:19] Kakadu вышел(а) из комнаты
[15:22:52] Kakadu вошёл(а) в комнату
[15:31:15] Kakadu вышел(а) из комнаты
[15:31:42] Kakadu вошёл(а) в комнату
[15:46:23] Kakadu вышел(а) из комнаты: Replaced by new connection
[15:46:25] Kakadu вошёл(а) в комнату
[16:39:24] Typhon вышел(а) из комнаты: Replaced by new connection
[16:39:34] Typhon вошёл(а) в комнату
[16:46:34] ftrvxmtrx вошёл(а) в комнату
[17:15:56] komar вышел(а) из комнаты: Logged out
[17:54:43] zinid вышел(а) из комнаты
[17:55:55] dzhon вошёл(а) в комнату
[17:55:59] dzhon вышел(а) из комнаты
[17:56:54] dzhon вошёл(а) в комнату
[17:56:55] dzhon вышел(а) из комнаты
[18:12:58] komar вошёл(а) в комнату
[19:43:52] Typhon вышел(а) из комнаты
[19:44:02] tilarids вошёл(а) в комнату
[19:51:08] ftrvxmtrx вышел(а) из комнаты
[19:54:09] ftrvxmtrx вошёл(а) в комнату
[20:52:41] Kakadu вышел(а) из комнаты
[21:34:59] Kakadu вошёл(а) в комнату
[22:12:57] <gds> ermine: манатки на coq: https://bitbucket.org/gds/coq-practical-monads . Что плохо -- обмазывание модулями, как в худшем случае использования окамловских функторов. Что хорошо -- оно работает, в отличие от тайпклассов.
[22:23:45] ermine вышел(а) из комнаты
[23:29:13] Sun][ вошёл(а) в комнату