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

Objective Caml

ocaml@conference.jabber.ru

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

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

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

GMT+3
[00:03:05] <Kakadu> а чем камлёвая типизация отличается от утиной?
[00:03:12] Typhon вышел(а) из комнаты
[00:04:16] <Kakadu> что-то прочитал и ничего не понял...(
[00:05:38] Typhon вошёл(а) в комнату
[00:08:03] <Kakadu> по-видимому философия людей из ирке закключается в том, что не стоит указывать конкретный тип, а всегда надо указтывать набор методов обЪекта . Следовательно, утиный стиль
[00:08:05] <gds> в окамле типизация строгая, её пытаются доказывать даже (не всегда получается, ибо там сложный код отвечает за неё), и она и есть утиная.
[00:08:57] <gds> у них философия такая: сначала попробуем отсеять нубов, а потом, если они полностью опишут проблему, тогда и попробуем что-то сказать.
[00:09:48] <Kakadu> т.е. проблема заключается в том, что если в базовом классе тип указаны не по-утиному, то отнаследоваться и передавать потомки туда не получится............
[00:10:26] <Kakadu> интересно, как в фэшарпе с этим
[00:11:05] <gds> ага, тоже так думаю.  Однако дублировать описания не хотел, поэтому сперва попробовал параметризацию.  И получилось: http://paste.in.ua/1948/
Не сказать, что элегантно, но типизируется/компилируется, по крайней мере.
[00:11:31] <gds> тьфуты, там криво скопипастил.
[00:11:42] <Kakadu> жду норм ссылку
[00:14:55] <Kakadu> хотя ладно, не хжду
[00:16:26] <gds> http://paste.in.ua/1949/
[00:16:56] <gds> пофиг, мне самому нужен был законченный пример.
[00:27:32] Kakadu вышел(а) из комнаты
[00:28:37] <Typhon> "#OCaml+#ZeroMQ+#Thrift is an awesome replacement for #Erlang!" сообщает нам joel reymont!
[00:30:37] <gds> конкретно этот жоэль может нам многое сообщить!  порадуемся за него!
с другой стороны, несмотря на его забавную историю, я склонен ему верить в этом вопросе.
[00:32:20] <Typhon> вот только про thrift были какие-то нехорошие, кажется, новости, надо порыться в валкине -- он что-то писал.
[00:33:47] <gds> тоже интересно.  Однако выражаешься как заправский патологоанатом :]
[00:38:08] <zert> тут надо уточнить, в каком месте это awesome replacement
[00:38:30] <zert> а то может там и перл с вебсокетами тоже будет awesome replacement
[00:46:57] <Typhon> лионет tl;dr в конец пихнул, негодяй, пришлось всё читать. а тлдр такой:
"""Thrift specification underspecifies several important aspects of the description language semantics. The Thrift target language code generators are inconsistent in the way they treat certain parts of the specification. I made an attempt to make the OCaml generator produce a bit safer and compliant code, and am sharing a patch with you.""" -- с required/default/optional там проблемы.
[00:47:03] <Typhon> zert, для опенпокер, наверное %)
[00:47:56] <zert> о, надо ж на письмо ответить
[00:48:20] <zert> мне какие-то утырки предложили ехать в бразилию или флориду писать им покерный сервак на ерлангие
[00:48:48] <Typhon> ну так, продай им опенпокер, чо
[00:49:04] <zert> я сначала думал, что предлагают дать бобла, а я чтобы разработку организовал, а они меня оказывается нанять на фултайм хотят
[00:49:16] <zert> да не, там интеграцие всякое нужно
[00:49:28] <zert> вот не знаю, что написать
[00:49:44] <Typhon> скажи, что ты придешь посмотреть за и счёт в бразилию ^_^
[00:49:46] <zert> там какой-то школостартаб
[00:49:49] <Typhon> *их
[00:49:58] <zert> у CEO почта на msn.com
[00:50:03] <zert> у CTO на gmail.com
[00:50:08] <zert> больше, наверное, никого нет
[00:50:10] <zert> и ничего
[00:51:03] <Typhon> спроси у них контакты да в рассылку положи, может кому интересно будет таки ?
[00:51:15] <Typhon> *спроси не против ли они -- наверное так.
[00:53:34] <Typhon> zert, а ты asn1 цомпелятор для окамла делал или на, но генерил сишку?
[00:56:02] <zert> делал, но до генерации не дошёл
[00:56:07] <zert> генерить хотел окамлие
[00:57:40] <Typhon> ygrek, в том тредике, тоже плохо отзывается о thrift
[01:07:54] gds вышел(а) из комнаты
[01:23:18] komar вышел(а) из комнаты
[02:21:17] zert вышел(а) из комнаты
[02:33:29] ftrvxmtrx вышел(а) из комнаты
[03:18:49] Typhon вышел(а) из комнаты
[06:26:28] ftrvxmtrx вошёл(а) в комнату
[06:26:48] f[x] вышел(а) из комнаты
[08:54:53] gds вошёл(а) в комнату
[09:07:37] f[x] вошёл(а) в комнату
[10:02:32] ermine вошёл(а) в комнату
[10:53:13] Typhon вошёл(а) в комнату
[11:33:53] komar вошёл(а) в комнату
[11:34:50] Kakadu вошёл(а) в комнату
[11:48:12] <Typhon> в случае если вы не видели — камло бложек http://suffix.com/ которого нет, вроде бы, в planetocaml
[11:54:21] <Typhon> http://search.ocaml.jp/ — ( онлайн версия https://github.com/mzp/ocaml-hoogle )
[12:22:47] gds вышел(а) из комнаты
[13:38:24] zert вошёл(а) в комнату
[13:45:47] gds вошёл(а) в комнату
[13:56:28] <Kakadu> mzp прикольно сделал
[13:56:37] <Kakadu> вот если бы там ещё больше библиотек было
[13:57:52] <Typhon> вот если бы он ещё японский забыл и на английском комментил :)
[13:58:40] <Kakadu> надо его спросить о том, как туда добавить индексацию большего числа библиотек
[13:58:54] <Kakadu> а то я в последнее время никак не могу ocamlbrowser установить
[14:00:03] <Typhon> Kakadu: http://neilmitchell.blogspot.com/2011/03/hoogle-for-your-language-ie-f-scala-ml.html
[14:10:30] <Kakadu> Typhon: а сейчас хугл поддерживает  только х-ь?
[14:10:41] <Typhon> угу
[15:13:30] <Kakadu> я где-то слышал что Lwt под цигвином не работает. Это правда?
[15:22:11] <Typhon> может быть, у игрека, кажется, гадзон был с цигвинутым окамлом, может там и лвт крутится? под мингв работает, если новые релизы не поломали это
[15:33:16] <Kakadu> у меня libev не собирается
[15:33:30] <Typhon> там не обязательно либев, они ж замутили
[15:33:36] <Typhon> в свежих версиях
[15:33:56] <Typhon> с либевом на винде не видел, ни под цигвин, ни под мингв — либев как-то фигово под вендой, насколько известно
[15:34:02] <Kakadu> ну README они вроде не поправили
[15:34:09] <Typhon> попробуй из даркса взять и посмотреть, что они там позволяют
[15:34:40] <Kakadu> ну я оттуда и беру
[15:44:36] ftrvxmtrx вышел(а) из комнаты
[16:14:37] <Kakadu> не, всё-таки libev нужна
[16:14:47] <Kakadu> хочет он её
[16:16:30] <Typhon> Kakadu: http://ocsigen.org/lwt/sources/?version=20110206224624-c41ad-d4a300bee369a394b2cc9f204cee2ce785495076.gz
[16:16:45] <Typhon> allow to replace libev by another engine <http://ocsigen.org/lwt/sources/?version=20110206224624-c41ad-d4a300bee369a394b2cc9f204cee2ce785495076.gz>
Jeremie Dimino
Sun Feb 6 23:46:24 CET 2011
[16:18:51] <Kakadu> и чем же её заменять?
[16:19:41] <Typhon> селектом, видимо
[16:19:45] <Typhon> https://sympa.mancoosi.univ-paris-diderot.fr/wws/arc/ocsigen/2011-02/msg00020.html
[16:19:47] <Typhon> вот кусок переписки рилейтед
[16:19:53] <Typhon> но архивы ооочень тухлые
[16:21:43] <Kakadu> чтобы читать нужен пароль, да?
[16:22:06] <Kakadu> ааа
[16:22:11] <Kakadu> кнопочку про спам
[16:22:17] <Typhon> http://paste.in.ua/1957/
[16:37:11] <Typhon> есть версия, что они апи то замутили для смены евент дживка, но билдпроцесс не обновили соответствующе, но могу ошибаться
[16:38:10] <Typhon> http://ocsigen.org/lwt/sources/src/unix/lwt_engine.ml?view=content  line 370
[16:40:54] <Kakadu> ща попробую
[16:43:43] <Kakadu> это я попроавил, но видимо надо ещё разрулить с pthread
[17:35:40] <gds> http://paste.in.ua/1958/  страшно?  А мы попытаемся с этим взлететь.
[17:37:12] <Typhon> это к чему такое? :)
[17:38:09] <f[x]> ужс
[17:40:01] <gds> это к dbi.
[17:40:23] <gds> ужос, знаю.  Зато расширяемый, можно даже сказать экспансивный ужос.
[17:40:33] <gds> расширяющийся, во.
[17:42:12] <f[x]> захватывающий
[17:42:19] <gds> заворачивающий!11
[17:52:13] Kakadu вышел(а) из комнаты: Replaced by new connection
[17:52:14] Kakadu вошёл(а) в комнату
[17:57:41] <gds> а вот и не взлетим, так как некоторые методы работают с массивами значений типов 'v и 'p, а тип элементов массива -- инвариантный.  А если бы были "массивы только для чтения" и "массивы только для записи", всё могло бы сложиться совсем по-другому.  А списки не хочу, ибо там цель -- минимизировать затраты (в том числе работу мусорщика), а пересоздание списков может быть долгим.
[17:58:04] Kakadu вышел(а) из комнаты: Replaced by new connection
[17:58:04] Kakadu вошёл(а) в комнату
[18:08:31] genieprox вошёл(а) в комнату
[18:27:51] <genieprox> зштп
[18:27:55] <genieprox> упс
[18:39:57] genieprox вышел(а) из комнаты
[18:54:17] Typhon вышел(а) из комнаты
[19:01:09] Kakadu вышел(а) из комнаты
[19:01:45] genieprox вошёл(а) в комнату
[19:03:18] genieprox вышел(а) из комнаты
[20:15:43] Kakadu вошёл(а) в комнату
[21:29:41] Typhon вошёл(а) в комнату
[21:36:28] Kakadu вышел(а) из комнаты
[21:49:37] ftrvxmtrx вошёл(а) в комнату
[21:55:40] Kakadu вошёл(а) в комнату
[21:57:27] <ermine> Kakadu: как там твоя борьба с js_of_ocaml?
[21:57:50] <ermine> ух, за пару недель понаписали столько в мейллист оксигена и в даркс
[21:58:12] <Kakadu> ermine: я думаю как вместе с ним поюзать готовые камлевые либы. Пока мое мнение, что без бубна - никак
[21:59:54] <ermine> Kakadu: помницо, кто-то тут про бубен на 8 марта упоминал :)
[22:01:02] <ermine> блин, пока нет сил осваивать новые изменения в оксигене
[22:02:44] <Kakadu> Свет мой зеркальце скажи и всю правду доложи:
как к камлу прилинковать xml-light или иную либу, чтобы не огрести ругани на отсутствующие "примитивы" ?
[22:04:35] <ermine> а что такое примитивы в случае xml-light?
[22:04:49] <Kakadu> caml_sys_getenv
[22:05:25] <ermine> ну это уже родное камло, которое не имплементировано в js_of_ocaml, нет?
[22:05:38] <Kakadu> я хз
[22:05:56] <ermine> если вдуматься - в xml-light не нужен какой-то getenv
[22:06:32] <ermine> там достаточно чистого парсинга в виде if str.[i] = '%' then ...
[22:07:52] <Kakadu> не понял последнюю фразу
[22:15:00] <ermine> ну такой код бы транслировался в js 1:1
[22:15:27] <Kakadu> ermine: ты предлагаешь парсер самому написать или как?
[22:16:38] <Kakadu> а как вообще посомтреть что должна делать caml_sys_getenv?
[22:19:46] <ermine> Kakadu: проще взять готовую js-либлу типа jquery и приделать к ней биндинг
[22:19:59] <ermine> кстати к jquery биндинг есть в ocamljs
[22:20:41] <Kakadu> а в четм разница между ocamljs и js_of_ocaml
[22:20:43] <Kakadu> ?
[22:22:20] <ermine> чуток разный подход к генерации js, у jake (автора ocamljs) в блоге есть статейка на эту тему
[22:23:59] <ermine> я вот не понимаю, почему появился js_of_ocaml, когда уже был ocamljs
[22:24:28] <Typhon> см. топик
[22:24:32] <Typhon> enjoy NIH
[22:27:22] <ermine> если уж про nih, то и ocamljs появился когда уже был obrowser убогенький
[22:28:01] <Typhon> у какого-то из этих трёх подход был, емнип, совсем другой -
[22:28:12] <Typhon> вот у обраузер какжется, как раз -- он байткод исполнял
[22:28:15] <Typhon> а не жс генерил
[22:34:48] <Kakadu> кажется я кран. Надо пойти с другой стороны и обойтись вообще без парсинга.
[22:39:46] avysk вошёл(а) в комнату
[22:39:58] avysk вышел(а) из комнаты
[22:44:41] ygrek вошёл(а) в комнату
[22:47:21] <ygrek> в xml-light и нет никакого getenv
[22:47:35] <Kakadu> а чего он его хочет тогда?
[22:47:58] <ygrek> мало ли что вы с ним делаете, небось Sys модуль пытается влинковать
[22:48:08] <Kakadu> хотя я сейчас пойду другим путем. Вроде можно не парсить.
[22:48:17] <Kakadu> нет, там никакого sys
[22:49:29] <Typhon> никто, кстати, не задавался вопросом, почему json_wheel json-array как список, а не как array представляет?
[22:49:36] <ygrek> тогда странно
[22:49:36] ygrek вышел(а) из комнаты
[22:49:58] ygrek вошёл(а) в комнату
[22:52:14] <ermine> может из sys берет длину строки
[22:58:36] <gds> Typhon: есть версия, что это для иммутабельности сделано, чтобы никто не парился мутабельностью, не копировал и не чесал репу почём зря.  Но это только версия.
[22:59:53] <Typhon> а вот ещё не могу найти netstring для json_wheel'а , старые урлы не пашют. чтоже мне, ставить целый камлонет теперь?
[23:00:19] <Typhon> gds, оригинальные типы то мутабельные в json'е
[23:03:40] <Typhon> отсыпьте, кто-нибудь, нетстрингов, гг
[23:03:40] <gds> логично.  Может задрачивали случай "парсим один раз, отдаём многим функциям, и чтобы не повредили"?  С другой стороны, если есть строки, то всегда повредят.
С третьей стороны, json вообще весь мутабельный, но надо же как-то из функциональщины работать с ним, чтобы меньше багов было.
[23:15:42] <Typhon> ocamlnet гейско собирается -- цель opt не зависит в мейкфайле от all, но без make all не собирается
[23:28:32] <Typhon> заметил, что вместо json-wheel рекомендуют использовать yojson , интересно, json-static с ним будет работать, или нет
[23:34:24] <gds> я умер на зависимостях yojson+atdgen.  А так -- да, штука приятная, судя по доке (именно по документации я выбирал изначально).
[23:37:30] <Kakadu> ermine: если в html уже есть <td id="1"/> как его лучше превратить в tableCellElement?
[23:40:57] <Typhon> gds, я atdgen не ставил, yojson собрался, он видимо опциональным (для генерации, как я понимаю). я не понял, зачем в yojson все эти расширения джсоновские сделали
[23:53:01] <ermine> Kakadu: id означает, что элемент уникальный, так что getElementById всяко должен вернуть тебе только этот td
[23:54:05] <ermine> хотя если честно, я не поняла вопроса
[23:54:58] <Kakadu> я не понимаю как кастовать.
[23:55:05] <Kakadu> доя tableCellElement
[23:55:10] <Kakadu> до*
[23:55:51] <ermine> аштойта?
[23:56:05] <ermine> откуда эта штука?
[23:56:28] <Kakadu> это класс в Don_html
[23:57:03] <Kakadu> вообще глобально сейчас задача выдрать элемент из таблицы и запузырить туда теги
[23:57:12] <ermine> а
[23:58:25] <Typhon> хинт: таблицами для структурирования контента верстать не модно.
[23:58:57] <Kakadu> Typhon: как тогда сделать чтобы один iframe был справа, а второй слева?
[23:59:18] <Typhon> div, + float:left
[23:59:38] <Typhon> может что-то есть в css3 +html5 -- не разбираюсь.