Objective Caml - Понедельник, 8 ноября 2010

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 8 ноября 2010< ^ >

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

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

GMT+3
[00:18:48] Kakadu вышел(а) из комнаты
[00:45:32] ermine вышел(а) из комнаты
[00:47:25] ygrek вышел(а) из комнаты
[01:05:33] gds вышел(а) из комнаты
[02:00:49] <Typhon> "It's about 1000 pages long, so will keep you busy for a weekend or two." с http://cstheory.stackexchange.com/ . чувствую себя недочеловеком. а сколько у вас времени уходит на прочтение(и понимание) статьи / книги?
[03:10:47] Typhon вышел(а) из комнаты: Replaced by new connection
[03:10:51] Typhon вошёл(а) в комнату
[03:11:04] Typhon вышел(а) из комнаты
[03:12:37] Typhon вошёл(а) в комнату
[03:13:22] Typhon вышел(а) из комнаты
[03:14:17] Typhon вошёл(а) в комнату
[03:14:30] Typhon вышел(а) из комнаты
[03:14:55] Typhon вошёл(а) в комнату
[03:15:30] Typhon вышел(а) из комнаты
[03:16:52] Typhon вошёл(а) в комнату
[03:18:38] Typhon вышел(а) из комнаты: Replaced by new connection
[03:18:42] Typhon вошёл(а) в комнату
[03:18:51] Typhon вышел(а) из комнаты
[03:19:13] Typhon вошёл(а) в комнату
[03:19:43] Typhon вышел(а) из комнаты
[06:56:10] Typhon вошёл(а) в комнату
[07:16:30] Typhon вышел(а) из комнаты
[08:07:29] iNode вышел(а) из комнаты
[08:33:54] iNode вошёл(а) в комнату
[08:43:20] Typhon вошёл(а) в комнату
[09:54:42] gds вошёл(а) в комнату
[09:56:29] SerP вошёл(а) в комнату
[11:03:18] ermine вошёл(а) в комнату
[11:10:52] <gds> Typhon: да там наверное прикалываются насчёт 1-2 выходных, или книжка из жанра "Изя Читает".  У меня бывает и по одной странице в день, если действительно что-то новое и непонятное.  Конечно, всякое "инженерное" идёт быстрее, но всё равно, не так быстро.  Надо же успевать думать, а не только читать.
[11:11:47] <zert> понтуются там
[11:11:56] <f[x]> чего там думать, трясти надо
[11:12:00] <zert> 1000 страниц за двое выходных только пролистать можно
[11:13:01] <Typhon> а книжка вот такая: http://www.amazon.com/Transactional-Information-Systems-Algorithms-Concurrency/dp/1558605088
[11:17:58] <Typhon> я кстати, сначала прочитал "two weeks" и всё равно был не в себе, а тут weekend :(
[11:19:31] <gds> вроде, судя по описанию, книга не такая уж мозголомная, особенно если есть знания в этой области (у меня -- нет, если чо).  Но не пара викендов по-любому.
[11:32:39] komar вошёл(а) в комнату
[11:34:41] arhibot вошёл(а) в комнату
[11:41:44] arhibot вышел(а) из комнаты
[12:00:07] <gds> насчёт utf-8 -- не могу определиться.  http://en.wikipedia.org/wiki/UTF-8 -- там табличка есть, в которой сказано, что с одной стороны байты C0-C1 не могут быть в строке, а с другой стороны, та же жаба сериализует в строки, где символ с кодом 0 представляет как C0,80 (если тупо декодировать как двубайтовую последовательность, реально 0 получится), да и вообще, обычно как бы хорошо, когда парсер может распарсить как можно больше всяких штук (в том числе не полностью соответствующих спецификации).  С другой стороны, какие-то проблемы с безопасностью, если декодировать кривые последовательности (но там вообще смешное приводят как пример, когда "/../" было пропущено).
[12:07:42] <f[x]> флажок заведи
[12:08:02] f[x] вот недавно в mldonkey фиксил парсинг кривых торрентов
[12:08:47] <gds> флажок типа "принимать кривой utf8"?
[12:08:50] <gds> а что с торрентами?
[12:08:57] <f[x]> те что мы генерим - проверяются строго, те что снаружи - расслабленно
[12:09:00] <f[x]> угу
[12:09:21] <f[x]> для однозначаного получения hash'а по метаинформации ключи должны быть сортированы
[12:09:46] <f[x]> попадаются торренты в которых это не так и ключи перед подсчётом hash'а сортировать не надо
[12:44:01] <gds> чувствую себя просто каким-то животным, когда пишу такое: http://pastebin.com/sNk91wTj
[12:45:56] gds вышел(а) из комнаты: Replaced by new connection
[12:46:07] komar тоже, потом берётся переписывать. потом получается ещё хуже и успокаивается.
[12:46:58] gds вошёл(а) в комнату
[12:47:08] <zert> а ежели на битстринг переписать?
[12:48:18] <gds> можно, но кода весьма мало (и он уже написан; ну, само декодирование ещё, но там с camomile можно скопипастить), а лишнюю зависимость тащить не хочу (и когда писал изначально, тоже не хотел).
[12:48:27] <f[x]> а чем тебе существующие utf8 парсеры не сгодились?
[12:48:34] <zert> NIH :)
[12:48:37] <f[x]> а, ясно
[12:49:35] <gds> существующие -- какие?
[12:52:33] <f[x]> camomiler, extlib
[12:52:37] <f[x]> * camomile
[12:54:36] <f[x]> netulex в ocamlnet
[12:55:32] <f[x]> ё, даже в xmlm своё utf8 лексер есть
[13:07:37] <gds> camomile -- не подошёл своим странным отношением к utf8, я цитировал код.
extlib -- не подходит тем, что берёт байты из string, у меня более сложная структура.
[13:50:59] <gds> ну вот и всё.  http://pastebin.com/FWV0VETq -- кушаем по три байта за раз, выдаём "сколько есть", в среднем случае внутри цикла ничего не выделяем (в том числе для буферов), и весьма декларативненько обрабатываем.
[14:08:32] <gds> зарелизил, http://bitbucket.org/gds/ocaml-iteratees
[14:10:28] <Typhon> а в камл-лист?
[14:12:31] <gds> рано пока, не production-ready :)
[14:14:21] <gds> вот попробую наколбасить на нём что-то рабочее (например, тупо, лексинг исходника на моём новом говноязыке; там тупо, ибо вид лексем мне вполне очевиден).
[14:34:45] ermine обнаружила, что свежий ocsigen не работает
[14:34:57] <ermine> у кого-нибудь есть свежий ocsigen собранный?
[14:35:44] <komar> «Свежий»?
[14:36:36] <ermine> наисвежий из даркса
[14:36:57] <ermine> он слушает сокет, но не реагирует
[14:38:23] <ermine> о, а в нативе работает
[14:38:28] <ermine> в байткоде халявит
[14:38:57] Mon вошёл(а) в комнату
[14:39:59] SerP вышел(а) из комнаты
[14:41:57] <komar> А зачем нужен наисвежайший оксиген? Для лулзов?
[14:42:02] Mon вышел(а) из комнаты
[14:43:05] Mon вошёл(а) в комнату
[14:43:25] <komar> А то вот так возмёшь свежую версию, а там повсюду assert false в коде, и твой продукшон сервер, слушающий 127.0.0.1:8080, повалится.
[14:48:31] <ermine> там многа нового и крутого наворотили
[15:54:59] ʇsʎɯ вошёл(а) в комнату
[16:27:36] komar вышел(а) из комнаты
[16:31:31] <ermine> f[x]: extlib перестал развиваться?
[16:31:48] <ermine> последний релиз в декабре 2007
[16:37:56] <f[x]> ну типа того
[16:38:15] <f[x]> развиваться там особо нечему, но баги могли бы фиксить
[17:56:38] iNode вышел(а) из комнаты
[18:10:23] iNode вошёл(а) в комнату
[18:36:24] Typhon вышел(а) из комнаты
[19:04:15] <ermine> а как нонче модно "ставить" свои библиотеки?
[19:05:00] <ermine> библиотеки, которые сам пишешь, и которые используются в своих нескольких проектах
[19:05:33] <ermine> в cabal все можно было ставить в ~/.cabal
[19:05:45] <ʇsʎɯ> apt-get install?
[19:06:07] <ermine> ты про чужие библиотеки, наверное
[19:06:25] <ermine> и это не выглядит девелоперно
[19:06:48] <ermine> gds: как ты борешь эту систему?
[19:15:05] <f[x]> в нормальных системах из коробки без рута ocamlfind install ставит в /usr/local
[19:15:24] <f[x]> можешь указывать OCAMLFIND_DESTDIR и ставить куда угодно
[19:15:42] <f[x]> а потом с помощью OCAMLFIND_PATH находить их
[19:15:50] <gds> ermine: (cd ~/dev/my-super-lib && make uninstall && make install) && ocamlbuild ...
install/uninstall -- через findlib.
но это для тех библиотек, которые ставлю системно.
для остального -- тупо копирую библиотеку в проект, опционально ставлю игнорирование этих файлов в dvcs.  Так сильно проще, так как периодически надо объяснять людям, как это всё собирается.  Вариант "запустить скрипт сборки" -- это проще, чем вариант "поставить библиотеки в системном ocamlfind (возможно через пакетный менеджер) и затем запустить скрипт сборки", и не только проще, но и надёжнее.
[19:34:54] <ermine> ых, всем спасибо, придецца дрессировать ocamlfind
[19:35:01] <ermine> и oasis
[19:50:41] Typhon вошёл(а) в комнату
[19:55:19] <gds> отписал в жыжыцу про синтаксис, помните может, мучил вас тут.  http://gds.livejournal.com/56355.html .  Если будут идеи -- либо тут, либо там, но интересно было бы.
[19:59:05] <ermine> вспомнился пресловутый синтаксис перла
[19:59:39] <gds> который невозможно распарсить детерминированно.  дада, такого мне не надо.
[20:00:04] <ermine> зато засран как следует
[20:02:47] <ermine> gds: а математический синтаксис расширяем?
[20:04:04] <ermine> 1 + 2 или + 1 2, все дело в нотациях
[20:08:03] Kakadu вошёл(а) в комнату
[20:08:10] <gds> перл засран, да, но мне такое не надо.
математический синтаксис -- расширяемый, конечно, но только он весьма неформален, чем и упрощает дело.
+ 1 2 -- да, нотация.  Мне нужна инфиксная в данном примере.
[20:30:43] <ermine> даа, oasis надо юзать как генерилку META файла, клево
[21:06:10] serp256 вошёл(а) в комнату
[22:10:31] serp256 вышел(а) из комнаты
[22:10:45] Kakadu вышел(а) из комнаты
[22:32:02] arhibot вошёл(а) в комнату
[22:36:36] serp256 вошёл(а) в комнату
[23:11:09] ygrek вошёл(а) в комнату
[23:17:07] <ygrek> о, приятно читать, http://levgem.livejournal.com/319633.html
[23:27:05] <Typhon> http://levgem.livejournal.com/319633.html?thread=3216273#t3216273
[23:27:14] <Typhon> ^ это отлично особенно
[23:28:12] <Typhon> http://levgem.livejournal.com/319633.html?thread=3221137#t3221137  -- а вот это мой личный индикатор, что нужно держаться подальше от ноды и SSJS (ЫЫОЫ). (а заодно и от скалы ^_^ )
[23:32:07] <ygrek> :))
[23:36:50] serp256 вышел(а) из комнаты
[23:37:16] serp256 вошёл(а) в комнату
[23:40:49] serp256 вышел(а) из комнаты
[23:41:24] serp256 вошёл(а) в комнату
[23:42:29] <zert> а скала почему?
[23:46:00] <Typhon> мессиво какое-то (со стороны), хайп, большое количество модников вокруг. как-то так :-) sorhed, опять же
[23:47:32] <zert> sorhed — плохо?
[23:48:01] serp256 вышел(а) из комнаты
[23:48:22] <zert> на кодефесте два модника рассказывали про ноде.жс
[23:48:32] serp256 вошёл(а) в комнату
[23:49:03] <Typhon> sorhed -- плохо, да. это мой личный индикатор ^_^
[23:56:08] <arhibot> а ноде.жс?
[23:56:16] serp256 вышел(а) из комнаты
[23:56:23] <arhibot> zert:
[23:56:52] serp256 вошёл(а) в комнату
[23:57:54] <zert> ась?
[23:57:58] <zert> ноде.жс плохо
[23:58:07] <zert> там и язык плохой, и идея плохая
[23:58:12] <zert> вернее, не плохая, а какая есть