Objective Caml - Четверг, 10 декабря 2009

Objective Caml

ocaml@conference.jabber.ru

Четверг, 10 декабря 2009< ^ >

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

GMT+3
[00:28:09] Kakadu вышел(а) из комнаты
[00:57:26] ermine вышел(а) из комнаты
[01:41:10] ExplicitCall вошёл(а) в комнату
[01:41:59] ExplicitCall вышел(а) из комнаты: I'm happy Miranda IM user. Get it at http://miranda-im.org/.
[02:31:47] Typhon вышел(а) из комнаты
[03:06:16] daapp вошёл(а) в комнату
[07:23:21] Typhon вошёл(а) в комнату
[07:23:51] Typhon вышел(а) из комнаты
[07:43:21] ermine вошёл(а) в комнату
[07:46:07] geovit вошёл(а) в комнату
[07:59:10] iNode вошёл(а) в комнату
[08:25:16] gds вышел(а) из комнаты
[08:43:51] Typhon вошёл(а) в комнату
[09:01:43] gds вошёл(а) в комнату
[09:21:26] <gds> frp: http://caml.inria.fr/pub/ml-archives/caml-list/2009/12/5187bd254f179352c4d2d549f4516a26.en.html
[10:46:10] Typhon вышел(а) из комнаты: Replaced by new connection
[10:46:10] Typhon вошёл(а) в комнату
[11:12:53] aloner2k вошёл(а) в комнату
[11:14:59] <gds> ygrek'а нет, приходится брать на себя обязанность гадить в багтрекер... http://caml.inria.fr/mantis/view.php?id=4936
[11:38:03] aloner2k вышел(а) из комнаты
[11:42:20] sceptic вышел(а) из комнаты
[12:20:16] Mon вышел(а) из комнаты
[12:20:25] Mon вошёл(а) в комнату
[12:50:54] daapp вышел(а) из комнаты
[12:53:53] Typhon вышел(а) из комнаты
[12:54:27] Typhon вошёл(а) в комнату
[13:05:57] Typhon вышел(а) из комнаты
[13:07:09] Typhon вошёл(а) в комнату
[13:46:14] michael.holub вошёл(а) в комнату
[14:05:12] aloner2k вошёл(а) в комнату
[15:16:02] yakov вошёл(а) в комнату
[15:16:10] <yakov> рун
[15:18:55] <gds> yarr
[15:21:14] sceptic вошёл(а) в комнату
[15:30:58] ExplicitCall вошёл(а) в комнату
[15:34:29] sceptic вышел(а) из комнаты
[15:37:56] michael.holub вышел(а) из комнаты
[15:40:44] sceptic вошёл(а) в комнату
[15:41:53] Kakadu вошёл(а) в комнату
[15:54:16] Mon вышел(а) из комнаты: Replaced by new connection
[15:54:19] Mon вошёл(а) в комнату
[16:01:38] <yakov> type menu_entry = [ `I of string * (unit -> unit) | `C of string * bool * (bool -> unit) | `R of (string * bool * (bool -> unit)) list | `M of string * menu_entry list | `S ]
[16:01:48] <yakov> что за кавычка такая? `I ?
[16:02:06] <gds> "полиморфные вариантные типы"
[16:02:19] <yakov> thx! а то смотрю в туториал и не вижу
[16:02:29] <yakov> [ ] - тоже к ним относится?
[16:02:35] Mon вышел(а) из комнаты: Replaced by new connection
[16:02:41] Mon вошёл(а) в комнату
[16:05:32] <gds> таки да.
они как обычные sum types, но конструкторы могут пересекаться в пределах модуля, ну и типизация не nominal, а structural.
[16:06:16] <gds> про sum types рассказывать не буду, так как знаю, с кем говорю.
[16:57:24] ExplicitCall вышел(а) из комнаты
[17:01:48] geovit вышел(а) из комнаты
[17:08:34] ExplicitCall вошёл(а) в комнату
[17:10:37] sceptic вышел(а) из комнаты: Replaced by new connection
[17:10:42] sceptic вошёл(а) в комнату
[17:15:45] sceptic вышел(а) из комнаты: Replaced by new connection
[17:15:50] sceptic вошёл(а) в комнату
[17:23:09] Typhon вышел(а) из комнаты
[17:31:13] gds вышел(а) из комнаты
[17:42:57] iNode вышел(а) из комнаты
[18:08:34] gds вошёл(а) в комнату
[18:08:49] sceptic вышел(а) из комнаты
[18:55:51] animist вышел(а) из комнаты
[18:56:06] animist вошёл(а) в комнату
[19:14:11] michael.holub вошёл(а) в комнату
[19:14:15] michael.holub вышел(а) из комнаты
[20:09:59] Kakadu вышел(а) из комнаты
[20:16:34] yakov вышел(а) из комнаты
[20:25:03] sceptic вошёл(а) в комнату
[21:02:41] aloner2k вышел(а) из комнаты
[21:55:31] sceptic вышел(а) из комнаты
[21:58:30] sceptic вошёл(а) в комнату
[23:41:12] ermine вышел(а) из комнаты