Objective Caml - Четверг, 5 августа 2010

Objective Caml

ocaml@conference.jabber.ru

Четверг, 5 августа 2010< ^ >

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

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

GMT+4
[00:45:58] arhibot вышел(а) из комнаты
[01:14:20] ermine вышел(а) из комнаты
[01:33:07] ygrek вышел(а) из комнаты
[07:53:20] iNode вышел(а) из комнаты
[08:28:56] Kakadu вошёл(а) в комнату
[08:30:14] <Kakadu> .version Kakadu
[08:54:53] gds вошёл(а) в комнату
[08:57:41] Kakadu вышел(а) из комнаты
[08:58:42] Kakadu вошёл(а) в комнату
[09:27:33] iNode вошёл(а) в комнату
[09:50:13] Typhon вошёл(а) в комнату
[10:09:29] serp256 вошёл(а) в комнату
[10:13:16] ermine вошёл(а) в комнату
[10:15:06] serp256 вышел(а) из комнаты
[10:17:32] serp256 вошёл(а) в комнату
[10:18:30] serp256 вышел(а) из комнаты
[10:21:14] serp256 вошёл(а) в комнату
[10:25:22] arhibot вошёл(а) в комнату
[10:41:50] Kakadu вышел(а) из комнаты
[10:48:44] Kakadu вошёл(а) в комнату
[11:36:18] ʇsʎɯ вошёл(а) в комнату
[12:53:03] komar вышел(а) из комнаты
[13:22:32] vshender вошёл(а) в комнату
[14:30:31] iNode вышел(а) из комнаты
[14:48:41] iNode вошёл(а) в комнату
[15:41:50] komar вошёл(а) в комнату
[16:04:12] zert вышел(а) из комнаты
[17:17:33] Kakadu вышел(а) из комнаты
[17:27:56] iNode вышел(а) из комнаты
[17:30:50] gds вышел(а) из комнаты
[17:55:22] gds вошёл(а) в комнату
[18:19:07] iNode вошёл(а) в комнату
[18:29:08] zert вошёл(а) в комнату
[18:43:14] arhibot вышел(а) из комнаты
[19:16:14] vshender вышел(а) из комнаты
[19:47:13] ʇsʎɯ вышел(а) из комнаты
[19:57:19] serp256 вышел(а) из комнаты
[19:59:41] serp256 вошёл(а) в комнату
[20:06:45] Typhon вышел(а) из комнаты
[20:10:57] serp256 вышел(а) из комнаты
[20:32:31] arhibot вошёл(а) в комнату
[23:06:29] arhibot вышел(а) из комнаты
[23:09:32] ygrek вошёл(а) в комнату
[23:34:26] serp256 вошёл(а) в комнату
[23:39:17] serp256 вышел(а) из комнаты
[23:39:49] arhibot вошёл(а) в комнату
[23:41:41] <gds> сегодняшний caml-list: "
Incidentally, has the Ocaml team ever entertained adding native support for a record type with width subtyping? From my type-theory-non-expert point of view, what strikes me about width subtyping is how closely related it seems to the structural subtyping found in the object system and in polymorphic variants. It would therefore fit very nicely along those features. Perhaps it could even leverage the same row variable mechanism.
"
я уже в жыжыцэ пейсал, тут напишу. "Дайте нам записи, которые подтипизируются, возможно даже с механизмом подтипизации, используемом для объектов, но только не объекты, ни в коем случае!" У людей в голове, видимо, зажигается красная тряпка (да!), когда они слышат слова "объект" и "класс".
[23:42:55] <ygrek> объекты ведь мееееедленные
[23:44:27] <gds> а когда при этом реализуют какой-нибудь immutable array или зиппер, на каждый чих выделяя closure, как-то об этом не думают. Функционально ведь!