Home
Objective Caml
ocaml@conference.jabber.ru
Вторник, 22 января 2013< ^ >
f[x] установил(а) тему: OCaml / ОКэмл / Камль -- http://ocaml.org/ | Камло - http://camlunity.ru/ | Верблюды грязи не боятся! | release crap, enjoy NIH | репортьте баги официальным дилерам | ocaml мёртв и тормозит, move on | stdlib only? - ССЗБ | Fight FUD with fire | Мойте руки перед чатом | 4.00 уже таки да, см. kamlo_wiki/OCamlChanges | F#, Coq - де-факто онтопик
Конфигурация комнаты
Участники комнаты

GMT+4
[00:08:17] Sun][ вышел(а) из комнаты
[00:09:11] komar вошёл(а) в комнату
[00:13:59] Andrey Popp вышел(а) из комнаты
[00:21:04] <gds> f[x]: ты там в курсе про новую х-ту о том, что из типов будут выводиться значения в окамле?  Ну или конструкторы, например?  Вроде ты транк изучаешь периодически.
[00:22:00] komar вышел(а) из комнаты: Logged out
[00:28:23] Kakadu вышел(а) из комнаты
[01:25:35] Typhon вошёл(а) в комнату
[01:42:13] Typhon вышел(а) из комнаты
[03:26:29] Typhon вошёл(а) в комнату
[03:42:20] Typhon вышел(а) из комнаты
[04:25:47] klapaucius вышел(а) из комнаты
[04:26:43] Typhon вошёл(а) в комнату
[04:43:04] Typhon вышел(а) из комнаты
[05:27:20] Typhon вошёл(а) в комнату
[05:43:28] Typhon вышел(а) из комнаты
[08:37:05] tilarids вошёл(а) в комнату
[09:17:26] Andrey Popp вошёл(а) в комнату
[09:28:50] Typhon вошёл(а) в комнату
[09:33:14] Andrey Popp вышел(а) из комнаты
[09:35:02] Sun][ вошёл(а) в комнату
[09:44:12] tilarids вышел(а) из комнаты: Computer went to sleep
[09:44:35] tilarids вошёл(а) в комнату
[09:45:06] Typhon вышел(а) из комнаты
[09:52:38] tilarids вышел(а) из комнаты: Computer went to sleep
[10:10:23] tilarids вошёл(а) в комнату
[10:11:08] tilarids вышел(а) из комнаты
[10:11:41] tilarids вошёл(а) в комнату
[10:13:25] dzhon вошёл(а) в комнату
[10:14:03] dzhon вышел(а) из комнаты: I'm happy Miranda IM user. Get it at http://miranda-im.org/.
[10:15:31] tilarids вышел(а) из комнаты: Computer went to sleep
[10:21:23] ermine вошёл(а) в комнату
[10:38:07] <f[x]> не, это что такое?
[10:53:33] komar вошёл(а) в комнату
[11:05:56] tilarids вошёл(а) в комнату
[11:06:05] klapaucius вошёл(а) в комнату
[11:13:21] tilarids вышел(а) из комнаты: Computer went to sleep
[11:25:28] tilarids вошёл(а) в комнату
[11:29:35] Typhon вошёл(а) в комнату
[11:30:07] tilarids вышел(а) из комнаты
[11:30:10] tilarids вошёл(а) в комнату
[11:39:55] <klapaucius> Имеется в виду http://gallium.inria.fr/blog/singleton-types-for-code-inference/ наверное?
[11:45:03] Typhon вышел(а) из комнаты
[11:46:01] Typhon вошёл(а) в комнату
[11:50:02] Kakadu вошёл(а) в комнату
[11:50:45] Kakadu вошёл(а) в комнату
[12:24:49] tilarids вышел(а) из комнаты
[12:25:28] tilarids вошёл(а) в комнату
[12:41:26] <gds> klapaucius: близко.  http://gallium.inria.fr/blog/resolving-field-names/ .  Кстати, наш mrm там засветился в каментах.
[12:59:59] dzhon вошёл(а) в комнату
[13:03:21] Andrey Popp вошёл(а) в комнату
[13:09:47] Andrey Popp вышел(а) из комнаты
[13:15:57] Andrey Popp вошёл(а) в комнату
[13:25:20] tilarids вышел(а) из комнаты: Computer went to sleep
[13:30:03] tilarids вошёл(а) в комнату
[13:35:43] Andrey Popp вышел(а) из комнаты
[13:47:53] Andrey Popp вошёл(а) в комнату
[14:37:39] tilarids вышел(а) из комнаты: Replaced by new connection
[14:37:40] tilarids вошёл(а) в комнату
[15:17:00] tilarids вышел(а) из комнаты: Computer went to sleep
[15:22:34] ftrvxmtrx вышел(а) из комнаты
[15:26:46] ftrvxmtrx вошёл(а) в комнату
[16:12:40] Andrey Popp вышел(а) из комнаты
[16:12:43] Andrey Popp вошёл(а) в комнату
[16:37:14] tilarids вошёл(а) в комнату
[16:51:57] Sun][ вышел(а) из комнаты
[17:48:33] Andrey Popp вышел(а) из комнаты
[17:58:02] dzhon вышел(а) из комнаты
[18:45:37] Andrey Popp вошёл(а) в комнату
[18:48:29] Andrey Popp вышел(а) из комнаты
[18:50:51] Andrey Popp вошёл(а) в комнату
[19:01:22] komar вышел(а) из комнаты: Logged out
[20:00:55] Kakadu вышел(а) из комнаты
[20:01:16] Kakadu вышел(а) из комнаты
[20:13:24] Typhon вышел(а) из комнаты
[20:35:11] tilarids вышел(а) из комнаты: Computer went to sleep
[20:40:06] tilarids вошёл(а) в комнату
[20:57:03] Andrey Popp вышел(а) из комнаты
[20:59:15] Kakadu вошёл(а) в комнату
[21:32:18] Andrey Popp вошёл(а) в комнату
[21:35:57] Andrey Popp вышел(а) из комнаты
[22:33:03] tilarids вышел(а) из комнаты: Replaced by new connection
[22:33:05] tilarids вошёл(а) в комнату
[22:48:11] tilarids вышел(а) из комнаты: Computer went to sleep
[22:50:30] tilarids вошёл(а) в комнату
[22:56:12] komar вошёл(а) в комнату
[23:13:18] Andrey Popp вошёл(а) в комнату
[23:17:08] Typhon вошёл(а) в комнату
[23:17:26] Typhon вышел(а) из комнаты
[23:58:27] ermine вышел(а) из комнаты
Powered by ejabberd Powered by Erlang Valid XHTML 1.0 Transitional Valid CSS!