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

Objective Caml

ocaml@conference.jabber.ru

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

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

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

GMT+3
[00:31:50] ermine вышел(а) из комнаты
[01:33:41] sceptic вышел(а) из комнаты
[01:34:44] ygrek вышел(а) из комнаты
[01:38:12] sceptic вошёл(а) в комнату
[01:39:58] gds вышел(а) из комнаты
[01:43:45] gds вошёл(а) в комнату
[02:08:41] gds вышел(а) из комнаты
[02:35:30] digital_curse вышел(а) из комнаты
[03:39:22] daapp вошёл(а) в комнату
[09:47:02] ygrek вошёл(а) в комнату
[10:20:49] gds вошёл(а) в комнату
[10:26:26] f[x] вошёл(а) в комнату
[10:42:50] gds вышел(а) из комнаты: Replaced by new connection
[10:42:52] gds вошёл(а) в комнату
[10:44:56] Sergey Plaksin вошёл(а) в комнату
[11:02:53] Sergey Plaksin вышел(а) из комнаты
[11:18:29] ygrek вышел(а) из комнаты
[11:54:38] ermine вошёл(а) в комнату
[13:04:48] sceptic вышел(а) из комнаты
[13:08:57] sceptic вошёл(а) в комнату
[13:53:50] <f[x]> # class type q = object method start : unit -> 'a method fin : 'a -> unit end;;
class type q = object method fin : 'a -> unit method start : unit -> 'b end
хочу 'a = 'b
# class type q = object ('a) method start : unit -> 'a method fin : 'a -> unit end;;
class type q =
  object ('a) method fin : 'a -> unit method start : unit -> 'a end
но тут 'a это self - т.е. не то?
[13:54:24] <f[x]> а если у меня будет ещё пара методов которые я хочу так "связать" то как быть? object ('a * 'b) не работает
[13:55:38] ygrek вошёл(а) в комнату
[13:57:15] <f[x]> # class type ['a] q = object method start : unit -> 'a method fin : 'a -> unit end;;
class type ['a] q =
  object method fin : 'a -> unit method start : unit -> 'a end
[13:57:17] <f[x]> во
[14:10:45] <gds> удивлялся всегда, нафига квадратные скобки вместо обычного синтаксиса параметрических типов.  сходу вроде конфликтов быть не должно было бы.
[14:17:44] daapp вышел(а) из комнаты
[14:20:23] digital_curse вошёл(а) в комнату
[15:17:26] Typhon вошёл(а) в комнату
[15:44:21] Sergey Plaksin вошёл(а) в комнату
[16:36:24] ygrek вышел(а) из комнаты
[17:35:43] Typhon вышел(а) из комнаты
[19:14:21] Sergey Plaksin вышел(а) из комнаты
[21:07:10] sceptic вышел(а) из комнаты
[21:10:56] sceptic вошёл(а) в комнату
[21:11:41] sceptic вышел(а) из комнаты
[21:11:48] sceptic вошёл(а) в комнату
[21:17:39] sceptic вышел(а) из комнаты
[21:17:55] sceptic вошёл(а) в комнату
[23:46:19] Typhon вошёл(а) в комнату