Objective Caml - Четверг, 22 марта 2012

Objective Caml

ocaml@conference.jabber.ru

Четверг, 22 марта 2012< ^ >

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

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

GMT+4
[00:06:00] Typhon вошёл(а) в комнату
[00:18:28] komar вышел(а) из комнаты
[00:19:28] komar вошёл(а) в комнату
[00:22:13] Typhon вышел(а) из комнаты
[00:27:18] bobry вышел(а) из комнаты
[00:27:50] ftrvxmtrx вошёл(а) в комнату
[00:28:07] bobry вошёл(а) в комнату
[00:28:46] ftrvxmtrx вышел(а) из комнаты
[00:47:46] Kakadu вышел(а) из комнаты
[01:57:09] komar вышел(а) из комнаты: Replaced by new connection
[01:57:09] komar вошёл(а) в комнату
[02:21:18] ftrvxmtrx вошёл(а) в комнату
[02:41:13] bobry вышел(а) из комнаты
[03:05:07] shaggie вышел(а) из комнаты
[03:33:53] letrec вошёл(а) в комнату
[03:34:03] letrec вышел(а) из комнаты
[03:34:19] letrec вошёл(а) в комнату
[04:19:25] ftrvxmtrx вышел(а) из комнаты
[04:27:38] letrec вышел(а) из комнаты
[04:46:10] ftrvxmtrx вошёл(а) в комнату
[06:01:16] vshender вошёл(а) в комнату
[08:17:40] Typhon вошёл(а) в комнату
[08:34:40] Typhon вышел(а) из комнаты
[08:37:56] Typhon вошёл(а) в комнату
[08:56:47] Typhon вышел(а) из комнаты
[09:39:19] ermine вошёл(а) в комнату
[09:56:28] bobry вошёл(а) в комнату
[10:02:32] Typhon вошёл(а) в комнату
[11:15:14] dzhon вошёл(а) в комнату
[11:27:52] klapaucius вошёл(а) в комнату
[11:30:56] ftrvxmtrx вышел(а) из комнаты
[11:37:21] ftrvxmtrx вошёл(а) в комнату
[11:41:29] ftrvxmtrx вышел(а) из комнаты
[11:41:44] ftrvxmtrx вошёл(а) в комнату
[11:46:53] ftrvxmtrx вышел(а) из комнаты
[11:47:23] ftrvxmtrx вошёл(а) в комнату
[12:02:04] ftrvxmtrx вошёл(а) в комнату
[12:09:18] komar вышел(а) из комнаты
[12:29:32] ermine вышел(а) из комнаты: Replaced by new connection
[12:29:32] ermine вошёл(а) в комнату
[12:34:36] ftrvxmtrx вышел(а) из комнаты
[12:35:40] ftrvxmtrx вошёл(а) в комнату
[12:39:18] dzhon вышел(а) из комнаты: Replaced by new connection
[12:39:18] dzhon вошёл(а) в комнату
[12:42:32] shaggie вошёл(а) в комнату
[12:56:53] Kakadu вошёл(а) в комнату
[13:03:59] <bobry> о мой бог, а PEG то не так прост
[13:04:37] <f[x]> omfg, programming is hard
[13:04:51] <bobry> f[x], !!!
[13:16:36] <Kakadu> пост про камло+ iOS в камлолисте довольно любопытный.
[13:16:56] <Kakadu> ermine: бросай скалу, нафигачь игрушек для хомячков на камле.
[13:17:21] ftrvxmtrx вышел(а) из комнаты
[13:19:21] <ermine> bobry: а что там непосильного для юношешкого мозга?
[13:19:27] <ermine> Kakadu: чо-чо?
[13:20:35] Kakadu вышел(а) из комнаты: Replaced by new connection
[13:20:36] Kakadu вошёл(а) в комнату
[13:23:51] <Kakadu> ermine: Ну там чел накодил игрушек на камле для яблочников. Есть даже туториал как это делать
[13:23:56] <Kakadu> с учетом что у тебя есть мак
[13:24:09] <Kakadu> тебе самое оно накодить чтонить дикое
[13:24:22] Kakadu всегда хотел поиграть в _свою_ Цивилизацию
[13:25:36] <ermine> Kakadu: ну скала - же не для яблоков, а для андроида
[13:25:41] ftrvxmtrx вошёл(а) в комнату
[13:26:30] <ermine> а теорию игр мне точно не освоить
[13:27:59] <ermine> да и игры на железках - это преступное убийство времени
[13:29:04] <ermine> Kakadu: плоская цивилизация - ерунда, лучше программировать робота, который будет по утрам приносить кофе и выливать его тебе на голову
[13:29:38] <ermine> тут и распознавание образов, и координация движений, и вообще модель поведения
[13:29:54] <Kakadu> да кому нужен твой робот?
[13:30:37] <ermine> а кому нужны твои победы в цивилизации?
[13:30:58] <Kakadu> За цивилизацию хомячки на айосе дадут денюжку (теоритически)
[13:32:00] ftrvxmtrx вышел(а) из комнаты
[13:32:39] <ermine> в моем ближнем и дальнем окружении ни у кого нет айосов, у всех андроиды или простые елефоны
[13:33:38] <ermine> Kakadu: а у тебя?
[13:41:22] vshender вышел(а) из комнаты
[13:42:11] <Kakadu> а в моем окружении только я с простым телефоном
[13:47:32] ftrvxmtrx вошёл(а) в комнату
[13:49:38] ftrvxmtrx вышел(а) из комнаты
[14:12:30] dzhon вышел(а) из комнаты: Replaced by new connection
[14:12:35] dzhon вошёл(а) в комнату
[14:14:09] <bobry> ermine, да все ок — я просто с чего то подумал что у него каждый non terminal это точка в хода
[14:14:25] <bobry> ну и плюс, генератор парсеров из PEG для эрланга довольно унылый
[14:14:39] <klapaucius> Какой смысл играть в игры? Это утомительно, как работа, да еще и деньги тебе никто за это не платит. наоборот - самому нужно платить, за свои же мучения.
[14:41:39] <Kakadu> klapaucius: кому-то платят
[14:44:49] <klapaucius> Ну, я думаю, очень небольшому числу игроков с квалификацией сильно выше среднего. Это принципиально дела не меняет.
[14:45:55] <bobry> ermine, а в чем ты своие .peg'и редактируешь?
[14:46:40] <Kakadu> klapaucius: да, ты прав
[14:46:46] komar вошёл(а) в комнату
[14:49:14] <ermine> bobry: ни в чем, просто плайн режим в емаксе, он умеет по нажатию таба двигать курсор на большие расстояния, похожие на нужные
[14:50:42] <bobry> ermine, я нашел какой то странный 'peg-mode', но он ничего не умеет
[14:50:54] <bobry> довольно досадно, учитывая как задорно в емаксе редактируется .mly
[14:52:04] <ermine> bobry: а тебе только для ерланга генерить код?
[14:52:38] <bobry> не обязательно в общем то
[14:52:44] <bobry> ну точнее конкретно сейчас да
[14:52:48] <bobry> но для камло тоже нету IMAP либы
[14:52:55] <bobry> так что можно и в камло потом сгенерить
[14:54:18] <ermine> кого? imap4?
[14:54:33] <ermine> а там текстов много?
[14:55:08] <bobry> imap4 ага
[14:55:10] <bobry> текстов?
[14:56:09] <ermine> ну протокол текстовый?
[14:56:23] <f[x]> http://forge.ocamlcore.org/projects/gaml/
[14:57:05] <bobry> ага, gaml мне не актуален — для эрланга же нада
[14:57:46] <ermine> для ерланга имхо надо использовать parse transform
[14:57:47] <bobry> к тому же он только для GMail
[14:57:50] <bobry> и код УГ
[14:57:56] <bobry> parse_transform то тут причем?
[14:58:27] <ermine> ну типа во что заворачивать, а не генерить код втупую
[14:58:41] <bobry> я не знаю как оно его генерит
[14:58:46] <ermine> типа как camlp4
[14:59:01] <bobry> https://github.com/seancribbs/neotoma
[15:00:08] <bobry> ermine, твоя либа тоже упадет от такой строчки 'response <- continue_req / response_done/ response_data;'?
[15:01:02] <ermine> а вообще парсить текст на ырланке - тот еще ссзб
[15:01:20] <bobry> почему?
[15:01:58] <bobry> если что в строчке выше не хватает пробела между '/'
[15:02:08] <bobry> аналогично эта фигня падает от foo<- bar / boo
[15:02:13] <ermine> bobry: не упадет ессно
[15:02:14] <bobry> bulletproof :)
[15:02:33] <ermine> у тебя прямая рекурсия
[15:03:19] <ermine> я недавно уже решала такую задачку как бороться с зацикливанием сбора результатов от непрямой рекурсии и победила ее
[15:03:57] <bobry> иде тут рекурсия?
[15:04:16] <bobry> она падает не из за того что генерит странный код, она разобрать PEG не может
[15:04:54] <ermine> A <- A уже рекурсия
[15:05:17] <ermine> впрочем может я не то читаю, тут солнце в монитор светит
[15:06:42] <ermine> bobry: erlang крайне медленно обрабатывает тексты, его ниша в распаралеливании потоков, а не подробной обработке данных
[15:07:43] <ermine> поэтому в elrang для медленных функционалов сейчас используют nifы
[15:07:59] <ermine> это дырки в сишние библиотеки
[15:08:42] <bobry> мм, тексты в виде листов действительно медленно — если же тексты в бинарях то вроде ситуация по-лучше
[15:09:06] <bobry> а nif'ы да — писал уже, правда писать парсер на сях то ее удовольствие
[15:09:55] <ermine> ну тексты надо в бинарях, это побыстрее будет и поэкономнее в памяти
[15:10:50] <ermine> зачем писать, сишних имапов как грязи под верблюдом
[15:11:51] <f[x]> парсеры на сях не надо писать, их надо генерить
[15:13:41] <ftrvxmtrx> ragel же
[15:14:14] <ermine> ragel - DFA
[15:14:35] <ermine> если грамматика позволяет, то можно
[15:16:30] <ermine> f[x]: это на любом языке
[15:31:47] letrec вошёл(а) в комнату
[15:31:51] letrec вышел(а) из комнаты
[15:32:07] letrec вошёл(а) в комнату
[15:39:11] bobry вышел(а) из комнаты
[15:42:24] bobry вошёл(а) в комнату
[15:42:58] dzhon вышел(а) из комнаты: Replaced by new connection
[15:43:01] dzhon вошёл(а) в комнату
[16:14:51] <f[x]> ragel мощнее чем dfa
[16:23:34] <ermine> это как?
[16:24:36] Kakadu вышел(а) из комнаты
[16:24:47] Kakadu вошёл(а) в комнату
[16:28:10] <f[x]> позволяет выпоплнять проищвольный код на любом этапе матчинга, в том числе переходить в любое другое состояние машины
[16:28:17] <f[x]> * произвольный
[16:28:39] <f[x]> т.е. можно соорудить что угодно
[16:29:01] <f[x]> но надо понимать что для парсинга per se - ragel достаточно низкоуровневый
[16:29:23] <f[x]> проще думать о ragel'е как о конструкторе конечных автоматов
[16:31:49] <ermine> а произвольным кодом матчить инпут?
[16:32:12] <f[x]> ermine: легко
[16:33:07] <ermine> f[x]: в грамматике допустимы епсилоны?
[16:33:20] <ermine> A = (B | )
[16:34:40] <f[x]> ессно
[16:36:23] <ermine> впрочем, для CF грамматик по определению запрещены епсилоны, но они допускаются поскольку cf грамматику с ними можно преобразовать в грамматику без них тупой подстановкой
[16:51:47] ftrvxmtrx вошёл(а) в комнату
[16:56:21] ftrvxmtrx вышел(а) из комнаты
[16:57:52] ftrvxmtrx вошёл(а) в комнату
[16:57:55] <bobry> кто мне расскажет почему указанная строчка не разбирается? http://paste.in.ua/4043/
[16:58:20] <bobry> чую дело в '*', но сформулировать проблему не могу
[16:58:25] <bobry> ermine, gds?
[17:06:18] <ermine> хз, глазами неприятно отслеживать, у меня для этого в комбайне пошаговый трекинг в дебаге
[17:07:41] <ermine> bobry: насчет * - достаточно помнить, что peg не смотрит за пределы текущего (не)нерминала, т.е. жадный регэксп
[17:08:50] <bobry> ermine, это откуда такая информация? я тоже хочу источник тайного знания
[17:09:23] <gds> bobry: нет моска вникать в нюансы пега.
[17:09:24] <ermine> bobry: ну прочитала тезисы у форда
[17:09:48] ftrvxmtrx вышел(а) из комнаты
[17:09:49] <gds> на более важные вещи тоже нет моска, "был и весь вышел".
[17:10:26] <bobry> я вот что то побаиваюсь его читать
[17:11:28] <ermine> там половина - определение и описание пега, вторая половина - доказательства преобразований выражений в грамматике
[17:11:48] <ermine> описание преобразований я прочитала, доказательства теорем - по диагонали посмотрела
[17:12:01] <ermine> освою coq - будет с чем поиграться
[17:14:30] <ermine> а вообще да, для неопытного моска трудно воспринимается, если в институте вполуха слушать лекции по грамматикам и не играться с этим плотно
[17:15:13] <ermine> через 10 лет обычно начинаешь крепко жалеть, что в институте фривольно относился к базовым знаниям
[17:16:08] <ermine> bobry: обычно парсер еще может распарсить часть строки и вернуть непрожеванный остаток, посмотри на остаток
[17:17:06] <f[x]> урлу на тезисы
[17:17:52] <ermine> на страничке форда про пег, поиск в гугле
[17:18:17] dzhon вышел(а) из комнаты: Replaced by new connection
[17:18:17] dzhon вошёл(а) в комнату
[17:18:27] ermine отойдет на полтора-часа два
[17:19:28] <f[x]> гугложжот - http://www.google.com/search?q=форд+пег
[17:23:06] <bobry> в общем ermine была права, * штука жрала все capabilities и не доходила IMAP4rev1
[17:23:11] <bobry> всем мерси :)
[17:30:47] bobry вышел(а) из комнаты
[17:35:35] <letrec> кто typerex пользуется?
[17:37:19] <gds> letrec: я.  только скоро сваливаю от компа.  пешы; приду -- отвечу.
[17:37:39] <gds> (или сейчас успею, хз)
[17:38:29] <letrec> как его научить подхватывать установленные библиотеки?
[17:38:40] <letrec> по моему коду навигация работатет
[17:39:41] <Kakadu> .typerex менять пробовал?
[17:39:55] <letrec> его и меняю
[17:42:19] <gds> letrec: I +site-lib/имябиблиотеки
[17:42:54] <gds> вообще, на сайте описано, как такое делать, и лучше там почитать, ибо есть нюансы.
[18:04:09] Kakadu вышел(а) из комнаты
[18:15:04] Typhon вышел(а) из комнаты
[18:21:06] Typhon вошёл(а) в комнату
[18:46:03] Kakadu вошёл(а) в комнату
[18:49:21] <letrec> gds: запэйстбинь свой .typerex куда-нибудь?
[18:52:51] dzhon вышел(а) из комнаты: Replaced by new connection
[18:52:52] dzhon вошёл(а) в комнату
[19:04:14] dzhon вышел(а) из комнаты
[19:05:06] Typhon вышел(а) из комнаты
[20:13:45] letrec вышел(а) из комнаты
[20:23:23] ermine вышел(а) из комнаты
[20:36:38] ermine вошёл(а) в комнату
[20:42:33] <gds> letrec: вот, например, у программы, использующей только cadastr: http://paste.in.ua/4045/
[20:44:37] <f[x]> а чего, камлофинд оно не умеет?
[20:44:47] <f[x]> чтобы писать не путь, а просто имя пакета?
[20:45:11] <f[x]> у французов XXI-ый век ещё не наступил как обычно
[20:49:34] ermine раздвинула рамки монитора пошире
[20:49:47] <ermine> как клево смотреть в 24"
[20:57:05] <gds> f[x]: не умеет, ибо ocamlfind не является обязательным для труЪ-хардкорЪ-разработчиков.  А вот опциональную директиву, работающую только с ocamlfind, добавить могли бы.
[21:03:26] gds вышел(а) из комнаты
[21:05:01] dzhon вошёл(а) в комнату
[21:08:21] ftrvxmtrx вышел(а) из комнаты
[21:08:35] bobry вошёл(а) в комнату
[21:11:50] <bobry> если кто научил typerex искать в установленных либах -- делитесь секретом :)
[21:16:39] gds вошёл(а) в комнату
[21:17:31] <gds> bobry: просто указываешь либы, в которых искать, и всё.  А как же можно иначе?
[21:20:21] <bobry> у меня так не завелось почему то
[21:20:47] <gds> ну, там не столько либы, сколько
I +site-lib/имябиблиотеки
[22:00:38] ftrvxmtrx вошёл(а) в комнату
[22:03:52] ftrvxmtrx вышел(а) из комнаты
[22:04:00] ftrvxmtrx вошёл(а) в комнату
[22:08:14] ftrvxmtrx вышел(а) из комнаты
[22:09:53] ftrvxmtrx вошёл(а) в комнату
[22:10:38] shaggie вышел(а) из комнаты
[22:12:24] ftrvxmtrx вышел(а) из комнаты
[22:18:06] ftrvxmtrx вошёл(а) в комнату
[22:21:24] <Kakadu> bobry: сделай какойнить шаманский бубен с ворнингами в бранче macroses
[22:37:02] ftrvxmtrx вошёл(а) в комнату
[22:37:36] ftrvxmtrx вышел(а) из комнаты
[22:41:08] ftrvxmtrx вошёл(а) в комнату
[22:44:39] ftrvxmtrx вышел(а) из комнаты
[23:01:07] <bobry> Kakadu: по уши в учебе, сори <_<
[23:12:37] <ermine> bobry: а ты на каком курсе?
[23:12:54] <bobry> нинакаком -- я ж не в универе учусь :)
[23:13:02] <bobry> так, для себя хожу во всякие места
[23:13:55] <ermine> стенфордские курсы?
[23:16:01] ermine запуллила барбраху
[23:16:12] <bobry> не, http://bioinf.me и http://compscicenter.ru
[23:16:25] <bobry> из стенфордских я ml-class жду, а его все нет
[23:17:28] <bobry> барбару в массы!
[23:20:37] <ermine> ясно, я думала, что первое - так вообще официальная учеба была
[23:21:44] <ermine> Kakadu: не компилицо, ты это специально там?
[23:22:21] <ermine> ща поковыряем бубен
[23:37:11] komar вышел(а) из комнаты: Replaced by new connection
[23:37:12] komar вошёл(а) в комнату
[23:38:12] <ermine> Kakadu: может, стоит убрать из _oasis -w @a?
[23:41:43] ermine толкает Kakadu
[23:43:03] <ermine> и читать ман ocamlc про -w
[23:43:13] <ermine> в общем, всё понятно
[23:44:38] <Kakadu> ermine: так мне надо задисейблить только 4й ворнинг
[23:44:53] <Kakadu> а -w @a кто-то добавлял
[23:45:40] <ermine> ну там про @num есть
[23:45:53] <ermine> -num даже
[23:48:09] <Kakadu> -w @a bobry добавлял
[23:48:20] <ermine> Kakadu: в смысле добавить в оазис в список аргументов к -w еще -4
[23:48:31] <Kakadu> как добавить?
[23:50:31] <ermine> чота в мане не вижу про формат списка
[23:51:44] <ermine> возможно @a-4
[23:53:34] <ermine> да, именно так
[23:53:46] <ermine> Kakadu: пиши там и перегенери оазис
[23:54:03] <ermine> -w @a-4
[23:54:06] Typhon вошёл(а) в комнату
[23:54:32] <Kakadu> а дополнительная магия кроме oasis setup нужна?
[23:55:05] <Kakadu> просто если я делаю oasis setup
[23:55:11] <Kakadu> то он что-то генерит
[23:55:13] <Kakadu> но после make
[23:55:42] <Kakadu> он собирает только исполняемый файл brb.byte и кое-что ложит на то, что лежит в src
[23:55:56] Kakadu подозревает что виноват оазис третьей версии
[23:56:59] <ermine> достаточно oasis setup
[23:57:06] <ermine> и выкинуть warn_A из _tags
[23:58:15] <ermine> ну вообще -w из оазиса тоже можно выкинуть
[23:58:35] <Kakadu> короче bobry идет нафиг
[23:59:21] <Kakadu> ermine: у тебя третий оазис?