Objective Caml - Пятница, 23 ноября 2012

Objective Caml

ocaml@conference.jabber.ru

Пятница, 23 ноября 2012< ^ >

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

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

GMT+4
[01:05:44] ftrvxmtrx вышел(а) из комнаты
[01:18:51] ftrvxmtrx вошёл(а) в комнату
[01:39:46] tilarids вошёл(а) в комнату
[01:41:27] Kakadu вышел(а) из комнаты
[01:53:42] Sun][ вышел(а) из комнаты
[01:58:20] Andrey Popp вошёл(а) в комнату
[02:43:05] thapir вышел(а) из комнаты
[02:48:24] f[x] вышел(а) из комнаты
[03:17:43] Andrey Popp вышел(а) из комнаты
[08:32:52] ermine вошёл(а) в комнату
[08:44:09] komar вышел(а) из комнаты: Logged out
[09:06:59] Andrey Popp вошёл(а) в комнату
[10:10:15] komar вошёл(а) в комнату
[10:12:47] Sun][ вошёл(а) в комнату
[10:13:07] dzhon вошёл(а) в комнату
[10:17:16] komar вышел(а) из комнаты: Replaced by new connection
[10:17:17] komar вошёл(а) в комнату
[10:36:38] Andrey Popp вышел(а) из комнаты
[10:44:55] Sun][ вышел(а) из комнаты
[10:47:49] Sun][ вошёл(а) в комнату
[10:51:52] dzhon вышел(а) из комнаты
[11:33:31] Andrey Popp вошёл(а) в комнату
[11:44:28] thapir вошёл(а) в комнату
[11:48:00] Andrey Popp вышел(а) из комнаты
[11:51:37] ftrvxmtrx вышел(а) из комнаты
[11:59:28] Andrey Popp вошёл(а) в комнату
[12:00:26] dzhon вошёл(а) в комнату
[12:02:12] gds вышел(а) из комнаты: Replaced by new connection
[12:02:13] gds вошёл(а) в комнату
[12:48:26] Kakadu вошёл(а) в комнату
[12:58:52] ftrvxmtrx вошёл(а) в комнату
[13:39:25] Typhon вышел(а) из комнаты
[13:44:06] thapir вышел(а) из комнаты
[14:10:32] tilarids вышел(а) из комнаты: Computer went to sleep
[14:38:01] Typhon вошёл(а) в комнату
[14:46:29] tilarids вошёл(а) в комнату
[14:56:13] zinid вошёл(а) в комнату
[15:02:20] Andrey Popp вышел(а) из комнаты
[15:03:28] Andrey Popp вошёл(а) в комнату
[16:33:44] f[x] вышел(а) из комнаты
[16:35:16] f[x] вошёл(а) в комнату
[17:07:31] dzhon вышел(а) из комнаты
[17:11:21] Sun][ вышел(а) из комнаты
[18:05:33] Andrey Popp вышел(а) из комнаты
[18:13:28] zinid вышел(а) из комнаты
[18:40:57] Sun][ вошёл(а) в комнату
[19:15:27] Sun][ вышел(а) из комнаты
[19:18:51] Sun][ вошёл(а) в комнату
[19:24:14] Sun][ вышел(а) из комнаты
[19:32:24] ftrvxmtrx вышел(а) из комнаты
[19:33:26] Sun][ вошёл(а) в комнату
[19:37:31] Andrey Popp вошёл(а) в комнату
[19:39:36] Andrey Popp вышел(а) из комнаты
[19:40:25] Kakadu вышел(а) из комнаты
[19:53:08] <f[x]> аргх, я правильно помню что в 3.12 можно обойтись без
type polyapp = { pa : 'a. 'a X.t -> unit; } ?
[19:54:05] <f[x]> let use (type t) (f : t X.t -> unit) = ... не хочет
[19:55:26] <gds> ещё есть синтаксис " 'a . тип ", но я не уверен, что это поможет.
[19:56:32] <f[x]> не получается
[19:56:53] <f[x]> с 'a. он просто унифицируется с первым примененим и толку
[19:56:58] <f[x]> либо я что-то не так делаю
[19:57:12] <f[x]> ща минимальный пример сооружу
[19:57:28] <f[x]> я помню что я с таким сталкиваюсь раз в полгода и успеваю забыть как это делается
[20:00:00] <f[x]> http://codepad.org/HSA0del7
[20:00:41] <f[x]> gds ftr
[20:03:55] <gds> f[x]:
[20:04:21] <gds> f[x]: вот такое --
let apply : ( 'a . 'a list -> unit ) -> unit = fun f -> (f a; f b);;
не выходит, а, значит, хренушки.
[20:04:28] <f[x]> угу
[20:04:32] <f[x]> так а фигли?
[20:04:45] <f[x]> где спрашивается обещанное светлое будущее?
[20:04:51] <f[x]> к чему все эти земные страдания?
[20:04:57] <gds> rank2 суров, чтобы протаскивать его везде.
[20:05:06] <f[x]> ты мне по простому скажи
[20:05:51] <gds> лохи и ниасилили
[20:08:32] <f[x]> жисть жестянка
[20:09:19] <gds> зато с выводимостью типов в целом хорошо.
[20:12:23] Kakadu вошёл(а) в комнату
[20:17:07] komar вышел(а) из комнаты: Logged out
[20:26:12] Typhon вышел(а) из комнаты
[20:26:27] ftrvxmtrx вошёл(а) в комнату
[21:47:07] ermine вышел(а) из комнаты
[22:32:33] komar вошёл(а) в комнату
[22:49:54] tilarids вышел(а) из комнаты: Computer went to sleep
[22:53:51] Sun][ вышел(а) из комнаты
[23:10:21] Sun][ вошёл(а) в комнату
[23:14:53] thapir вошёл(а) в комнату
[23:33:25] thapir вышел(а) из комнаты
[23:33:37] tilarids вошёл(а) в комнату