Objective Caml - Пятница, 21 сентября 2012

Objective Caml

ocaml@conference.jabber.ru

Пятница, 21 сентября 2012< ^ >

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

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

GMT+4
[00:16:14] <ermine> первоклассные модули не позволяют параметрические типы
[00:16:49] <ermine> то бишь они не полиморфны
[00:16:54] <ermine> crap
[00:17:23] <ermine> то бишь монады не могут быть первоклассными
[00:26:47] ermine вышел(а) из комнаты
[00:52:53] Sun][ вошёл(а) в комнату
[01:34:00] Kakadu вышел(а) из комнаты
[02:04:05] Typhon вышел(а) из комнаты
[02:05:26] klapaucius вышел(а) из комнаты
[02:05:26] Typhon вошёл(а) в комнату
[02:22:38] Sun][ вышел(а) из комнаты
[02:42:48] komar вышел(а) из комнаты: Logged out
[03:54:31] letrec вошёл(а) в комнату
[03:54:33] letrec вышел(а) из комнаты
[03:54:48] letrec вошёл(а) в комнату
[04:24:04] <Typhon> а нет ли какого-нибудь макроса, который позволял бы писать что-нибудь в духе "open List with hd, tl", которое транслировалось бы в "let hd = List.hd and tl = List.tl" и тд?
[04:48:33] letrec вышел(а) из комнаты
[07:31:36] Typhon вышел(а) из комнаты
[09:06:06] tilarids вышел(а) из комнаты: Replaced by new connection
[09:06:11] tilarids вошёл(а) в комнату
[09:09:20] Typhon вошёл(а) в комнату
[09:10:23] Typhon вышел(а) из комнаты: Replaced by new connection
[09:10:44] Typhon вошёл(а) в комнату
[10:57:39] tilarids вышел(а) из комнаты
[11:03:08] ermine вошёл(а) в комнату
[11:33:34] <f[x]> Typhon: пишется левой ногой в за завтраком же, ну
[11:35:02] <f[x]> ermine: покажи какой-нибудь код чтобы поиграть, я так сходу не скажу можно или нет
[11:36:02] <f[x]> хотя распаковать первоклассный модуль с разными типами не получится думаю, но наверное есть воркараунды
[11:40:07] <ermine> f[x]: в доке камла тоже запрещено делать ограничение по параметрическому типу: (module smth : SMTH with type 'a t = 'a M.t) - так нельзя
[11:40:28] <ermine> придется мне пересмотреть модуляцию слегка
[11:52:42] komar вошёл(а) в комнату
[11:55:19] Sun][ вошёл(а) в комнату
[12:05:21] tilarids вошёл(а) в комнату
[12:20:19] klapaucius вошёл(а) в комнату
[12:26:36] dzhon вошёл(а) в комнату
[12:51:49] Typhon вышел(а) из комнаты
[12:52:32] Typhon вошёл(а) в комнату
[13:30:31] tilarids вышел(а) из комнаты: Machine going to sleep
[13:42:48] Kakadu вошёл(а) в комнату
[13:53:42] tilarids вошёл(а) в комнату
[14:26:27] Typhon вышел(а) из комнаты
[14:28:18] Typhon вошёл(а) в комнату
[14:29:10] Typhon вышел(а) из комнаты
[14:30:50] Typhon вошёл(а) в комнату
[14:57:06] Typhon вышел(а) из комнаты
[14:58:14] Typhon вошёл(а) в комнату
[15:43:40] ftrvxmtrx вышел(а) из комнаты
[15:44:44] letrec вошёл(а) в комнату
[15:59:55] ftrvxmtrx вошёл(а) в комнату
[16:23:16] ftrvxmtrx вышел(а) из комнаты
[16:31:12] ftrvxmtrx вошёл(а) в комнату
[16:53:54] ftrvxmtrx вышел(а) из комнаты
[17:15:03] dzhon вышел(а) из комнаты
[17:40:30] Kakadu вышел(а) из комнаты
[18:18:03] Typhon вышел(а) из комнаты
[18:23:51] Kakadu вошёл(а) в комнату
[18:27:57] tilarids вышел(а) из комнаты: Machine going to sleep
[18:48:53] Sun][ вышел(а) из комнаты
[19:42:29] Kakadu вышел(а) из комнаты: Replaced by new connection
[19:42:32] Kakadu вошёл(а) в комнату
[20:24:22] gds вошёл(а) в комнату
[20:36:44] komar вышел(а) из комнаты: Logged out
[20:39:14] <gds> > with type 'a t = 'a M.t
ermine, это известное ограничение.
а первоклассные монады бывают, http://alaska-kamtchatka.blogspot.com/2011/09/higher-order-fun.html
[20:43:28] <ermine> gds: да я уже слегка переделала модуляцию и под переделку докапываю последние байты кода, заодно мучения с модуляциями позволили мне многое понять в этой кухне
[20:49:18] Sun][ вошёл(а) в комнату
[20:51:42] komar вошёл(а) в комнату
[21:25:47] komar вышел(а) из комнаты: Logged out
[21:40:53] letrec вышел(а) из комнаты
[21:48:25] komar вошёл(а) в комнату
[21:55:06] <ermine> так, осталась последняя проблема - бегающие типы
[21:55:48] squant вошёл(а) в комнату
[21:55:55] squant вышел(а) из комнаты: offline
[21:56:04] <ermine> калбэки - злоЪ
[21:58:12] komar вышел(а) из комнаты: Logged out
[22:02:48] komar вошёл(а) в комнату
[22:27:11] komar вышел(а) из комнаты: Logged out
[22:32:39] komar вошёл(а) в комнату
[22:39:41] f[x] вошёл(а) в комнату
[22:39:49] f[x] вышел(а) из комнаты
[22:44:24] ermine вышел(а) из комнаты
[22:45:50] gds вышел(а) из комнаты: Replaced by new connection
[22:45:51] gds вошёл(а) в комнату
[22:57:23] komar вышел(а) из комнаты: Logged out
[22:57:29] komar вошёл(а) в комнату