Objective Caml - Четверг, 31 марта 2011

Objective Caml

ocaml@conference.jabber.ru

Четверг, 31 марта 2011< ^ >

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

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

GMT+4
[00:38:55] gds вышел(а) из комнаты
[00:48:51] ygrek вышел(а) из комнаты
[00:49:15] ygrek вошёл(а) в комнату
[01:06:29] Kakadu вышел(а) из комнаты
[01:13:12] zert вышел(а) из комнаты
[01:17:59] Typhon вышел(а) из комнаты: Replaced by new connection
[01:18:02] Typhon вошёл(а) в комнату
[01:32:03] Typhon вышел(а) из комнаты
[01:32:23] Typhon вошёл(а) в комнату
[01:56:35] <Typhon> https://github.com/mathgladiator/node.ocaml внезапно нашлось вот такое.
[02:01:46] <Typhon> а есть какая-то причина, о которой я не подумал, по которой to_string из batStream реализован через to_list, а не как-нибудь иначе ( http://paste.in.ua/2024/ )
[02:01:46] f[x] вышел(а) из комнаты
[02:01:46] ygrek вышел(а) из комнаты
[02:06:46] f[x] вошёл(а) в комнату
[03:18:26] <Typhon> для Sкомбинатора кто-нибудь использует/встречал закорючку какую-нибудь?
[04:36:43] Typhon вышел(а) из комнаты
[04:55:15] Typhon вошёл(а) в комнату
[04:57:00] <Typhon> у гитхаба, btw, гламурная вика есть -- https://github.com/github/gollum вот такое на камле надо :)
[04:57:05] Typhon вышел(а) из комнаты
[06:32:42] komar вышел(а) из комнаты: Replaced by new connection
[06:32:42] komar вошёл(а) в комнату
[08:14:51] iNode вошёл(а) в комнату
[08:58:32] gds вошёл(а) в комнату
[10:28:13] ermine вошёл(а) в комнату
[11:02:28] Typhon вошёл(а) в комнату
[11:18:06] Kakadu вошёл(а) в комнату
[11:18:14] <f[x]> Typhon: думаю нет причины, "так получилось" (с)
[11:20:01] <Typhon> они ещё и в интерфейсе отсутствуют, а внутри модуля не используются :-)
[11:20:16] <Typhon> хотя to_string весьма полезная штука, как по мне
[11:22:43] <f[x]> только я не понимаю, batstream что - bcrk.xbntkmyj для char?
[11:22:50] <f[x]> * исключительно
[11:25:16] zert вошёл(а) в комнату
[11:26:12] <Typhon> нет, почему? но вот to_string для char стримов, ага
[11:27:10] <f[x]> а, ок
[11:56:29] <Typhon> хотя никто не мешает сделать с принтф или ('a -> string) версию. просто ощущение, что batStream не очень пользуются :-)
[11:59:42] <Typhon> """but after 15 years, it's just the french way : "We have good ideas, but we don't care how to sell them". """
[12:00:39] <Typhon> (из рассылки, про стдлиб и её минимальность )
[12:02:47] Kakadu большинство фраз копипастящихся сюда из рассылки не понимает
[12:31:48] <f[x]> кто-нибудь кроссбилдами увлекается тут?
[12:36:40] <Kakadu> f[x]: что тоже услышал новость про дебиан?
[12:37:01] <f[x]> ы?
[12:37:25] <Kakadu> f[x]: http://www.linux.org.ru/news/debian/6088551
[12:38:01] <f[x]> ничего так совпаденье
[12:52:58] <Kakadu> мне тут препод накатал портянку про визивиг мой. http://paste.org.ru/?19tya5 . Думаю что ему бы ответить
[12:54:56] <gds> "получиться" = fail
в остальном -- те же идеи про то, что лучше хтмл только генерить.
[12:55:51] <Kakadu> gds: да, я знаю, про этот фэйл. Но это можно потерпеть
[13:02:01] <Kakadu> ну а всё-таки - как разделять ссылки специфичные для вики от обычных?
[13:03:01] <Kakadu> идея такая: когда пихаем ссылку на вики - добавляем спецатрибут where="wiki: к <a href>...
[13:03:17] <Kakadu> но как это поддержать на уровне iframe - я хз пока
[13:04:52] <Typhon> да не надо парсить html, всё-таки.
[13:05:25] <Kakadu> Typhon: а как?
[13:06:23] <Typhon> http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/2011/03/29.html#13:23:11.77363 — как-то так, например
[13:08:18] <Typhon> причём, вероятно, если сама вика есть, то какое-то там дерево есть. и оно даже должно хтмл генерить уметь.
[13:08:23] <Kakadu> Typhon: имхо, это будет существенно геморнее
[13:11:19] <Typhon> подход с генерацией хтмла и его парсингом плох из-за неинъективности (wiki -> html ). хотя, конечно, можно содержимое конкретно урла парсить и сверять с wiki_url или google_url и т.д.  подход с деревом кажется более правильным
[13:17:28] <Kakadu> Typhon: я уточню что сейчас html не парсится, а обходится дом-дерево , по которому генерится вики-разметка. выхлоп в виде html получается совершенно спонтанно засчет объекта iframe и он не используется более чем для проверки правильности того, как нагенерилось
[13:34:37] gds вышел(а) из комнаты
[13:57:09] <f[x]> https://sympa-roc.inria.fr/wws/arc/caml-list/2011-03/
[13:57:16] <f[x]> ?
[13:57:37] <f[x]> а, там по страницам разбито, во уродство
[14:14:15] <Typhon> f[x]: какой топик смотреть надо? :-) мылолист отвратительный, ага. старый с NaNами был удобнее
[14:14:40] <f[x]> та не, никакой, это я случайно попал и удивился
[14:58:12] komar вышел(а) из комнаты: Replaced by new connection
[14:58:13] komar вошёл(а) в комнату
[15:28:48] gds вошёл(а) в комнату
[17:24:58] iNode вышел(а) из комнаты
[17:45:48] Kakadu вышел(а) из комнаты
[18:20:53] <f[x]> вообще я с этого hudson/jenkins'а фигею - rss 360M, две qemu-машины билдеры в сумме меньше занимают
[19:08:21] <gds> представим себе такую штуку.  Есть "сервер сообщений", который логически отделён от остального, при этом весьма целостен изнутри.  Приведу тупой нереальный пример (у меня другой), но, допустим, юниксовые open/read/write/close реализовали в виде сервера, принимающего [= `Open of filename | `Read of bytes_count | `Write of string | `Close of handle ] и возвращающего [= `Opened of handle | `Read of string | `Written | `Closed ].
Жопа же.  Либо писать обёртки типа value open_file fn = call server (`Open fn) >>= fun [ `Opened handle -> return handle | `Read _ | `Written | `Closed -> error "invalid server reply" ], либо подобный же матчинг делать в каждой вызывающей функции.
Где-то тут видны уши GADTs.  Где-то прикидываю, что можно разбить это "апи" на запись/объект/модуль из разных "серверов" с нормальной проверкой типов.  Возможно есть смысл разбить это на разные "сервера", типа server_open : server filename handle, server_read : server bytes_count string и так далее, но криво, так как состояние у них одно, внутренности одни и те же, инкапсуляцию не хочу ломать.  Может попробовать как-то из одного сервера с заданным состоянием породить несколько серверов, имеющих то же самое состояние, но чоткие типы (как server_open, server_read).  Эдакие мультиплексор и демультиплексор на входе и выходе соответственно.
[19:15:08] <f[x]> tl;dr
[19:15:48] iNode вошёл(а) в комнату
[19:23:05] <Typhon> gds: мне последний подход импонирует. типа есть файл (сервер) и есть хэндлы на чтение/запись.
[19:24:38] <gds> f[x]: прекрасно понимаю.  однако, формально, окамла касается, потому и пишу.  даже не рассчитываю на ответ, в целом.
[19:26:29] <gds> Typhon: так сейчас у всех раскладов получаются хендлы, передаваемые туда-сюда между процессами.  А вот как сделать так, чтобы не пришлось выписывать, что "если делаем open, значит передаём filename и получаем `Opened handle, но ни в коем случае не можем получить `Written".
[19:48:11] ftrvxmtrx вышел(а) из комнаты
[19:48:39] ftrvxmtrx вошёл(а) в комнату
[20:32:22] Typhon вышел(а) из комнаты
[20:45:17] Kakadu вошёл(а) в комнату
[20:45:20] bobry вышел(а) из комнаты
[22:00:34] arhibot вошёл(а) в комнату
[22:01:42] Typhon вошёл(а) в комнату
[22:36:40] ygrek вошёл(а) в комнату
[22:39:48] ermine вышел(а) из комнаты
[23:49:19] arhibot вышел(а) из комнаты