Objective Caml - Пятница, 4 декабря 2009

Objective Caml

ocaml@conference.jabber.ru

Пятница, 4 декабря 2009< ^ >

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

GMT+3
[00:00:42] sceptic вошёл(а) в комнату
[00:54:12] ermine вышел(а) из комнаты
[01:43:08] ExplicitCall вошёл(а) в комнату
[02:38:37] ExplicitCall вышел(а) из комнаты: Replaced by new connection
[02:38:40] ExplicitCall вошёл(а) в комнату
[03:22:21] ExplicitCall вышел(а) из комнаты
[04:12:20] daapp вошёл(а) в комнату
[04:35:41] Typhon_ вышел(а) из комнаты
[06:56:45] iNode вышел(а) из комнаты
[07:19:20] ermine вошёл(а) в комнату
[07:43:47] iNode вошёл(а) в комнату
[07:45:14] geovit вошёл(а) в комнату
[08:18:17] geovit вышел(а) из комнаты
[08:26:14] gds вышел(а) из комнаты
[08:58:16] Typhon вышел(а) из комнаты: Replaced by new connection
[08:58:16] Typhon вошёл(а) в комнату
[09:12:53] gds вошёл(а) в комнату
[09:45:45] geovit вошёл(а) в комнату
[11:26:07] daapp вышел(а) из комнаты
[11:43:44] iNode вышел(а) из комнаты
[12:10:58] Mon вышел(а) из комнаты
[12:11:18] Mon вошёл(а) в комнату
[12:15:06] ExplicitCall вошёл(а) в комнату
[12:47:16] Typhon вышел(а) из комнаты
[13:24:00] ExplicitCall вышел(а) из комнаты
[14:14:46] ExplicitCall вошёл(а) в комнату
[15:02:50] Typhon вошёл(а) в комнату
[15:03:13] geovit вышел(а) из комнаты
[15:05:59] geovit вошёл(а) в комнату
[15:29:10] ExplicitCall вышел(а) из комнаты
[15:36:50] Typhon вышел(а) из комнаты
[15:49:41] sceptic вышел(а) из комнаты
[15:57:55] geovit вышел(а) из комнаты
[16:16:19] geovit вошёл(а) в комнату
[16:26:18] ExplicitCall вошёл(а) в комнату
[16:46:25] geovit вышел(а) из комнаты
[16:51:07] Typhon вошёл(а) в комнату
[16:51:23] Typhon вышел(а) из комнаты
[17:02:49] Typhon вошёл(а) в комнату
[17:16:49] Typhon вышел(а) из комнаты
[17:17:17] michael.holub вошёл(а) в комнату
[17:17:24] Typhon вошёл(а) в комнату
[17:17:43] Typhon вышел(а) из комнаты
[17:18:10] sceptic вошёл(а) в комнату
[17:25:21] geovit вошёл(а) в комнату
[17:26:00] geovit вышел(а) из комнаты
[17:26:51] Typhon вошёл(а) в комнату
[17:30:42] gds вышел(а) из комнаты
[17:54:48] ExplicitCall вышел(а) из комнаты
[18:06:29] gds вошёл(а) в комнату
[18:34:08] <gds> шоке. ocamlbrowser действительно умеет искать функцию по её типу. правда, несколько затейливо по отношению к универсальным типам (в том числе параметрическим) -- скорее, ищет все функции, которые теоретически могут иметь указанный тип, но не смотрит на повторные вхождения конкретной типовой переменной. Т.е. " ('a * 'b) -> 'a " найдёт как fst, так и snd. И " ('a -> 'b) -> 'a list -> 'b list " ищет тоже не только List.map.
[18:43:02] ExplicitCall вошёл(а) в комнату
[18:44:29] ExplicitCall вышел(а) из комнаты: I'm happy Miranda IM user. Get it at http://miranda-im.org/.
[20:19:06] sevenov вышел(а) из комнаты
[20:35:45] ExplicitCall вошёл(а) в комнату
[20:43:55] Typhon вышел(а) из комнаты
[20:44:08] Typhon вошёл(а) в комнату
[20:50:02] Kakadu вошёл(а) в комнату
[21:08:32] Typhon вышел(а) из комнаты
[21:12:58] Kakadu вышел(а) из комнаты
[21:13:40] michael.holub вышел(а) из комнаты
[21:18:17] iNode вошёл(а) в комнату
[23:18:07] sceptic вышел(а) из комнаты
[23:20:02] FromAfrika вошёл(а) в комнату
[23:20:07] FromAfrika вышел(а) из комнаты
[23:20:23] sceptic вошёл(а) в комнату
[23:50:14] iNode вышел(а) из комнаты