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

ocaml@conference.jabber.ru

Пятница, 4 октября 2013< ^ >

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

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

GMT+4
[00:54:48] Kakadu вышел(а) из комнаты
[00:58:18] komar вышел(а) из комнаты: Logged out
[00:58:21] komar вошёл(а) в комнату
[01:29:40] tilarids вошёл(а) в комнату
[01:47:02] tilarids вышел(а) из комнаты
[01:47:14] tilarids вошёл(а) в комнату
[01:52:01] komar вышел(а) из комнаты: Replaced by new connection
[01:52:01] komar вошёл(а) в комнату
[01:54:58] tilarids вышел(а) из комнаты: Machine going to sleep
[02:40:00] komar вышел(а) из комнаты: Replaced by new connection
[02:40:00] komar вошёл(а) в комнату
[05:10:18] komar вышел(а) из комнаты: Replaced by new connection
[05:10:18] komar вошёл(а) в комнату
[05:15:56] f[x] вошёл(а) в комнату
[05:55:50] f[x] вышел(а) из комнаты
[06:21:14] f[x] вошёл(а) в комнату
[06:35:25] komar вышел(а) из комнаты: Replaced by new connection
[06:35:25] komar вошёл(а) в комнату
[07:33:25] komar вышел(а) из комнаты
[07:38:06] <f[x]> http://lexifi.com/blog/runtime-types
http://rtt.forge.ocamlcore.org/tryrtt.html
[07:56:08] komar вошёл(а) в комнату
[08:32:44] tilarids вошёл(а) в комнату
[08:41:03] tilarids вышел(а) из комнаты: Machine going to sleep
[09:42:39] f[x] вышел(а) из комнаты
[10:34:25] f[x] вошёл(а) в комнату
[11:26:08] ermine вошёл(а) в комнату
[11:47:41] <gds> f[x]: посмотрел. Плюсы -- делается в компиляторе. Минусы -- очень бедное какое-то, и слишком "predefined" всё, что ли. Но буду ещё смотреть, кое-что интересное нашёл.
[11:48:42] <gds> если они это используют в lexifi для гуя и базок данных, то, подозреваю, они кое-что скрывают. какой-то код. потому что то, что в репке на форже, ну просто хз как использовать для таких штук.
[12:16:35] tilarids вошёл(а) в комнату
[12:19:59] Typhon вошёл(а) в комнату
[12:23:50] Kakadu вошёл(а) в комнату
[12:37:31] Typhon вышел(а) из комнаты
[12:38:02] Typhon вошёл(а) в комнату
[12:51:46] Kakadu вышел(а) из комнаты
[13:23:56] Zbroyar вошёл(а) в комнату
[13:27:49] tilarids вышел(а) из комнаты
[13:28:03] tilarids вошёл(а) в комнату
[13:37:23] Zbroyar вышел(а) из комнаты
[13:37:55] Zbroyar вошёл(а) в комнату
[13:39:23] f[x] вышел(а) из комнаты
[13:54:13] tilarids вышел(а) из комнаты
[13:55:13] tilarids вошёл(а) в комнату
[13:58:32] Kakadu вошёл(а) в комнату
[13:58:36] Kakadu вышел(а) из комнаты
[14:18:34] komar вышел(а) из комнаты: Replaced by new connection
[14:18:38] komar вошёл(а) в комнату
[14:28:14] tilarids вышел(а) из комнаты
[14:28:24] tilarids вошёл(а) в комнату
[14:39:12] tilarids вышел(а) из комнаты
[14:39:22] tilarids вошёл(а) в комнату
[14:41:20] Zbroyar вышел(а) из комнаты
[15:20:53] tilarids вышел(а) из комнаты: Machine going to sleep
[15:43:21] Zbroyar вошёл(а) в комнату
[16:01:40] Zbroyar вышел(а) из комнаты
[16:12:24] komar вышел(а) из комнаты
[16:14:45] komar вошёл(а) в комнату
[16:19:19] komar вышел(а) из комнаты: Logged out
[16:19:23] komar вошёл(а) в комнату
[16:31:13] f[x] вошёл(а) в комнату
[16:45:22] tilarids вошёл(а) в комнату
[17:21:57] Zbroyar вошёл(а) в комнату
[17:25:08] Zbroyar вышел(а) из комнаты: Replaced by new connection
[17:25:10] Zbroyar вошёл(а) в комнату
[17:29:59] ftrvxmtrx вошёл(а) в комнату
[18:09:40] tilarids вышел(а) из комнаты: Machine going to sleep
[18:20:56] Kakadu вошёл(а) в комнату
[19:55:37] Kakadu вышел(а) из комнаты
[20:35:13] gds вышел(а) из комнаты: Replaced by new connection
[20:35:14] gds вошёл(а) в комнату
[20:57:05] f[x] вышел(а) из комнаты
[22:28:55] Typhon вышел(а) из комнаты
[22:49:23] Kakadu вошёл(а) в комнату
[23:35:20] Kakadu вышел(а) из комнаты