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

ocaml@conference.jabber.ru

Суббота, 12 октября 2013< ^ >

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

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

GMT+4
[00:15:43] Typhon вышел(а) из комнаты
[00:22:11] Typhon вошёл(а) в комнату
[00:42:18] Typhon вышел(а) из комнаты
[01:10:28] komar вышел(а) из комнаты: Replaced by new connection
[01:10:28] komar вошёл(а) в комнату
[01:12:35] Typhon вошёл(а) в комнату
[01:17:40] Kakadu вышел(а) из комнаты
[01:33:28] Typhon вышел(а) из комнаты
[02:17:24] Typhon вошёл(а) в комнату
[02:25:58] ftrvxmtrx вышел(а) из комнаты
[02:36:03] Typhon вышел(а) из комнаты
[02:39:58] strobegen вышел(а) из комнаты
[02:40:06] tilarids вошёл(а) в комнату
[02:56:27] tilarids вышел(а) из комнаты: Machine going to sleep
[03:18:11] Typhon вошёл(а) в комнату
[03:33:51] Typhon вышел(а) из комнаты
[04:18:27] Typhon вошёл(а) в комнату
[04:32:19] komar вышел(а) из комнаты: Replaced by new connection
[04:32:19] komar вошёл(а) в комнату
[04:37:31] Typhon вышел(а) из комнаты
[05:18:58] Typhon вошёл(а) в комнату
[05:23:33] komar вышел(а) из комнаты: Replaced by new connection
[05:23:33] komar вошёл(а) в комнату
[05:35:05] Typhon вышел(а) из комнаты
[06:19:45] Typhon вошёл(а) в комнату
[06:22:42] komar вышел(а) из комнаты: Replaced by new connection
[06:22:42] komar вошёл(а) в комнату
[06:36:08] Typhon вышел(а) из комнаты
[07:05:45] strobegen вошёл(а) в комнату
[07:20:00] Typhon вошёл(а) в комнату
[07:29:28] tilarids вошёл(а) в комнату
[07:40:47] Typhon вышел(а) из комнаты
[08:04:26] f[x] вошёл(а) в комнату
[08:20:32] Typhon вошёл(а) в комнату
[08:26:24] f[x] вышел(а) из комнаты
[08:40:10] Typhon вышел(а) из комнаты
[09:01:09] komar вышел(а) из комнаты: Replaced by new connection
[09:01:09] komar вошёл(а) в комнату
[09:21:06] Typhon вошёл(а) в комнату
[09:29:16] tilarids вышел(а) из комнаты: Machine going to sleep
[09:39:33] Typhon вышел(а) из комнаты
[10:21:35] Typhon вошёл(а) в комнату
[10:22:55] f[x] вошёл(а) в комнату
[10:38:12] Typhon вышел(а) из комнаты
[10:48:56] f[x] вышел(а) из комнаты
[11:43:36] ermine вошёл(а) в комнату
[12:21:03] Typhon вошёл(а) в комнату
[14:09:07] Typhon вышел(а) из комнаты
[14:52:22] Typhon вошёл(а) в комнату
[15:08:53] <gds> если кто хочет поразвлечься, нарисуйте на комбинаторах (или на аппликативных функторах, как на подвиде комбинаторов) код, который из a, b, c будет делать [| (a :> t) ; (b :> t) ; (c :> t) |]. зачем -- потому что прямая форма записи чуток тяжеловесна, а какое-нибудь arr_t <$> a <*> b <*> c было бы покруче. это мне для реального кода надо, если чо.
[15:08:54] ftrvxmtrx вышел(а) из комнаты
[15:34:57] Kakadu вошёл(а) в комнату
[15:53:16] Typhon вышел(а) из комнаты
[18:29:03] Kakadu вышел(а) из комнаты
[19:08:24] komar вышел(а) из комнаты: Replaced by new connection
[19:08:24] komar вошёл(а) в комнату
[19:21:12] f[x] вошёл(а) в комнату
[19:58:51] tilarids вошёл(а) в комнату
[20:13:06] Zbroyar вошёл(а) в комнату
[20:23:12] f[x] вышел(а) из комнаты
[20:34:22] Kakadu вошёл(а) в комнату
[20:44:14] Zbroyar вышел(а) из комнаты
[21:15:59] komar вышел(а) из комнаты: Replaced by new connection
[21:15:59] komar вошёл(а) в комнату
[21:41:35] Typhon вошёл(а) в комнату
[22:04:21] Typhon вышел(а) из комнаты
[22:28:23] komar вышел(а) из комнаты: Replaced by new connection
[22:28:23] komar вошёл(а) в комнату
[23:00:25] ermine вышел(а) из комнаты
[23:01:44] Kakadu вышел(а) из комнаты
[23:58:03] Typhon вошёл(а) в комнату
[23:59:05] Typhon вышел(а) из комнаты