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

GMT+4
[01:18:25] komar вышел(а) из комнаты: Replaced by new connection
[01:18:26] komar вошёл(а) в комнату
[01:23:59] Kakadu вышел(а) из комнаты
[02:12:26] tilarids вышел(а) из комнаты: Machine going to sleep
[03:22:59] Sun][ вышел(а) из комнаты
[04:26:42] tilarids вошёл(а) в комнату
[06:01:56] letrec вошёл(а) в комнату
[06:51:53] komar вышел(а) из комнаты
[07:46:20] Typhon вошёл(а) в комнату
[07:58:07] Typhon вышел(а) из комнаты
[10:35:41] letrec вышел(а) из комнаты
[11:12:56] Kakadu вошёл(а) в комнату
[13:42:27] f[x] вошёл(а) в комнату
[14:22:05] komar вошёл(а) в комнату
[15:11:29] ermine вошёл(а) в комнату
[15:35:49] komar вышел(а) из комнаты
[15:35:55] komar вошёл(а) в комнату
[17:09:35] Sun][ вошёл(а) в комнату
[17:11:52] letrec вошёл(а) в комнату
[17:12:01] letrec вышел(а) из комнаты
[17:12:16] letrec вошёл(а) в комнату
[18:08:16] Sun][ вышел(а) из комнаты
[19:10:45] Typhon вошёл(а) в комнату
[20:29:47] komar вышел(а) из комнаты
[20:56:26] <ermine> gds: судя по приведенной тобой ссылке, монады не камлевые первоклассные модули не могут быть полиморфными
[21:07:32] Kakadu вышел(а) из комнаты
[21:15:03] <ermine> gds: в смысле - внутри модуля монады не могут быть функции, возвращающие разный тип 'a t
[21:15:44] <ermine> например монада стрима val peek : stream -> char t и val junk : stream -> unit t
[21:37:49] komar вошёл(а) в комнату
[22:10:32] komar вышел(а) из комнаты: Logged out
[22:11:20] Kakadu вошёл(а) в комнату
[22:11:42] komar вошёл(а) в комнату
[22:15:44] komar вышел(а) из комнаты: Logged out
[22:16:21] komar вошёл(а) в комнату
[22:32:46] komar вышел(а) из комнаты
[22:36:36] komar вошёл(а) в комнату
[22:39:42] komar вышел(а) из комнаты: Logged out
[22:39:47] komar вошёл(а) в комнату
[22:39:51] komar вышел(а) из комнаты: Logged out
[23:37:57] ermine вышел(а) из комнаты
Powered by ejabberd Powered by Erlang Valid XHTML 1.0 Transitional Valid CSS!