Objective Caml - Вторник, 8 марта 2011

Objective Caml

ocaml@conference.jabber.ru

Вторник, 8 марта 2011< ^ >

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

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

GMT+3
[00:02:19] Typhon вышел(а) из комнаты
[00:27:51] ermine вышел(а) из комнаты
[00:34:54] zert вышел(а) из комнаты
[01:12:17] Kakadu вышел(а) из комнаты
[01:22:44] arhibot вошёл(а) в комнату
[01:55:02] Typhon вошёл(а) в комнату
[02:11:19] arhibot вышел(а) из комнаты
[02:11:22] arhibot вошёл(а) в комнату
[02:45:14] Typhon вышел(а) из комнаты
[02:47:06] arhibot вышел(а) из комнаты
[03:01:07] ftrvxmtrx вышел(а) из комнаты
[03:02:44] ftrvxmtrx вошёл(а) в комнату
[03:03:16] ftrvxmtrx вышел(а) из комнаты
[03:03:31] ftrvxmtrx вошёл(а) в комнату
[09:09:12] iNode вошёл(а) в комнату
[09:37:28] komar вышел(а) из комнаты: Replaced by new connection
[09:37:28] komar вошёл(а) в комнату
[09:51:55] Kakadu вошёл(а) в комнату
[10:37:31] Kakadu вышел(а) из комнаты
[10:38:59] Kakadu вошёл(а) в комнату
[10:43:03] ygrek вошёл(а) в комнату
[11:16:47] ftrvxmtrx вышел(а) из комнаты
[11:34:41] Kakadu вышел(а) из комнаты
[11:39:19] ermine вошёл(а) в комнату
[11:47:43] Kakadu вошёл(а) в комнату
[11:54:48] Kakadu вышел(а) из комнаты
[11:57:01] Kakadu вошёл(а) в комнату
[12:25:47] Typhon вошёл(а) в комнату
[12:38:44] arhibot вошёл(а) в комнату
[13:02:38] <Kakadu> ermine: Весь чатик тебя поздравляет с 8 марта. Оставайся всегда с нами, иначе без элегантной женской мысли мы только и будем бегать вокруг: опплеванные и без бубна.
[13:12:24] <ermine> хех, как это без бубна?
[13:12:30] <ermine> Kakadu: спасибо :)
[13:12:48] <ermine> камло - это один сплошной бубенчик
[14:37:53] <Kakadu> Эх, где же спецфикация синтаксиса wiki. в дарксе одним способом работает, на сайте пример вики другим способом. Редактирование вики на ocamlforge - третьим
[14:46:43] ygrek вышел(а) из комнаты
[15:23:21] <ermine> Kakadu: на вики нет стандарта
[15:23:50] <Kakadu> ясно
[15:24:01] <ermine> надо у аффтаров конкретного вики, если вики публичное на сайте, (а не как пример вики), требовать описания
[15:38:07] ygrek вошёл(а) в комнату
[16:12:28] ftrvxmtrx вошёл(а) в комнату
[16:32:02] ygrek вышел(а) из комнаты
[16:32:07] ygrek вошёл(а) в комнату
[16:45:00] <gds> кривизна detected:
let () = Printexc.register_printer (fun e -> Some "e");;
let () = Printf.printf "%s\n" (Printexc.to_string Exit);;
let () = raise Exit;;
выдаёт:
e
Fatal error: exception Pervasives.Exit
то есть, generic exceptions printer не использует Printexc.to_string и вообще зарегистрированные функции.  Очень приятно.
[16:46:55] <gds> может в рассылку присунуть по этому поводу?
[16:48:49] <ermine> а если exception Gds?
[16:49:28] <ygrek> поищи в мантисе
[16:49:56] <ygrek> кривизна конечно
[16:50:37] <ygrek> хотя тут интересный вопрос зацикливания
[16:50:57] <ygrek> let () = Printexc.register_printer (fun e -> Printexc.to_string e);;
[16:55:21] <gds> ygrek: если не брать зацикливание и попробовать распечатать
exception E0 of string
exception E1 of exn
register_printer & fun [ E0 s -> s | E1 e -> "q" ^ (Printexc.to_string e) ]
, то всё работает -- это не указано в доке, но проверил специально.
[16:55:23] <gds> ermine: проверил, exception Gds тоже печатается так.  Но в теории могло оказаться, что исключение типа-специальное, это да.
[16:59:47] <gds> ygrek: поискал, http://caml.inria.fr/mantis/view.php?id=5040 , увидел тебя в мониторящих, из стадного чувства нажал "monitor this issue".  Хорошо хоть дело некритичное для меня, иначе бы пришлось патчить реально.
[17:05:02] Kakadu совсем забыл как создавать объекты в камле... Надо вправить мозг
[17:09:12] <Typhon> Kakadu, http://mirror.ocamlcore.org/ocaml-tutorial.org/objects.html
[17:30:34] <Kakadu> да я просто не понимаю как в js_of_ocaml создать iFrame
[17:30:59] <Kakadu> класс есть. конструктора не вижу. Кто возвращает этот класс - тоже не вижу
[17:31:33] <gds> "new имякласса"?
[17:33:04] <Kakadu> class unbound
[17:33:49] <gds> new Путь.Из.Модулей.имякласса?
[17:34:17] <gds> И.Опционально(Из.Функторов)
[17:35:17] <gds> (хотя вот про функторы -- не уверен)
[17:35:39] <Kakadu> module Html = Dom_html
...
  let iframe = new Dom_html.iFrameElement in
[17:36:13] <Kakadu> эх, был бы под рукой окамльбраузер
[17:36:51] <Typhon> а зачем окамль браузер? ( http://ocsigen.org/js_of_ocaml/doc/api/1.0/Dom_html.iFrameElement.html )
[17:37:07] <gds> можно в топлевеле попробовать module Q = Dom_html;; и посмотреть, что ищется по подстроке "iFrameElement"
[17:37:51] <Kakadu> Typhon: согласно мануалу я пишу правильно, но мануал не гарантирует что у меня верные classpath
[17:40:23] <ermine> там надо ## употреблять
[17:40:41] <ermine> синтакстическое расширение такое
[17:40:51] <ermine> (gds, отвернись)
[17:41:18] <Kakadu> сейчас буду применять метод научного тыка
[17:41:28] <gds> да чо, если расширение нормальное, чего бы и не.
[17:42:14] <Kakadu> ermine: а можно 50 на 50?
[18:06:57] <Kakadu> короче они попросту забыли функцию создания выдернуть в млишник
[18:07:02] <Kakadu> потому её и не было в доках
[18:15:32] <ermine> создания кого?
[18:15:51] <ermine> jsnew может все же
[18:16:00] <Kakadu> Iframe
[18:16:58] <Kakadu> строчки 954-957 из dom_html.ml не вытащены в dom_html.mli
[18:18:18] ygrek вышел(а) из комнаты: Replaced by new connection
[18:18:20] ygrek вошёл(а) в комнату
[18:53:37] <Typhon> gds, а насколько parvel ща рабоч? хочу чтобы собирался, отправлял/принимал мессаги одному/нескольким процессам (внутри одного физ. процесса) -- хочу на нём набросать алгоритм.
[18:58:08] <gds> Typhon: я не могу его потестировать, ибо меня отвлекли на то, что к нему не относится.  Если у тебя есть желание оформить message passing на окамле, давай задачу.  Наверное, даже в чятике покатит, ибо окамл же, да и мнения людей интересны.  Мне по-любому надо его довести до рабочего вида.
Оно компилировалось точно, но последние проблемы были в том, что выход процесса вызывает выход всех тредов, в том числе тех, которые не обработали сообщения.  Не знаю, что делать.
[18:59:03] <gds> плюс к тому, смотри апи.  Там оно -- надтип того, что подходит для моих целей и для многих целей кроме моих, но из-за того, что надтип как бы, оно совершенно неполное.  Добавлял специально только нужное.
[19:14:31] <gds> Typhon: надо на реальных штуках делать параллельный велосипед, поэтому давай задачу, и будем думать.  Вплоть до того, чтобы ломать всё нафиг.
[19:15:51] <Typhon> я пока читаю paxos-папиры, есть желание в коде это воплотить, для закрепления. оно не то чтобы совсем реальная задача, но может быть ок.
[19:34:13] <gds> посмотрел http://en.wikipedia.org/wiki/Paxos_algorithm , но не понимаю, зачем точно нужно.  Я сейчас тупой.  Однако, как понял из алгоритма, всё там на message passing, поэтому было бы хорошо общую хрень оформить, которая этими сообщениями заведовала бы.  И не говорю, что мой кодэ хорош и/или корректен -- перепишем при нужде.
[19:37:27] <Kakadu> gds: вроде на пальцах понятно... одинаковые результаты приходят из нескольких мест. Если они различаются, то надо как-то определять правильный вариант
[19:40:34] <Typhon> из работ надо смотреть http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html#paxos-simple , http://labs.google.com/papers/paxos_made_live.html и http://www.ioremap.net/cgi-bin/gitweb.cgi?p=paxos.git;a=summary;  пожалуй
[19:42:10] <Typhon> оригинальная статьи мудрёна слишком (хотя мне ща и made simple не целиком понятен: алгоритм консенсуса -- ок, но остальное, что написано -- нет, и типа цельной картинки нет. буду перечитывать, смотреть кодэ е. полякова.)
[19:44:18] <Typhon> http://www.ioremap.net/node/485
[19:48:50] Typhon вышел(а) из комнаты: Replaced by new connection
[19:48:56] Typhon вошёл(а) в комнату
[19:49:13] Typhon вышел(а) из комнаты
[19:49:35] Typhon вошёл(а) в комнату
[19:50:58] Typhon вышел(а) из комнаты
[20:07:30] ygrek вышел(а) из комнаты
[20:07:38] ygrek вошёл(а) в комнату
[21:28:28] zert вошёл(а) в комнату
[21:34:59] arhibot вышел(а) из комнаты
[22:46:28] arhibot вошёл(а) в комнату
[23:03:32] arhibot вышел(а) из комнаты