Objective Caml - Понедельник, 1 февраля 2010

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 1 февраля 2010< ^ >

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

GMT+3
[00:05:45] Kakadu вошёл(а) в комнату
[00:27:01] Typhon вышел(а) из комнаты
[00:40:39] Kakadu вышел(а) из комнаты
[01:24:41] serp256 вышел(а) из комнаты
[01:27:24] ygrek вышел(а) из комнаты
[01:29:23] serp256 вошёл(а) в комнату
[02:22:08] serp256 вышел(а) из комнаты
[03:09:55] <> Сервис будет сейчас перезапущен, перезайдите через 10 минут.
[03:14:42] ermine вышел(а) из комнаты
[03:14:50] ermine вошёл(а) в комнату
[03:19:09] Mon вошёл(а) в комнату
[03:19:14] ermine вошёл(а) в комнату
[03:25:40] daapp вошёл(а) в комнату
[03:58:50] ermine вышел(а) из комнаты
[06:44:37] digital_curse вошёл(а) в комнату
[07:17:20] sceptic вошёл(а) в комнату
[07:18:08] sceptic вышел(а) из комнаты
[07:18:30] sceptic вошёл(а) в комнату
[07:54:02] geovit вошёл(а) в комнату
[08:28:54] iNode вошёл(а) в комнату
[09:05:11] gds'-backup-copy вошёл(а) в комнату
[09:08:04] gds'-backup-copy вышел(а) из комнаты
[09:08:05] gds вошёл(а) в комнату
[09:17:03] serp256 вошёл(а) в комнату
[09:50:00] ygrek вошёл(а) в комнату
[09:55:37] sceptic вышел(а) из комнаты
[09:55:51] sceptic вошёл(а) в комнату
[10:10:48] Mon вышел(а) из комнаты
[10:13:15] Mr.Grage вошёл(а) в комнату
[10:14:19] Mr.Grage вышел(а) из комнаты
[10:19:32] 4kbfhiqo0r85uz вошёл(а) в комнату
[10:19:35] 4kbfhiqo0r85uz вышел(а) из комнаты
[10:37:14] daapp вошёл(а) в комнату
[10:40:27] serp256 вошёл(а) в комнату
[10:44:56] sceptic вошёл(а) в комнату
[10:51:26] f[x] вошёл(а) в комнату
[10:51:45] Mon вошёл(а) в комнату
[10:54:20] sceptic вышел(а) из комнаты
[11:20:29] gds вошёл(а) в комнату
[11:27:06] f[x] вышел(а) из комнаты
[11:29:33] f[x] вошёл(а) в комнату
[11:33:40] Typhon вошёл(а) в комнату
[11:58:49] ermine вошёл(а) в комнату
[12:38:54] Typhon вышел(а) из комнаты: Replaced by new connection
[12:38:55] Typhon вошёл(а) в комнату
[12:50:34] <serp256> По моему когда-то сталкивался с такой проблемой, но на окамле потом полгода ничего не писал, сейчас опять его вспоминаю. Так вот такой вопросик. Revised syntax.
module type S (P: sig type t; end) = sig value do: t -> unit; end;
Ну тобишь функторный module type
Возможно ли сделать так:
module type P = sig type t = int; end;
module type AS = S P; (* Так не компилица *)
Я подозреваю что так нельзя, но а вдруг
[12:53:07] olegfink вошёл(а) в комнату
[12:57:23] daapp вышел(а) из комнаты
[13:25:56] olegfink вышел(а) из комнаты
[13:25:57] olegfink вошёл(а) в комнату
[13:32:46] Chatroom is stopped
[13:48:16] Chatroom is started
[13:50:29] serp256 вошёл(а) в комнату
[13:54:57] gds вошёл(а) в комнату
[13:55:17] olegfink вошёл(а) в комнату
[14:07:48] sceptic вошёл(а) в комнату
[14:14:56] allien999 вошёл(а) в комнату
[14:15:22] allien999 вышел(а) из комнаты
[14:15:55] serp256 вышел(а) из комнаты
[14:19:34] Sergey Plaksin вошёл(а) в комнату
[14:20:27] Sergey Plaksin вышел(а) из комнаты
[14:20:31] Sergey Plaksin вошёл(а) в комнату
[14:20:40] Sergey Plaksin вышел(а) из комнаты
[14:26:29] ermine вошёл(а) в комнату
[14:35:05] Kakadu вошёл(а) в комнату
[14:48:53] Sergey Plaksin вошёл(а) в комнату
[14:49:12] Sergey Plaksin изменил(а) имя на serp256
[14:49:57] serp256 вышел(а) из комнаты
[14:49:58] Sergey Plaksin вошёл(а) в комнату
[15:52:05] f[x] вошёл(а) в комнату
[15:52:21] <f[x]> думаю нельзя. по мануалу - S это тип функтора, но не функтор типов :)
[16:07:15] Typhon вошёл(а) в комнату
[16:11:05] sceptic вышел(а) из комнаты
[16:26:37] <gds> из рассылки: http://forge.ocamlcore.org/projects/format/
[16:49:08] sceptic вошёл(а) в комнату
[17:31:46] gds вышел(а) из комнаты
[17:39:36] sceptic вышел(а) из комнаты
[17:58:15] gds вошёл(а) в комнату
[18:18:24] michael.holub вошёл(а) в комнату
[18:22:29] Typhon вышел(а) из комнаты
[18:25:37] michael.holub вышел(а) из комнаты
[19:07:43] sceptic вошёл(а) в комнату
[19:17:37] Sergey Plaksin вышел(а) из комнаты
[19:41:41] f[x] вышел(а) из комнаты
[20:09:02] Kakadu вышел(а) из комнаты: I'm happy Miranda IM user. Get it at http://miranda-im.org/.
[20:16:49] gds вышел(а) из комнаты
[20:18:20] gds вошёл(а) в комнату
[20:21:42] Typhon вошёл(а) в комнату
[20:35:56] gds вышел(а) из комнаты: Replaced by new connection
[20:35:58] gds вошёл(а) в комнату
[20:36:16] digital_curse вошёл(а) в комнату
[20:39:48] gds вышел(а) из комнаты: Replaced by new connection
[20:39:52] gds вошёл(а) в комнату
[21:02:47] ygrek вошёл(а) в комнату
[21:44:09] abiogenesis вошёл(а) в комнату
[21:44:21] abiogenesis вышел(а) из комнаты
[22:41:00] Kakadu вошёл(а) в комнату
[23:13:03] ygrek вышел(а) из комнаты
[23:13:05] ygrek вошёл(а) в комнату
[23:15:48] sceptic вышел(а) из комнаты
[23:29:30] sceptic вошёл(а) в комнату
[23:30:25] sceptic вышел(а) из комнаты
[23:30:31] sceptic вошёл(а) в комнату
[23:30:46] sceptic вышел(а) из комнаты
[23:30:54] sceptic вошёл(а) в комнату
[23:50:54] ygrek вышел(а) из комнаты