Objective Caml - Пятница, 26 апреля 2013

Objective Caml

ocaml@conference.jabber.ru

Пятница, 26 апреля 2013< ^ >

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

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

GMT+4
[00:24:00] tilarids вошёл(а) в комнату
[00:51:26] Kakadu вышел(а) из комнаты
[02:24:07] Zbroyar вышел(а) из комнаты
[02:24:33] Zbroyar вошёл(а) в комнату
[02:31:49] mrm вышел(а) из комнаты
[02:31:51] mrm вошёл(а) в комнату
[02:33:20] ADEpt вышел(а) из комнаты
[02:34:09] tilarids вышел(а) из комнаты: Replaced by new connection
[02:34:09] tilarids вошёл(а) в комнату
[02:34:34] ADEpt вошёл(а) в комнату
[03:16:46] mrm вышел(а) из комнаты
[04:48:28] tilarids вышел(а) из комнаты: Computer went to sleep
[06:09:03] tilarids вошёл(а) в комнату
[06:43:36] tilarids вышел(а) из комнаты
[06:51:28] tilarids вошёл(а) в комнату
[06:52:32] komar вышел(а) из комнаты: Replaced by new connection
[06:52:32] komar вошёл(а) в комнату
[06:59:07] f[x] вошёл(а) в комнату
[08:22:11] tilarids вышел(а) из комнаты: Computer went to sleep
[09:04:04] UncleVasya вошёл(а) в комнату
[09:18:20] oln вошёл(а) в комнату
[09:50:51] f[x] вышел(а) из комнаты
[10:51:12] f[x] вошёл(а) в комнату
[11:08:00] ftrvxmtrx вышел(а) из комнаты
[11:18:48] Kakadu вошёл(а) в комнату
[11:20:15] ermine вошёл(а) в комнату
[11:44:22] zinid вошёл(а) в комнату
[11:49:23] ftrvxmtrx вошёл(а) в комнату
[12:13:25] UncleVasya вышел(а) из комнаты
[12:20:30] mrm вошёл(а) в комнату
[12:59:11] <gds> чото туплю.
module type A = sig type a end
module B (A : A) = struct type a = A.a end
module C (A : A) : sig type a = ... как бы тут сократить выражение "B(A).a"?
смысл -- B и A являются весьма длинными идентификаторами, мусорят код.  А вот объявить как-то, что B(A) таки будет создано в структуре модуля C, и будет иметь короткое имя BA -- не могу сообразить.
Вот такое не канает:
module C (A : A) : sig module BA : B(A) type a = BA.a end = struct module BA = B(A) type a = BA.a end
[13:03:12] <f[x]> сигнатуру B надо
[13:03:50] <f[x]> т.е. module BA : SIG_OF_B with type a = A.a
[13:03:51] <f[x]> не?
[13:04:23] <gds> B ведь тоже функтор.  К тому же, я затрахаюсь сигнатуру выписывать, лучше уж B(A).a.
[13:04:43] <gds> SIG_OF_B(A) -- вот кстати да, может прокатить, но пробовать не буду.
[13:06:18] <f[x]> у тебя A сигнатура
[13:06:28] <f[x]> а функторов от сигнатур не бывает
[13:06:53] <f[x]> а, не
[13:06:55] <f[x]> туплю
[13:07:02] <f[x]> внутри C это структура
[13:08:10] <f[x]> module C (A : A) : sig module BA : module type of B(A) type a = BA.a end = struct module BA = B(A) type a = BA.a end
[13:08:24] <f[x]> хм, вроде даже то что надо
[13:08:58] <gds> шайтан!  Благодарю.
[13:09:25] <f[x]> :)
[13:29:34] Typhon вошёл(а) в комнату
[14:16:27] zinid вышел(а) из комнаты
[14:50:03] UncleVasya вышел(а) из комнаты
[15:02:49] f[x] вышел(а) из комнаты
[15:46:37] komar вышел(а) из комнаты
[15:54:32] komar вошёл(а) в комнату
[16:11:51] oln вышел(а) из комнаты
[16:49:54] tilarids вошёл(а) в комнату
[16:54:05] Kakadu вышел(а) из комнаты
[17:33:07] tilarids вышел(а) из комнаты: Computer went to sleep
[17:54:42] tilarids вошёл(а) в комнату
[18:16:36] Kakadu вошёл(а) в комнату
[18:21:12] UncleVasya вошёл(а) в комнату
[18:33:37] ftrvxmtrx вышел(а) из комнаты
[18:34:34] tilarids вышел(а) из комнаты
[18:46:06] oln вошёл(а) в комнату
[19:05:07] komar вышел(а) из комнаты: Replaced by new connection
[19:05:12] komar вошёл(а) в комнату
[19:26:28] <komar> Есть ledit, а что еще есть?
[19:27:47] Typhon вышел(а) из комнаты
[19:29:34] <komar> rlwrap
[20:19:43] Kakadu вышел(а) из комнаты
[20:23:06] tilarids вошёл(а) в комнату
[20:39:30] <komar> Ребятоньки, я буду завтра заниматься следующим экспериментом: возьму libcurl для окамла, засуну его в треды, скормлю треды lwt и буду смотреть, не мешают ли они друг другу.
[20:39:43] <komar> Если кто-то знает исход эксперимента заранее — очень буду благодарен, если расскажете.
[20:40:17] <komar> Также буду благодарен за любые предложения, что можно заюзать вместо libcurl’а.
[20:40:42] <komar> Пока руки тянутся к спавну /usr/bin/curl, но мне надо скорасти.
[20:45:16] <komar> (а, впрочем, хрен ли я выпендриваюсь: будет мне мало скорасти — подолблюсь напрямую в сокеты)
[21:01:40] komar вышел(а) из комнаты: Replaced by new connection
[21:01:46] komar вошёл(а) в комнату
[21:07:23] Kakadu вошёл(а) в комнату
[21:41:44] UncleVasya вышел(а) из комнаты
[21:42:42] ftrvxmtrx вошёл(а) в комнату
[22:41:16] mrm вышел(а) из комнаты
[22:44:54] ermine вышел(а) из комнаты
[22:52:21] oln вышел(а) из комнаты
[23:30:12] komar вышел(а) из комнаты: Replaced by new connection
[23:30:15] komar вошёл(а) в комнату