Objective Caml - Вторник, 27 марта 2012

Objective Caml

ocaml@conference.jabber.ru

Вторник, 27 марта 2012< ^ >

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

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

GMT+4
[00:02:27] ermine спользуя дебаг быстро пофиксила зацикливание
[00:02:31] <ermine> тааак
[00:13:45] gds вышел(а) из комнаты
[00:33:00] bobry вышел(а) из комнаты
[00:33:28] ermine вышел(а) из комнаты
[00:33:38] bobry вошёл(а) в комнату
[00:53:29] ftrvxmtrx вышел(а) из комнаты
[00:56:41] ftrvxmtrx вошёл(а) в комнату
[01:22:24] bobry вышел(а) из комнаты
[01:39:37] Kakadu вышел(а) из комнаты
[01:45:42] Typhon вышел(а) из комнаты
[03:36:53] letrec вошёл(а) в комнату
[04:44:14] letrec вышел(а) из комнаты
[07:49:12] ftrvxmtrx вышел(а) из комнаты
[08:56:44] bobry вошёл(а) в комнату
[09:04:44] bobry вышел(а) из комнаты
[09:13:08] ftrvxmtrx вошёл(а) в комнату
[10:23:41] ftrvxmtrx вышел(а) из комнаты
[10:25:10] dzhon вошёл(а) в комнату
[10:32:00] ftrvxmtrx вошёл(а) в комнату
[10:36:41] ftrvxmtrx вышел(а) из комнаты
[10:36:51] ftrvxmtrx вошёл(а) в комнату
[10:38:36] ftrvxmtrx вышел(а) из комнаты
[10:55:27] ftrvxmtrx вошёл(а) в комнату
[10:58:20] Typhon вошёл(а) в комнату
[11:00:43] ermine вошёл(а) в комнату
[11:36:47] dzhon вышел(а) из комнаты
[11:46:04] gds вошёл(а) в комнату
[12:18:25] komar вышел(а) из комнаты: Replaced by new connection
[12:18:25] komar вошёл(а) в комнату
[12:22:35] klapaucius вошёл(а) в комнату
[13:19:28] <ermine> gds: как там с завершенностью, осилил?
[13:20:45] <gds> ermine: почти.  То есть, по-тупому я бы давно довёл доказательство, но по-тупому не хочу, поэтому мучаю людей на #coq, биндяжечек, чтобы они показывали мне, как _правильно_ делать какие-то вещи.
[13:23:35] shaggie вошёл(а) в комнату
[13:24:44] <ermine> gds: буду потом у тебя смотреть
[13:26:19] <gds> ermine: угу, это всяко лучше, чем вникать в трёп на ирц.  Но затупы по пару часов -- это в coq типично.  Хорошо что есть реаллайф-дел дофига, ну и по работе тоже что-то надо делать.  (хотя coq и парсер-комбинаторы это теперь тоже часть работы, просто не очень приоритетная.)
[13:27:58] klapaucius вышел(а) из комнаты
[13:27:58] ftrvxmtrx вышел(а) из комнаты
[13:28:00] ftrvxmtrx вошёл(а) в комнату
[13:28:26] klapaucius вошёл(а) в комнату
[13:30:02] <ermine> gds: а ты б еще попросил скомпилить книжку в coq 8.4
[13:30:16] klapaucius вышел(а) из комнаты
[13:30:16] ftrvxmtrx вышел(а) из комнаты
[13:30:38] ftrvxmtrx вошёл(а) в комнату
[13:31:03] <gds> ermine: вероятно это мне самому по силам, был бы coq 8.4 под рукой.
[13:32:59] <ermine> gds: да он элементарно компилится
[13:33:03] <ermine> coq 8.4
[13:33:12] <ermine> ему camlp5 уже не нужен
[13:33:23] <ermine> справится с camlp4 из ocaml 3.12.x
[13:33:29] klapaucius вошёл(а) в комнату
[13:33:35] <ermine> еще ему нужен lablgtk2
[13:35:48] <gds> сейчас -- лениво, потом -- подумаю.
[13:38:25] <ermine> а у меня выбора не было, только 8.4 скомпилился
[13:39:06] gds вышел(а) из комнаты: Replaced by new connection
[13:39:07] gds вошёл(а) в комнату
[13:40:41] gds вышел(а) из комнаты: Replaced by new connection
[13:40:42] gds вошёл(а) в комнату
[13:42:29] gds вышел(а) из комнаты
[13:42:34] gds вошёл(а) в комнату
[13:49:48] komar вышел(а) из комнаты: Replaced by new connection
[13:49:49] komar вошёл(а) в комнату
[14:40:49] komar вышел(а) из комнаты
[14:47:49] komar вошёл(а) в комнату
[15:16:53] dzhon вошёл(а) в комнату
[15:17:04] dzhon вышел(а) из комнаты
[15:17:15] dzhon вошёл(а) в комнату
[16:00:56] <Typhon> https://github.com/avsm/ocp-get wtf?
[16:48:20] klapaucius вышел(а) из комнаты
[16:50:17] dzhon вышел(а) из комнаты: Replaced by new connection
[16:50:17] dzhon вошёл(а) в комнату
[17:47:31] Kakadu вошёл(а) в комнату
[17:47:46] letrec вошёл(а) в комнату
[17:51:03] bobry вошёл(а) в комнату
[17:51:23] <bobry> Typhon: ага, еще один пакетный менеджер со своим сервером
[17:51:38] <bobry> ermine: кстати kombain очень вкусно выглядит, /me сегодня почитывал чутка
[17:52:15] <bobry> учитесь кстати кодогенерации по эрланговски https://github.com/seancribbs/neotoma/blob/master/src/neotoma.erl#L77
[17:58:21] <ermine> bobry: ну вот попробуй имап свою грамматику имапа в комбайне составить, потом спортишь под ырланко
[17:58:42] <ermine> bobry: в принципе можно кодогенератором в комбайне сгенерить код для ырланка
[17:59:38] ermine вспомнила как автор ejabberd так же генерил код для ырланка в свое время, причем структуру писал на tcl
[17:59:52] <ermine> про это есть статья в фпроге
[17:59:58] <bobry> какие утонченные извращения
[18:00:10] <bobry> да моя парсилка уже работает по большей части
[18:04:29] <ermine> ых
[18:05:51] <Kakadu> ура. я приехал с гребаной конфы
[18:07:32] <ermine> не опозорился, не удари клювом в грязь?
[18:08:32] <Kakadu> ну короче кроме члена жюри никто не понял о чем я говорил
[18:08:47] <bobry> Kakadu: даже вопросов не задавали?
[18:08:54] <Kakadu> ну только жюри
[18:09:00] <bobry> ermine: а комбайн умеет несколько точек входа? или мб includ'ы?
[18:11:34] <ermine> bobry: все парсеры доступны, можно или задать какое правило будет вызываться в parse функции, или там будет первое правило из грамматики
[18:12:15] <ermine> т.е. каждое правило - само точко входа
[18:12:26] <bobry> мм, т. е. каждое правило доступно для вызова?
[18:13:13] <ermine> ну да, можно даже смешивать разные грамматики, если надо, но я этого не пробовала
[18:13:48] <bobry> эрланговский генератор такого не умеет
[18:13:51] <ermine> я так сделала после того, как прочитала в спеке по ABNF про core rules, доступные в других спеках
[18:13:56] <bobry> пришлось велосипедить костыль по этому поводу
[18:14:06] <bobry> кстати, не хочешь проверить свой ABNF конвертер на IMAP?
[18:14:11] <bobry> там есть где разгуляться
[18:16:08] <ermine> bobry: ну если бы я парсила и мучала только markdown, то в комбайне бы осталось дохрена ограничений
[18:16:55] <ermine> я не делаю универсала, я добавляю фичи по мере наступления на попу
[18:17:57] <ermine> при этом сам парсер очень маленький
[18:18:50] <bobry> gds: а где кстати твои кокнуте парсеры? в репке пока пусто
[18:20:04] <ermine> он еще не доказал неглючность комбинаторов
[18:21:55] <ermine> я вот думала что у меня уже ничо не зацикливается, а вчера зациклилось!
[18:22:11] <ermine> gds: ты можешь такое себе представить?!
[18:25:09] dzhon вышел(а) из комнаты: Replaced by new connection
[18:25:09] dzhon вошёл(а) в комнату
[18:33:31] bobry вышел(а) из комнаты
[18:38:51] <gds> ermine: невероятно!11
[18:38:57] <gds> bobry: где-где.  в разработке!
[18:41:43] <Kakadu> кстати, бандлы в барбре намекают на chroot или не?
[18:44:09] <ermine> а что такое бандлы?
[18:45:41] <Kakadu> ну типа собрал барброй хрень, запаковал, принес на второй комп и работает
[18:47:05] <ermine> нет, это не чрут, а воркдир
[18:47:12] <ermine> который надо класть в tmpfs
[18:47:49] <ermine> а инсталлить - куда скажут
[18:48:22] <Kakadu> а попростому можно?
[18:51:14] <ermine> завести конфиг brb.conf в ~/.brb, туда вписать WORKDIR, а инсталлить - через камлофинд
[18:52:15] <ermine> и тогда _dep каталог не нужен
[18:53:05] dzhon вышел(а) из комнаты
[18:53:12] <ermine> Kakadu: тебе никто не обещал сладкую и беззаботную жизнь :)
[18:54:15] <ermine> Kakadu: а сейчас лучше научиться сначала проверить наличие депендса в камлофинде, если его там нет, то по старой схеме вытягивать и собирать
[18:57:16] <ermine> с камлофиндом два чрута не пойдут
[19:02:35] <Kakadu> ermine: > а сейчас лучше научиться сначала проверить наличие депендса в камлофинде
т.е. нада в конфиг барбры как-то включить инфу о версии пакета?
[19:04:00] Typhon вышел(а) из комнаты
[19:06:24] <ermine> Kakadu: при чом тут конфиг, делаешь ocamlfind query lwt и получаешь ответ в случае наличия в системе lwt, можно даже добавив аргумент опроса версии
[19:07:01] <ermine> потом решаешь, годится оно или надо самому собирать новый lwt
[19:07:22] <Kakadu> ermine: просто сейчас в конфиге нет инфе о версии пакета
[19:07:28] <Kakadu> инфы*
[19:07:50] <Kakadu> а инфу из системы я умею доставать
[19:08:21] <ermine> Kakadu: ну на данном этапе наплюем на эту особенность
[19:08:30] <ermine> Kakadu: в конфиге много чего нет
[19:08:48] <ermine> те же субпаккаджи lwt.react, lwt.ssl, про которые я уже говорила
[19:08:54] <Kakadu> т.е. если системно стоит то не ставить, иначе ставить?
[19:09:19] <Kakadu> про подпакеты это разнится с идеями боброго. Ты его спрашивала по этому поводу?
[19:09:53] <ermine> если системно стоят, то пометить депендс как уже собранный и поставленный
[19:10:15] <ermine> отладим это и займемся версиями и субпаккаджами
[19:10:27] <ermine> может даже сначала субпаккаджи, это проще чем версии
[19:10:58] <ermine> субппакаджи тоже через ocamlfind query тестятся
[19:11:08] <ermine> и версии там же
[19:11:51] <ermine> только по этим тестам получится дублирование оазиса
[19:41:41] letrec вышел(а) из комнаты
[19:56:20] letrec вошёл(а) в комнату
[20:13:07] ftrvxmtrx вышел(а) из комнаты
[20:34:38] ftrvxmtrx вошёл(а) в комнату
[21:04:20] ftrvxmtrx вошёл(а) в комнату
[21:04:33] ftrvxmtrx вышел(а) из комнаты
[21:17:22] bobry вошёл(а) в комнату
[21:17:38] <Kakadu> ermine: запили проверку на отинсталленность
[21:17:50] <Kakadu> черт, на автомате в ветку macroses
[21:17:55] <Kakadu> надо таки смержить
[21:23:06] <ermine> и прибить ветку
[21:23:16] <ermine> только не поняла на что пилить
[21:23:21] <ermine> и кого
[21:23:25] <ermine> и чем
[21:23:28] klapaucius вошёл(а) в комнату
[21:23:48] <Kakadu> ermine: я букву  не 31писа2
[21:23:53] <Kakadu> не дописал*
[21:27:06] <ermine> Kakadu: проверить работу легко - собрать ту же сульцу, в идеале в _dep не появится ни одгого депендса тогда
[21:27:23] <ermine> если мы про это
[21:27:48] ermine копается в дебаге маркдауна в поисках очередного недочета
[21:28:22] <Kakadu> я просто попробовал собрать pcre
[21:29:54] <ermine> ну pcre ни от чего не зависит
[21:30:51] <Kakadu> а сульца есть в рецептах*
[21:30:52] <Kakadu> ?
[21:31:19] <Kakadu> нету
[21:31:31] <Kakadu> ermine: чего тогда ты мне её предлагаешь?
[21:31:34] <ermine> неа, но brb.conf есть в репе сульци
[21:32:42] <ermine> (канюча кстати) переименовали бы конфиг в _brb
[21:33:17] <Kakadu> ermine: dep sqlite3 remote "default"
опечатка вроде
[21:33:54] <ermine> ой!
[22:22:34] <ermine> задница всегда в конце тестов наступает
[22:22:51] shaggie вышел(а) из комнаты
[22:23:20] ermine не знает, как распарсить возникшую ситуацию в тесте
[22:30:22] <ermine> а нет, знаю вроде, надо накрутить еще IQ себе и парсеру
[23:13:18] <ermine> как всё сложно
[23:15:10] <ermine> Kakadu: как успехи в борьбе с барбухой?
[23:24:55] <Kakadu> Ну он сульци скомпилил, но мне лень думать как он это скомпилил
[23:25:47] <ermine> Kakadu: а что там не так?
[23:25:58] Typhon вошёл(а) в комнату
[23:26:09] <Kakadu> я не знаю. Думаю что всё так. Ибо мне лень думать есть ли там допа
[23:26:12] <Kakadu> жопа*
[23:26:15] <ermine> Kakadu: в _dep/lib не должно быть того, что у тебя уже было
[23:42:28] <Kakadu> ermine:  вроде ок
[23:42:34] <Kakadu> всё нафиг спать
[23:43:14] Kakadu вышел(а) из комнаты