Objective Caml - Четверг, 3 февраля 2011

Objective Caml

ocaml@conference.jabber.ru

Четверг, 3 февраля 2011< ^ >

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

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

GMT+3
[00:06:08] gds вышел(а) из комнаты
[00:39:59] serp256 вошёл(а) в комнату
[00:40:53] ermine вышел(а) из комнаты
[01:00:44] zert вышел(а) из комнаты
[01:09:53] Kakadu вышел(а) из комнаты
[01:31:46] ygrek вышел(а) из комнаты
[02:09:18] serp256 вышел(а) из комнаты
[02:44:54] Typhon вышел(а) из комнаты
[05:15:38] ftrvxmtrx вышел(а) из комнаты
[05:16:27] ftrvxmtrx вошёл(а) в комнату
[07:45:35] iNode вышел(а) из комнаты
[08:01:18] iNode вошёл(а) в комнату
[09:03:05] gds вошёл(а) в комнату
[09:49:06] ftrvxmtrx вышел(а) из комнаты
[09:56:14] ftrvxmtrx вошёл(а) в комнату
[10:14:28] serp256 вошёл(а) в комнату
[10:14:54] ygrek вошёл(а) в комнату
[10:30:05] ftrvxmtrx вышел(а) из комнаты
[10:31:34] ftrvxmtrx вошёл(а) в комнату
[10:58:44] Typhon вошёл(а) в комнату
[11:02:06] ermine вошёл(а) в комнату
[11:20:09] f[x] вошёл(а) в комнату
[11:20:37] <f[x]> gds: а ты в апстрим эти патчи не совал?
[11:29:39] <gds> f[x]: посмотрел, из патчей на сегодня остался только патч, обленивливающий чтение файлов из вкомпиленных путей.  Но не помню, последний ли camomile у меня, тогда как помню, что автор что-то подобное делал тоже, в последних версиях.  Поэтому вот так вот сходу присовывать ему патч было бы не очень умно.  А так -- разбираться надо.
[11:29:56] <f[x]> ясно, буду разбираться
[11:31:08] <f[x]> мне tools/camomilecharmap.opt кидает Sys_error
[11:36:32] <gds> может файл найти не может?  Примени патч, делающий lazy, по-любому пригодится.  Ну и проверь префиксы.  exception backtrace ещё можно.  Других идей нет сходу.
[12:03:33] zert вошёл(а) в комнату
[12:20:27] komar вышел(а) из комнаты
[12:22:43] gds вышел(а) из комнаты: Replaced by new connection
[12:22:45] gds вошёл(а) в комнату
[12:47:09] Kakadu вошёл(а) в комнату
[13:10:23] ermine вышел(а) из комнаты
[13:22:07] gds вышел(а) из комнаты
[13:22:33] gds вошёл(а) в комнату
[13:40:12] ermine вошёл(а) в комнату
[13:49:22] <gds> внезапно подумал, что мне нужен способ отображения потоков (Stream.t 'i в Stream.t 'o) через их обработку конечным автоматом.  Тип автомата -- что-то вроде:
type statemachine 'i 'o = option 'i -> (list 'o * statemachine 'i 'o);
не усложняю ли я, случаем?
парсеры не предлагать, они ниасилят разобрать ту громатеку.
[14:04:13] f[x] думает что если присмотрется то они повсюду!!111
[14:16:59] <ermine> а зачем список?
[14:17:36] <ermine> я как-то пробовала из этого сваять стрим с бэктрейсами, в итоге взяла обычные два списка
[14:18:53] <ermine> а парсер - это тот же конечный автомат, если вдуматься
[14:28:15] <gds> список -- потому что входной элемент вызывает генерацию 0..n выходных элементов.
[14:29:02] <gds> а у меня как-то получился стрим с бектрейсами, но мне _очень_ надо было.  Иначе бы тоже не получилось :)
[15:15:52] ygrek вышел(а) из комнаты: Replaced by new connection
[15:15:53] ygrek вошёл(а) в комнату
[16:25:19] gds вышел(а) из комнаты
[16:38:33] gds вошёл(а) в комнату
[16:43:21] ygrek вышел(а) из комнаты
[17:32:09] gds вышел(а) из комнаты
[18:40:38] Typhon вышел(а) из комнаты
[18:47:25] komar вошёл(а) в комнату
[18:50:43] Kakadu вышел(а) из комнаты
[19:02:09] gds вошёл(а) в комнату
[19:29:34] zert вышел(а) из комнаты
[19:31:06] iNode вышел(а) из комнаты
[19:43:50] serp256 вышел(а) из комнаты
[20:21:08] ftrvxmtrx вышел(а) из комнаты
[20:22:24] ftrvxmtrx вошёл(а) в комнату
[20:35:35] iNode вошёл(а) в комнату
[21:06:50] ftrvxmtrx вышел(а) из комнаты
[21:07:50] ftrvxmtrx вошёл(а) в комнату
[21:24:06] ygrek вошёл(а) в комнату
[21:35:01] Kakadu вошёл(а) в комнату
[22:21:09] <gds> кстати, кое-что перетащил кое-откуда в качестве относительно удобных идиом.
let forL lst func = List.iter func lst
let forA arr func = Array.iter func lst
let forStream s func = Stream.iter func s
и так далее.  Код -- вида
forA my_array & fun elem -> ...
это вышло в результате лёгкого обдумывания with-идиомы, касаемо расположения аргументов относительно пользовательской функции.
[22:30:37] <ermine> надо взять на вооружение
[22:31:27] ermine поставила себе macaque, не обошлось без пинков авторов, чтобы подогнали под камло 3.12
[22:31:55] <ermine> будем посмотреть как там фрагментные запросы на ходу дополняются фрагментами
[22:37:33] <gds> фрагментные запросы -- что это?
[22:39:11] <ermine> сочинябельные на ходу
[22:39:18] <ermine> ну я еще толком не поняла
[22:39:44] <ermine> просто так не сделаешь "select * from abc" ^ "where .."
[22:40:05] <ermine> когда оно при компиляции проверяет типы
[22:40:26] <ermine> ну macaque - это надстройка над pgocaml
[22:43:55] <gds> общую идею понял.
[22:48:27] Sergey Plaksin вошёл(а) в комнату
[23:04:35] Typhon вошёл(а) в комнату
[23:44:01] ftrvxmtrx вышел(а) из комнаты
[23:44:16] ftrvxmtrx вошёл(а) в комнату
[23:51:06] ftrvxmtrx вышел(а) из комнаты
[23:51:22] ftrvxmtrx вошёл(а) в комнату