Objective Caml - Понедельник, 24 сентября 2012

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 24 сентября 2012< ^ >

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

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

GMT+4
[01:16:26] komar вошёл(а) в комнату
[01:18:46] komar вышел(а) из комнаты: Replaced by new connection
[01:18:47] komar вошёл(а) в комнату
[01:27:41] f[x] вышел(а) из комнаты
[02:04:16] Typhon вышел(а) из комнаты: Replaced by new connection
[02:04:16] letrec вышел(а) из комнаты
[02:04:37] Typhon вошёл(а) в комнату
[02:05:22] gds вышел(а) из комнаты: Replaced by new connection
[02:05:28] gds вошёл(а) в комнату
[02:06:37] Kakadu вышел(а) из комнаты
[02:08:51] letrec вошёл(а) в комнату
[03:36:01] <gds> ermine: ну запихни в сигнатуру модуля нужные типы. Должно сработать. Сходу не уверен.
[04:43:25] letrec вышел(а) из комнаты
[09:11:13] dzhon вошёл(а) в комнату
[09:32:37] f[x] вошёл(а) в комнату
[09:53:18] dzhon вышел(а) из комнаты
[10:07:23] dzhon вошёл(а) в комнату
[10:16:32] Sun][ вошёл(а) в комнату
[10:21:59] ermine вошёл(а) в комнату
[10:35:29] Typhon вышел(а) из комнаты
[10:36:48] f[x] вышел(а) из комнаты
[10:38:15] f[x] вошёл(а) в комнату
[10:59:57] klapaucius вошёл(а) в комнату
[11:38:42] Typhon вошёл(а) в комнату
[12:13:24] akovbovich вошёл(а) в комнату
[13:00:12] komar вышел(а) из комнаты
[13:00:46] komar вошёл(а) в комнату
[13:06:02] akovbovich вышел(а) из комнаты
[13:13:19] Kakadu вошёл(а) в комнату
[13:30:07] tilarids вышел(а) из комнаты: Machine going to sleep
[14:01:41] tilarids вошёл(а) в комнату
[15:15:15] Sun][ вышел(а) из комнаты
[15:15:50] Sun][ вошёл(а) в комнату
[15:26:14] akovbovich вошёл(а) в комнату
[15:57:13] letrec вошёл(а) в комнату
[17:16:48] squant вышел(а) из комнаты: offline
[17:23:33] <f[x]> let todo s = fun _ -> failwith s
let make_order = todo "make_order"
я правильно понимаю что это value restriction?
[17:28:12] Sun][ вышел(а) из комнаты
[17:28:57] <f[x]> let todo s = let f (type a) (_:a) = failwith s in f
тоже не работает
[17:29:10] <f[x]> призываю gds
[18:12:28] dzhon вышел(а) из комнаты
[18:12:44] dzhon вошёл(а) в комнату
[19:02:19] tilarids вышел(а) из комнаты
[19:11:18] Kakadu вышел(а) из комнаты
[19:15:23] tilarids вошёл(а) в комнату
[19:32:13] Typhon вышел(а) из комнаты
[19:34:38] squant вошёл(а) в комнату
[20:04:43] tilarids вышел(а) из комнаты
[20:05:14] Kakadu вошёл(а) в комнату
[20:20:18] letrec вышел(а) из комнаты: Replaced by new connection
[20:20:19] letrec вошёл(а) в комнату
[20:28:06] dzhon вышел(а) из комнаты
[20:47:31] tilarids вошёл(а) в комнату
[20:48:45] letrec вышел(а) из комнаты
[20:48:56] letrec вошёл(а) в комнату
[21:02:58] komar вышел(а) из комнаты: Logged out
[21:10:35] letrec вышел(а) из комнаты
[21:17:39] komar вошёл(а) в комнату
[21:24:07] komar вышел(а) из комнаты: Replaced by new connection
[21:24:13] komar вошёл(а) в комнату
[22:07:13] tilarids вышел(а) из комнаты: Computer went to sleep
[22:29:00] tilarids вошёл(а) в комнату
[22:58:44] ermine вышел(а) из комнаты