Objective Caml - Понедельник, 17 сентября 2012

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 17 сентября 2012< ^ >

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

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

GMT+4
[00:00:01] <gds> ermine: так у тебя на Stream.t или lwt-аналогах?
[00:01:22] <ermine> gds: с похожей сигнатурой, т.е. оставила модель подкормки буфера "внутри" в функции peek
[00:01:59] <ermine> она же модель in_channel
[00:02:52] <gds> но чанковости нет.  Вот это не ок.  Я бы не брал такое в дело.
in_channel -- мда.  Либо читаем байты, либо строки по '\n', либо блоки.  В общем случае только блоки, и делаем слой поверх, чтобы эти блоки распихивать как надо.  Очень хорошо.
[00:02:54] <ermine> а сейчас затык в том, что сейчас я понимаю как с этим работать только для заданной имплементации буфферизации
[00:04:29] <gds> сопри у Lexing сигнатурку refill : unit -> unit?
[00:07:06] <ermine> а хочется сначала описать модуль юзающий Stream, Lwt, Ssl, etc и подставлять то что по типу Monadable годится, а если использовать mutable refill - то это надо как-то изготавливать калбэк куда-то где-то там, чтобы переставить refill
[00:16:10] Typhon вошёл(а) в комнату
[00:16:23] <gds> ermine: проблему понял, плохо дело.  Идей нет.  Разве что: а если в модуль, обеспечивающий данными, ввести аналог refill, да так, чтобы модуль этот сначала открывался (let open .. in), а потом там, где он открыт, тот refill и брался бы.  Например, делаешь переключение из простого сокета в ssl -- на базе текущего модуля делается новый модуль, знающий refill текущего и предоставляющий свой refill, дёргающий refill текущего.  Но мутно как-то.  И, может, я "не в ту степь".
[00:17:55] <ermine> gds: я в уме мусолю мысль с первоклассными модулями, заодно они бы позволили тип module option, чего нельзя получить от статических модулей - так явно обозначить отсутствие tls, например
[00:18:44] <ermine> тут везде придется иметь только fd "снаружи", а протокол позволяет безопасно отбрасывать уже существующие буферы
[00:19:25] <ermine> jосталось домыслить интерфейс модулей, принимающих такие транспорты
[00:20:22] <gds> не, я уже не советчик тут.  Недавно наладил режим сна, и думаю соблюсти его сейчас.
[00:22:04] <ermine> молодец :))
[00:27:09] ftrvxmtrx вошёл(а) в комнату
[00:37:43] komar вышел(а) из комнаты
[01:14:45] tilarids вышел(а) из комнаты: Machine going to sleep
[01:17:32] Kakadu вышел(а) из комнаты
[02:02:51] tilarids вошёл(а) в комнату
[02:04:20] Zbroyar вошёл(а) в комнату
[03:20:43] Zbroyar вышел(а) из комнаты
[03:58:47] letrec вошёл(а) в комнату
[03:58:57] letrec вышел(а) из комнаты
[03:59:11] letrec вошёл(а) в комнату
[04:56:08] letrec вышел(а) из комнаты
[05:39:19] klapaucius вышел(а) из комнаты
[10:03:23] komar вошёл(а) в комнату
[10:33:04] dzhon вошёл(а) в комнату
[10:45:12] klapaucius вошёл(а) в комнату
[11:17:07] Sun][ вошёл(а) в комнату
[11:31:11] ftrvxmtrx вошёл(а) в комнату
[12:43:20] Typhon вышел(а) из комнаты
[12:55:11] dzhon вышел(а) из комнаты
[12:56:23] dzhon вошёл(а) в комнату
[13:28:40] tilarids вышел(а) из комнаты: Machine going to sleep
[13:42:26] Typhon вошёл(а) в комнату
[13:56:02] tilarids вошёл(а) в комнату
[14:26:28] Typhon вышел(а) из комнаты: Replaced by new connection
[14:26:50] Typhon вошёл(а) в комнату
[14:42:51] Kakadu вошёл(а) в комнату
[15:19:04] f[x] вошёл(а) в комнату
[15:31:04] letrec вошёл(а) в комнату
[15:31:14] letrec вышел(а) из комнаты
[15:31:28] letrec вошёл(а) в комнату
[16:13:02] ftrvxmtrx вышел(а) из комнаты
[16:13:07] ftrvxmtrx вошёл(а) в комнату
[17:18:36] Typhon вышел(а) из комнаты
[17:27:18] <f[x]> Kakadu: насчёт сообщения об ошибке - пожалуйся в мантис, там недавно делали локализацию такого типа ошибок для рекордов и туплов, наверное для аргументов функции тот же принцип подойдёт
[17:28:11] <f[x]> [*00:20:22*] <gds> [...]  Недавно *наладил режим сна*, и думаю соблюсти его сейчас.
IRONY DETECTED
[17:32:55] <Kakadu> f[x]: что-то по названию визуально не найти. Есть какие-нибудь ещё подсказки?
[17:37:14] <f[x]> я уже не вспомню, запость как новый баг, сами найдут если надо
[18:16:12] Kakadu вышел(а) из комнаты
[18:17:25] Sun][ вышел(а) из комнаты
[18:19:03] komar вышел(а) из комнаты: Replaced by new connection
[18:19:04] komar вошёл(а) в комнату
[19:07:18] Kakadu вошёл(а) в комнату
[19:18:40] komar вышел(а) из комнаты: Replaced by new connection
[19:18:40] komar вошёл(а) в комнату
[19:37:24] ftrvxmtrx вышел(а) из комнаты
[19:39:28] dzhon вышел(а) из комнаты
[20:06:55] ludovik вошёл(а) в комнату
[20:20:12] tilarids вышел(а) из комнаты: Machine going to sleep
[20:44:56] ftrvxmtrx вошёл(а) в комнату
[20:56:34] letrec вышел(а) из комнаты
[21:26:27] ludovik вышел(а) из комнаты
[22:13:19] <gds> f[x]: эх, никакой эронии.  В последнее время просыпался, если брать последовательные пробуждения, в 16, 0, 22, 2, 13, 5 часов.  Отходить ко сну "когда-нибудь до утра" и просыпаться "когда-нибудь до обеда" -- это и есть режим сна.  Хотя бы так.  Последовательными приближениями.
[22:48:56] f[x] вошёл(а) в комнату
[22:49:26] <f[x]> ну последовтельность вроде сходится Ж)
[23:10:47] tilarids вошёл(а) в комнату