Home
OCaml (aka Objective Caml), а также прочие ML'и, F#, Coq, etc
ocaml@conference.jabber.ru
Четверг, 16 ноября 2017< ^ >
f[x] установил(а) тему: OCaml / ОКэмл / Камль -- http://ocaml.org/ | Камло - http://camlunity.org/ | Верблюды грязи не боятся! | release crap, enjoy NIH | репортьте баги официальным дилерам | ocaml мёртв и тормозит, move on | stdlib only? - ССЗБ | Fight FUD with fire | Мойте руки перед чатом | KEEP CAML AND CURRY ON | У верблюда два горба потому что жизнь борьба | Coq далее доказывает в coq@c.j.r | F# - де-факто онтопик
Конфигурация комнаты
Участники комнаты

GMT+3
[00:30:46] f[x] вошёл(а) в комнату
[00:31:09] <f[x]> это слишком суровая магия для меня
[00:31:13] f[x] вышел(а) из комнаты
[01:02:55] vladimir.chujkov вошёл(а) в комнату
[01:07:13] grouzen вышел(а) из комнаты
[01:07:15] grouzen вошёл(а) в комнату
[01:07:23] grouzen вышел(а) из комнаты
[01:07:25] grouzen вошёл(а) в комнату
[01:49:18] vladimir.chujkov вошёл(а) в комнату
[02:04:21] vladimir.chujkov вышел(а) из комнаты
[02:12:37] komar вошёл(а) в комнату
[02:13:52] komar вышел(а) из комнаты: Connection failed: connection closed
[02:23:55] Kakadu вышел(а) из комнаты
[04:19:20] vladimir.chujkov вошёл(а) в комнату
[04:28:21] vladimir.chujkov вышел(а) из комнаты
[08:28:55] begemot_sun вошёл(а) в комнату
[08:39:52] vladimir.chujkov вышел(а) из комнаты
[08:45:47] vladimir.chujkov вошёл(а) в комнату
[12:07:43] sigrid вошёл(а) в комнату
[12:17:06] f[x] вошёл(а) в комнату
[13:41:43] Kakadu вошёл(а) в комнату
[14:19:50] vladimir.chujkov вошёл(а) в комнату
[15:00:11] sigrid вышел(а) из комнаты
[16:14:24] vladimir.chujkov вышел(а) из комнаты
[17:05:14] <aleksey> f[x]: ничо сложнава! http://lpaste.net/6295507678873518080
[17:05:14] vladimir.chujkov вышел(а) из комнаты
[17:17:22] <f[x]> фантомы
[17:17:33] <f[x]> так а зачем миксованые операции разрешать?
[17:17:46] <f[x]> типы их не пропускают, или пропускают?
[17:17:49] f[x] туповат
[17:29:33] komar вошёл(а) в комнату
[17:32:54] <aleksey> ну просто из интересу
[17:33:45] <aleksey> думал как можно типизировать такие перегруженные операции
[19:01:45] grouzen вышел(а) из комнаты
[19:01:48] grouzen вошёл(а) в комнату
[19:34:10] komar вышел(а) из комнаты: Connection failed: connection closed
[20:10:08] komar вошёл(а) в комнату
[20:12:40] komar вышел(а) из комнаты: Connection failed: connection closed
[20:17:55] f[x] вышел(а) из комнаты
[20:56:12] komar вошёл(а) в комнату
[21:03:31] komar вышел(а) из комнаты
[21:43:09] Kakadu вышел(а) из комнаты
[22:28:11] Kakadu вошёл(а) в комнату
[22:47:07] komar вошёл(а) в комнату
[23:11:26] begemot_sun вышел(а) из комнаты
[23:29:30] komar вышел(а) из комнаты: Stream closed by us: Replaced by new connection (conflict)
[23:29:31] komar вошёл(а) в комнату
Powered by ejabberd - robust, scalable and extensible XMPP server Powered by Erlang Valid XHTML 1.0 Transitional Valid CSS!