Objective Caml - Четверг, 22 июля 2010

Objective Caml

ocaml@conference.jabber.ru

Четверг, 22 июля 2010< ^ >

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

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

GMT+4
[00:15:24] Typhon вышел(а) из комнаты: Replaced by new connection
[00:15:27] Typhon вошёл(а) в комнату
[00:16:23] Typhon вышел(а) из комнаты: Replaced by new connection
[00:16:26] Typhon вошёл(а) в комнату
[00:30:38] Typhon вышел(а) из комнаты: Replaced by new connection
[00:30:41] Typhon вошёл(а) в комнату
[00:42:49] Typhon вышел(а) из комнаты
[00:43:53] Typhon вошёл(а) в комнату
[00:51:37] ermine вышел(а) из комнаты
[00:52:37] Typhon вышел(а) из комнаты: Replaced by new connection
[00:52:40] Typhon вошёл(а) в комнату
[00:52:54] Typhon вышел(а) из комнаты
[00:53:10] Typhon вошёл(а) в комнату
[01:01:41] Typhon вышел(а) из комнаты: Replaced by new connection
[01:01:44] Typhon вошёл(а) в комнату
[01:04:41] Typhon вышел(а) из комнаты: Replaced by new connection
[01:04:44] Typhon вошёл(а) в комнату
[01:06:47] zert вышел(а) из комнаты
[01:24:54] Typhon вышел(а) из комнаты
[01:37:42] Mon вышел(а) из комнаты
[01:38:11] Mon вошёл(а) в комнату
[01:42:40] Mon вышел(а) из комнаты: Replaced by new connection
[01:42:43] Mon вошёл(а) в комнату
[01:46:33] Typhon вошёл(а) в комнату
[01:47:59] Mon вышел(а) из комнаты: Replaced by new connection
[01:48:05] Mon вошёл(а) в комнату
[01:53:16] Mon вышел(а) из комнаты
[01:55:27] Mon вошёл(а) в комнату
[02:05:06] Mon вышел(а) из комнаты
[02:16:34] Mon вошёл(а) в комнату
[02:21:50] Mon вышел(а) из комнаты
[02:24:06] vshender вошёл(а) в комнату
[02:26:08] gds вышел(а) из комнаты
[02:26:58] Mon вошёл(а) в комнату
[02:33:28] Mon вышел(а) из комнаты
[02:38:26] Mon вошёл(а) в комнату
[02:40:03] Typhon вышел(а) из комнаты: Replaced by new connection
[02:40:21] Typhon вошёл(а) в комнату
[02:41:37] Mon вышел(а) из комнаты
[02:42:38] Mon вошёл(а) в комнату
[02:46:31] Mon вышел(а) из комнаты
[02:53:11] Mon вошёл(а) в комнату
[02:58:31] Mon вышел(а) из комнаты
[03:05:00] Typhon вышел(а) из комнаты: Replaced by new connection
[03:05:03] Typhon вошёл(а) в комнату
[03:05:19] Typhon вышел(а) из комнаты
[03:05:35] Typhon вошёл(а) в комнату
[03:08:56] Typhon вышел(а) из комнаты: Replaced by new connection
[03:09:00] Typhon вошёл(а) в комнату
[03:14:48] vshender вышел(а) из комнаты
[03:15:30] Mon вошёл(а) в комнату
[03:48:20] Typhon вышел(а) из комнаты
[03:50:32] Typhon вошёл(а) в комнату
[03:53:28] Typhon вышел(а) из комнаты: Replaced by new connection
[03:53:31] Typhon вошёл(а) в комнату
[04:00:55] Typhon вышел(а) из комнаты: Replaced by new connection
[04:00:58] Typhon вошёл(а) в комнату
[04:01:03] Typhon вышел(а) из комнаты
[04:01:20] Typhon вошёл(а) в комнату
[04:09:53] Typhon вышел(а) из комнаты: Replaced by new connection
[04:09:56] Typhon вошёл(а) в комнату
[04:10:07] Typhon вышел(а) из комнаты
[04:10:33] Typhon вошёл(а) в комнату
[04:18:42] Typhon вышел(а) из комнаты
[04:19:12] Typhon вошёл(а) в комнату
[04:20:26] Typhon вышел(а) из комнаты
[05:24:38] iNode вышел(а) из комнаты
[07:27:48] iNode вошёл(а) в комнату
[08:59:30] gds вошёл(а) в комнату
[09:57:17] serp256 вошёл(а) в комнату
[10:08:43] ermine вошёл(а) в комнату
[10:25:12] arhibot вошёл(а) в комнату
[10:41:10] ermine вышел(а) из комнаты
[10:41:12] ermine вошёл(а) в комнату
[10:42:28] arhibot вышел(а) из комнаты: Replaced by new connection
[10:42:30] arhibot вошёл(а) в комнату
[10:46:53] komar вышел(а) из комнаты
[10:48:28] arhibot вышел(а) из комнаты: Replaced by new connection
[10:48:34] arhibot вошёл(а) в комнату
[10:59:43] ʇsʎɯ вошёл(а) в комнату
[11:01:58] vshender вошёл(а) в комнату
[11:05:33] komar вошёл(а) в комнату
[11:14:07] arhibot вышел(а) из комнаты: Replaced by new connection
[11:14:08] arhibot вошёл(а) в комнату
[11:15:31] Typhon вошёл(а) в комнату
[11:28:27] arhibot вышел(а) из комнаты
[11:28:28] arhibot вошёл(а) в комнату
[11:29:47] arhibot вышел(а) из комнаты
[11:47:41] arhibot вошёл(а) в комнату
[12:27:14] arhibot вышел(а) из комнаты
[12:27:44] arhibot вошёл(а) в комнату
[12:37:37] arhibot вышел(а) из комнаты
[12:37:43] arhibot вошёл(а) в комнату
[12:42:52] gds вышел(а) из комнаты
[12:43:11] gds вошёл(а) в комнату
[12:44:13] vshender вышел(а) из комнаты
[12:48:13] arhibot вышел(а) из комнаты
[12:48:50] arhibot вошёл(а) в комнату
[13:09:21] arhibot вышел(а) из комнаты
[13:13:58] arhibot вошёл(а) в комнату
[13:31:41] zert вошёл(а) в комнату
[14:41:47] rexim вошёл(а) в комнату
[14:42:55] rexim вышел(а) из комнаты: offline
[14:55:22] arhibot вышел(а) из комнаты
[15:32:50] valexey вошёл(а) в комнату
[16:36:06] valexey вышел(а) из комнаты
[16:36:14] arhibot вошёл(а) в комнату
[17:05:12] arhibot вышел(а) из комнаты
[17:24:41] arhibot вошёл(а) в комнату
[17:24:46] arhibot вышел(а) из комнаты
[17:30:57] gds вышел(а) из комнаты
[18:36:14] gds вошёл(а) в комнату
[19:40:05] serp256 вышел(а) из комнаты
[20:05:38] Typhon вышел(а) из комнаты
[20:13:12] arhibot вошёл(а) в комнату
[20:24:17] arhibot вышел(а) из комнаты
[20:26:35] arhibot вошёл(а) в комнату
[20:53:37] arhibot вышел(а) из комнаты
[20:57:14] <ermine> кто-нибудь вживую уже юзал приватные типы вкупе с фантомными вариантами?
[20:57:26] <ermine> с фантомными вариантными типами
[20:57:42] ermine щас приступит к освоению этого вида секса
[20:57:59] zert не юзал
[20:58:05] <ermine> gds: привет, молчальник
[20:58:17] <ermine> zert: а ты дописал asn.1?
[20:58:32] <zert> запарился
[20:58:41] <zert> сейчас уволился, так что допишу скоро :))
[20:58:49] <zert> разбор только сделал
[20:58:57] <zert> на куче тестов проходит нормально
[20:59:03] <zert> но всё равно не полностью
[20:59:14] <gds> ermine: привет.  не юзал.  вообще приватные типы пока не были особо нужны.
[20:59:15] <zert> т.е. дерево практически есть
[20:59:23] <zert> можно делать генераторы
[20:59:41] ʇsʎɯ вышел(а) из комнаты
[21:00:19] <ermine> из доки нашла только в главе 7 в самом конце абзацик
[21:00:49] <ermine> а больше наверное нигде нет в туториалах
[21:01:04] <gds> мне чо не нравится в приватных+фантомных, так это http://ocaml.janestreet.com/?q=node/59 , искать по строке "I hope that this bug remains a feature..."
[21:02:13] <ermine> gds: а я все еще воюю с моим полиформным биндингом к bdb, только теперь уже с новым левелом секса
[21:02:18] <gds> у меня сейчас скорее в другую сторону идёт -- децентрализация, развязка кода, а это полиморфные варианты и объекты.
[21:02:30] <gds> а что там с биндингами, где не поддаются?
[21:05:17] <ermine> type ('a, 'b) db где 'a может быть int или string, 'b может быть string, int, или none
val get : ('a, 'b) db -> 'a -> string где пофигу какой 'b
val pget : ('a, 'b) db -> 'a -> 'b где 'b не может быть none
[21:05:41] <ermine> и везде 'a не может быть none
[21:06:21] <ermine> по-человечески 'a - ключ базы, 'b - ключ примари базы, если эта база была подцеплена как индекс примарной базы
[21:07:15] <ermine> none в 'b - база не является чьим-либо индексом
[21:08:31] <ermine> gds: ты понял?
[21:08:47] <gds> задачу -- да, решение -- пока нет.
[21:09:42] <ermine> а я вообще боялась подумать об решении
[21:10:03] <gds> самое тупое не-решение -- сделать разные pget_int + pget_string с явно прописанным 'b.
[21:10:42] arhibot вошёл(а) в комнату
[21:11:18] <ermine> это типизация путем "упадет - не упадет"
[21:11:45] <gds> нет же.
[21:12:17] <gds> val pget_int : ('a, int) db -> 'a -> int
val pget_string : ('a, string) db -> 'a -> string
[21:12:34] <ermine> ну тут не сказано про функцию associate, которая потом создает индекс и делает ('a, 'b), где нет none
[21:12:56] <ermine> глядя на ее результат выбирается pget_string, pget_int
[21:13:36] <ermine> попробую все же эти констраинтные типы, авось чонить пойму почему работает или нет
[21:13:50] <gds> для вышеописанной задачи, если предлагать решение, то самое простое -- добавить третий типовый параметр 'c, который может быть not_none или 'c, и там, где не важно, сделать ('a, 'b, 'c) db, а там, где важно не-none, сделать ('a, 'b, not_none) db.
[21:14:53] <gds> constraint -- о да, полезно, но там не бывает условий вида " 'a = string || 'a = int ".
[21:16:01] <ermine> а `String of string как-нить того, этого, хотя применять лишнюю функцию девариантизации аргумента тоже лениво
[21:16:46] <ermine> а тут еще жара, к медитации не располагает
[21:17:48] zert вышел(а) из комнаты
[21:20:04] <gds> у меня дома вчера было +38, так что не надо жаловаться :)
а вот насчёт `String -- можно попробовать
type ('a, 'b, 'c) db = ... constraint 'b = [ `String of 'c ]
и далее ограничивать всё типом 'c, но я не уверен в том, что это прокатит, и что это сколько-нибудь полезно.  Думай...
[21:21:30] zert вошёл(а) в комнату
[21:21:41] <gds> точнее, constraint 'c = [ `String of 'b ], по логике.  Насчёт синтаксиса тоже не уверен, ясное дело.
[21:21:45] <ermine> да я щас просто поиграю с тем, что нопесано в 7 главе
[21:21:56] <ermine> просто в примере, чтобы проникнуться
[21:22:10] <gds> какая такая 7ая глава?
[21:23:22] <ermine> Chapter 7  Language extensions
[21:36:25] <ermine> тяжко
[21:49:51] <ermine> вот там сбивает с толку наличие и отсутствие аргумента
[22:24:20] <ermine> мощно
[22:24:26] <ermine> скомпилилось
[22:24:51] <ermine> правда теперь есть некрасивость в виде (`String "abc")
[22:30:16] <ermine> это можно пофиксить еще одним уровнем модулей
[22:54:27] rexim вошёл(а) в комнату
[22:58:19] arhibot вышел(а) из комнаты
[23:26:36] arhibot вошёл(а) в комнату
[23:37:37] gds вышел(а) из комнаты
[23:44:11] Typhon вошёл(а) в комнату
[23:55:51] arhibot вышел(а) из комнаты