Objective Caml - Вторник, 12 января 2010

Objective Caml

ocaml@conference.jabber.ru

Вторник, 12 января 2010< ^ >

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

GMT+3
[00:27:21] michael.holub вошёл(а) в комнату
[01:06:05] Typhon вышел(а) из комнаты
[01:10:04] ygrek вышел(а) из комнаты
[02:33:33] michael.holub вышел(а) из комнаты
[03:05:57] Typhon вошёл(а) в комнату
[03:10:04] Typhon вышел(а) из комнаты
[03:12:39] ExplicitCall вошёл(а) в комнату
[07:54:22] iNode вышел(а) из комнаты
[07:56:21] ermine вошёл(а) в комнату
[08:14:59] geovit вошёл(а) в комнату
[08:24:03] sceptic вышел(а) из комнаты
[08:42:46] iNode вошёл(а) в комнату
[09:14:15] digital_curse вошёл(а) в комнату
[10:33:28] ygrek вошёл(а) в комнату
[10:46:45] Kakadu вошёл(а) в комнату
[11:13:32] f[x] вошёл(а) в комнату
[11:17:48] Kakadu вышел(а) из комнаты
[11:33:39] sceptic вошёл(а) в комнату
[11:37:56] ygrek вышел(а) из комнаты
[11:58:51] sceptic вышел(а) из комнаты
[12:16:53] Typhon вошёл(а) в комнату
[12:27:58] sceptic вошёл(а) в комнату
[12:58:23] <f[x]> что релиз грядущий нам готовит - type qualified constructors and records
type t1 = | A | B | C
and t2 = | A | C | D
;;
t1.^A;;
t2.^A;;
let f1_0 = function
| t1.^A -> 1
| B -> 2
| C -> 3
;;
[13:02:30] <Typhon> циркумфлексы, е!
[13:02:37] <Typhon> | C -> 3 --- t2 ?
[13:02:44] <Typhon> а не
[13:02:47] <Typhon> туплю же!
[13:04:23] <f[x]> просто возможность указать какой тип имеется ввиду если в scope конфликт имён
[13:09:34] ygrek вошёл(а) в комнату
[13:17:53] Typhon вышел(а) из комнаты
[13:38:48] <ermine> непонятно только зачем крышка
[13:39:10] <ermine> зарезервированных закорючек в камле и так предостаточно
[13:48:51] <f[x]> потому что разделение этапов - лексер/парсер/препроцессор/типовыводилка/компилятор
[13:49:54] <f[x]> иначе для того чтобы определить что значит "x.y" надо было бы смешивать разные этапы
[13:51:01] <ermine> а у рекордов ж не надо указывать ^
[13:51:38] <ermine> type abc = { a = int} in function b -> b.abc.a + 1
[13:51:57] <f[x]> это где такое*
[13:52:00] <f[x]> * ?
[13:53:05] <ermine> чо?
[13:53:37] <f[x]> b.abc.a
[13:54:25] <ermine> ну в камле ж
[13:54:40] <f[x]> сейчас нет
[13:54:46] <ermine> если имя поля конфликтует из разных модулей, то указывают имя рекорда
[13:54:57] <f[x]> не имя рекорда, а имя модуля
[13:55:14] <ermine> а, точно :)
[13:55:50] <f[x]> а эта фича на случай если два похожих record'а в одном модуле
[13:56:06] <f[x]> ..видимо
[13:57:09] <ermine> да когда ж оно выйдет
[13:57:36] <ermine> сайт камля умер - с октября ничего не менялось
[14:06:07] ygrek вышел(а) из комнаты
[16:10:29] sceptic вышел(а) из комнаты
[16:19:16] ygrek вошёл(а) в комнату
[16:42:01] sceptic вошёл(а) в комнату
[17:05:01] geovit вышел(а) из комнаты
[17:22:45] michael.holub вошёл(а) в комнату
[17:34:47] iNode вышел(а) из комнаты
[17:57:27] Typhon вошёл(а) в комнату
[18:02:39] ExplicitCall вышел(а) из комнаты
[18:03:19] ExplicitCall вошёл(а) в комнату
[18:03:42] ExplicitCall вышел(а) из комнаты
[18:25:55] iNode вошёл(а) в комнату
[18:58:58] michael.holub вышел(а) из комнаты
[19:11:35] sceptic вышел(а) из комнаты
[19:12:40] sceptic вошёл(а) в комнату
[19:16:34] Typhon вышел(а) из комнаты: Replaced by new connection
[19:16:37] Typhon вошёл(а) в комнату
[19:16:41] sceptic вышел(а) из комнаты
[19:17:00] sceptic вошёл(а) в комнату
[19:50:05] sceptic вышел(а) из комнаты
[19:54:51] sceptic вошёл(а) в комнату
[20:19:26] Typhon вышел(а) из комнаты
[20:19:43] Typhon вошёл(а) в комнату
[20:24:34] Mon вышел(а) из комнаты
[20:29:08] Typhon вышел(а) из комнаты: Replaced by new connection
[20:29:15] Mon вошёл(а) в комнату
[20:31:17] Typhon вошёл(а) в комнату
[21:07:10] Typhon вышел(а) из комнаты
[21:07:25] Typhon вошёл(а) в комнату
[21:07:37] Typhon вышел(а) из комнаты
[21:08:12] Typhon вошёл(а) в комнату
[21:46:37] ermine вышел(а) из комнаты: Replaced by new connection
[21:46:38] ermine вошёл(а) в комнату
[21:50:16] Typhon вышел(а) из комнаты: Replaced by new connection
[21:50:19] Typhon вошёл(а) в комнату
[22:17:25] Typhon вышел(а) из комнаты
[22:17:43] Typhon вошёл(а) в комнату
[22:17:51] sceptic вышел(а) из комнаты
[22:20:32] sceptic вошёл(а) в комнату
[22:42:35] Typhon вышел(а) из комнаты
[23:15:50] ExplicitCall вошёл(а) в комнату