Objective Caml - Четверг, 5 апреля 2012

Objective Caml

ocaml@conference.jabber.ru

Четверг, 5 апреля 2012< ^ >

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

[00:29:56] komar вошёл(а) в комнату
[00:42:16] <gds> а теперь вот в caml-list говорят, что option 'a производительнее, чем 'a + exn.  Кому верить?  Кто скрывает правду?
[00:56:03] komar вышел(а) из комнаты
[00:56:08] komar вошёл(а) в комнату
[01:23:16] arhibot вошёл(а) в комнату
[01:23:28] Typhon вошёл(а) в комнату
[01:23:42] arhibot вышел(а) из комнаты
[01:26:39] Kakadu вышел(а) из комнаты
[01:41:19] bobry вышел(а) из комнаты
[01:55:52] komar вышел(а) из комнаты
[01:57:27] komar вошёл(а) в комнату
[02:10:17] f[x] вышел(а) из комнаты: Computer went to sleep
[03:40:41] letrec вошёл(а) в комнату
[04:49:29] letrec вышел(а) из комнаты
[04:58:33] komar вышел(а) из комнаты: Replaced by new connection
[04:58:33] komar вошёл(а) в комнату
[06:53:41] ermine вошёл(а) в комнату
[09:36:37] <ermine> фантомные типы в камле - это такая печалька
[09:43:13] Kakadu вошёл(а) в комнату
[09:46:47] bobry вошёл(а) в комнату
[10:19:58] ftrvxmtrx вышел(а) из комнаты
[10:27:36] ftrvxmtrx вошёл(а) в комнату
[10:28:16] ftrvxmtrx вышел(а) из комнаты
[10:28:44] ftrvxmtrx вошёл(а) в комнату
[10:34:30] ftrvxmtrx вышел(а) из комнаты
[10:36:35] <f[x]> gds: никому не верь - все врут :)
[10:44:40] ftrvxmtrx вошёл(а) в комнату
[10:44:42] ftrvxmtrx вышел(а) из комнаты
[10:47:32] ftrvxmtrx вошёл(а) в комнату
[10:51:34] komar вышел(а) из комнаты
[11:52:46] Sun][ вошёл(а) в комнату
[12:33:19] Typhon вышел(а) из комнаты
[13:25:21] Typhon вошёл(а) в комнату
[13:34:24] shaggie вошёл(а) в комнату
[15:30:37] ermine не шмогла переспорить фантомные типы
[15:30:48] <ermine> ну и злобная типизация
[15:31:00] <ermine> никакой пользы
[15:52:25] ermine обновила camlunity.ru/w/
[15:53:57] <ermine> а кто-нить может рассказать сказочку, как подсвечивают синтаксис кода на сайте?
[15:55:53] <bobry> ermine: есть кошерный хайлайтер на js http://softwaremaniacs.org/soft/highlight/en/
[15:56:00] <bobry> ну или можно gist вставить
[15:56:51] <ermine> а кто будет парсить код для подсветки?
[15:56:58] <bobry> так js и будет
[15:57:33] <ermine> ща посмотрим
[15:58:37] <ermine> чота не вижу step by step как его прикрутить
[16:00:42] <Typhon> "кошерный" "на js" ^_^
[16:01:29] <ermine> Typhon: предлагаешь перелизать на js_of_ocaml?
[16:01:54] <Typhon> можно на сервере препроцессить, каким-нибудь pygments (но там питон)
[16:01:54] <gds> Typhon: дай миллиону обезьян отладчик -- и получишь кошерный код на js.
[16:02:06] <bobry> Typhon: работает кошерно, в чем проблема :)
[16:02:23] <gds> Typhon: но вообще да, заметка очень в тему.
[16:03:20] <f[x]> GNU highlight
[16:03:37] <f[x]> colorer
[16:04:23] <bobry> pygments!
[16:04:39] ftrvxmtrx вышел(а) из комнаты
[16:04:41] ftrvxmtrx вошёл(а) в комнату
[16:04:49] <ermine> f[x]: а как его прибивают к хтмлю?
[16:05:03] ermine в теории полный ноль
[16:05:24] <ermine> ну, как прикрепить js к хтмлю - днаю, а что дальше?
[16:05:48] <ermine> кдасс вешать куда-то?
[16:06:02] <f[x]> ermine: вот так :
%.ml.html: %.ml
    highlight -s edit-msvs2008 -u utf-8 -i $< -o $@
[16:06:54] <ermine> f[x]: так это код в .ml, а если в .md?
[16:07:05] <ermine> и тем более уже в .html
[16:07:29] <f[x]> если у тебя так мло кода что он помещается в md - раскрась кисточкой!
[16:07:33] <f[x]> * мало
[16:07:40] <ermine> вы же пешите ```ocaml let x = 1 ``` зачем-то!
[16:07:56] <f[x]> s/ocaml/basic/
[16:10:11] <ermine> парсить чоль код в ``` ``` и расставлять классы цветочков?
[16:15:06] <ermine> мда, видимо вопрос дебильный
[16:15:49] <ermine> bobry: а оно знает камло?
[16:21:04] <ermine> похоже оно шерстит <pre><code>...</code></pre>
[16:25:05] <ermine> ни про камло не видно, ни про явное задание языка
[16:25:46] <ermine> а нет
[16:25:53] <ermine> code class="python"
[16:25:57] <ermine> годится
[16:27:46] <bobry> ermine: знает камло — мы им на работке код подсвечиваем
[16:53:19] <ermine> bobry: а в классе явно указываете камло или оно само от хаскиля правильно отличает?
[16:57:48] <bobry> на "само" лучше не полагаться
[17:00:32] <ermine> ну вот я спрашиваю, как вы там делаете
[17:00:39] <ermine> посмотри в исходниках страницы
[17:01:39] <ermine> а еще расскажите еще одну сказочку (в энной инкрементации) - как хранить комменты на сайте/бложике
[17:02:42] <bobry> ermine: у нас оно инлайном разметку генерит уже, в смысле на сервере отрабатывает pygments и выплевывает уже HTML
[17:02:59] <bobry> а для комментов можно disqus какой нибудь
[17:05:19] <ermine> не, лучше локально
[17:05:28] <bobry> почему?
[17:06:06] <ermine> анализировать спам, удалять его, перегенерировать вывод в страничку и тд
[17:07:26] ermine давно ходит вокруг этой темы кругами, то удаляясь, то сближаясь к центру
[17:07:44] bobry вышел(а) из комнаты
[17:43:13] ftrvxmtrx вышел(а) из комнаты
[18:09:09] ermine еще раз поспамила в гит сайта камлунити и решила, что на сегодня хватит
[18:52:07] <f[x]> на SO какой-то флуд нубских вопросов по камлю
[18:52:16] <f[x]> у школоты экзамены близко?
[18:55:48] Sun][ вышел(а) из комнаты
[19:03:00] letrec вошёл(а) в комнату
[19:17:50] <Kakadu> не, не очень
[19:31:58] <ermine> Kakadu: как там барбуха?
[19:56:58] ftrvxmtrx вошёл(а) в комнату
[20:04:07] ftrvxmtrx вышел(а) из комнаты
[20:04:27] ftrvxmtrx вошёл(а) в комнату
[20:09:38] ftrvxmtrx вышел(а) из комнаты
[20:12:01] ftrvxmtrx вошёл(а) в комнату
[20:17:11] ftrvxmtrx вышел(а) из комнаты
[20:18:01] <gds> f[x]: и как, есть кому отвечать на вопросы на SO?
[20:20:11] bobry вошёл(а) в комнату
[20:21:20] <bobry> gds: я тут нашел папир про аналог "hash table" для строк на базе trie, интерестед?
[20:22:10] letrec вышел(а) из комнаты: Replaced by new connection
[20:22:11] letrec вошёл(а) в комнату
[20:22:44] <gds> bobry: ваистену да!
[20:23:13] ftrvxmtrx вошёл(а) в комнату
[20:23:41] <bobry> оригинальный папир: http://dl.acm.org/citation.cfm?id=362693&dl=ACM&coll=DL&CFID=76059640&CFTOKEN=31504556
[20:24:10] <bobry> я читал описание вот здесь (буквально на второй же странице) http://www.mendeley.com/research/position-heaps-simple-dynamic-text-indexing-data-structure/
[20:24:22] <bobry> по мне так звучит очень вкусно, надо бы это дело прикинуть
[20:24:50] <bobry> если кто знает что такое HAMT, то объясните мне дураку как оно соотносится с sequence hash tree?
[20:28:12] ftrvxmtrx вышел(а) из комнаты
[20:31:38] <gds> bobry: сходу только первую страницу нашёл почитать.  Впрочем, идея понятна, берут хеш, разбивают побитово, делают trie.  Там только в этом цимес, или что-то ещё есть, что на остальных 6 страницах изложено?
[20:33:11] <bobry> гм, может я что не так понял? во втором папире про хеш речи не было
[20:33:11] ftrvxmtrx вошёл(а) в комнату
[20:33:22] <bobry> кстати sci-hub.org, если ты еще не пользуешься
[20:33:36] <bobry> фишка в том что мы в trie храним только "уникальные" префиксы наших строк
[20:33:57] <bobry> в лист каждому префиксу кладем соотв. ссылку на оригинальную строку
[20:36:14] <gds> а, так я первый папир пробовал найти.  Второй примерно почитал, но пока мозга не хватает на то, чтобы понять тщательно.
[20:36:45] <bobry> ну во втором ссылка на первый была, мол "там мужыки примерно про это и рассказывают"
[20:37:52] ftrvxmtrx вошёл(а) в комнату
[20:38:37] ftrvxmtrx вышел(а) из комнаты
[20:54:23] ermine смотрит на демку js_of_ocaml про realtime wiki editing
[20:54:58] <ermine> применить чоль для каментов и постов в режиме двух-трех нотаций - маркдаун, ббкод и еще какая-нить вика
[20:57:39] <ermine> придецо каменты засовывать в постгрес
[21:45:52] Typhon вышел(а) из комнаты
[21:51:44] ftrvxmtrx вышел(а) из комнаты
[21:51:55] ftrvxmtrx вошёл(а) в комнату
[21:55:06] shaggie вышел(а) из комнаты
[22:40:41] Sun][ вошёл(а) в комнату
[22:47:53] <ermine> Kakadu: как там барбара?!!!
[22:48:09] ermine в который раз страдает пересобирая свежее мясо
[22:48:45] <ermine> теперь lwt хочет wikidoc, а wikidoc хочет что-то еще....
[22:49:00] <ermine> когда же барбара научится инсталлить куда надо!
[22:49:06] <ermine> отвечает bobry
[22:50:42] <ermine> а, оно хочет tyxml
[22:52:55] <ermine> кто бы мне подсказал, откуда растет модуль Printtyp?
[22:54:33] <ermine> ой, compiler-lib, где-то я про это уже слышала
[22:54:47] <ermine> казлы линуксоиды
[22:54:49] Sun][ вышел(а) из комнаты: Replaced by new connection
[22:54:49] Sun][ вошёл(а) в комнату
[22:54:59] Typhon вошёл(а) в комнату
[22:56:09] <ermine> Kakadu: спишь, пернатый?
[22:57:40] <ermine> ух, стоило оторваться от комбайна с маркдауном, чтобы узнать новости в мире проблем компиляции камлоговна
[22:57:48] <ermine> зарыться чоль обратно в комбайн
[23:01:51] <bobry> ermine: куда надо это куда?
[23:05:45] <ermine> bobry: в $lib/ocaml[/site-lib]
[23:05:58] <ermine> а ты как думал?
[23:06:10] <bobry> оно не для этого же
[23:06:54] <ermine> bobry: а какая польза от такой убогой барбары?
[23:07:02] <bobry> cabal-dev же
[23:07:34] <ermine> bobry: а ты уже научил ocamlfind не плеваться на дупы?
[23:07:52] <bobry> неа, я временно в учебе же :)
[23:08:16] <ermine> bobry: можно cabal-dev, если рабоать в нем независимо и полноценно можно
[23:08:31] <ermine> а вообще это могла быть опция, куда ставиться
[23:08:43] <ermine> bobry: а когда конец учебе?
[23:08:50] <bobry> видимо в мае только
[23:12:12] <ermine> экзамены?
[23:12:26] <bobry> домашки каждую неделю
[23:12:31] <bobry> в этом семестре чота особенно активно
[23:13:59] <ermine> ну тогда остается общипать попугая
[23:15:57] Sun][ вышел(а) из комнаты
[23:16:37] <Kakadu> ermine: я простудился и ничего не хочу делать
[23:19:51] <ermine> Kakadu: пей горячего чаю с малиновым вареньем и выздоравливай, а вообще это ж классный повод, чтобы что-то сделать
[23:34:39] ermine вышел(а) из комнаты