Objective Caml - Четверг, 29 декабря 2011

Objective Caml

ocaml@conference.jabber.ru

Четверг, 29 декабря 2011< ^ >

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

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

GMT+4
[00:33:33] bobry вышел(а) из комнаты
[00:35:05] Typhon вошёл(а) в комнату
[00:35:43] bobry вошёл(а) в комнату
[00:44:34] ftrvxmtrx вошёл(а) в комнату
[01:13:18] dzhon вышел(а) из комнаты
[01:13:34] dzhon вошёл(а) в комнату
[01:14:55] dzhon вышел(а) из комнаты
[01:15:22] dzhon вошёл(а) в комнату
[01:21:06] Typhon вошёл(а) в комнату
[01:24:57] Kakadu вышел(а) из комнаты
[01:41:56] komar вышел(а) из комнаты
[01:50:17] komar вошёл(а) в комнату
[02:06:51] dzhon вышел(а) из комнаты
[02:34:45] Typhon вышел(а) из комнаты
[03:09:57] komar вышел(а) из комнаты
[03:12:02] ak79 вышел(а) из комнаты
[03:13:39] komar вошёл(а) в комнату
[03:19:22] klapaucius вышел(а) из комнаты
[03:19:49] komar вышел(а) из комнаты: Replaced by new connection
[03:19:50] komar вошёл(а) в комнату
[03:33:12] letrec вошёл(а) в комнату
[03:47:09] Typhon вошёл(а) в комнату
[03:48:31] komar вышел(а) из комнаты
[03:55:32] komar вошёл(а) в комнату
[04:11:30] komar вышел(а) из комнаты
[04:15:16] komar вошёл(а) в комнату
[04:30:22] Typhon вышел(а) из комнаты
[04:30:43] Typhon вошёл(а) в комнату
[04:46:46] Typhon вышел(а) из комнаты
[04:58:08] Typhon вышел(а) из комнаты
[05:00:22] ak79 вошёл(а) в комнату
[05:01:24] komar вышел(а) из комнаты
[05:02:30] komar вошёл(а) в комнату
[06:14:43] komar вышел(а) из комнаты
[06:18:02] komar вошёл(а) в комнату
[06:27:27] gds вошёл(а) в комнату
[06:44:40] komar вышел(а) из комнаты
[06:56:14] komar вошёл(а) в комнату
[07:12:26] bobry вышел(а) из комнаты
[07:14:57] bobry вошёл(а) в комнату
[07:27:41] komar вышел(а) из комнаты
[09:56:01] ak79 вышел(а) из комнаты
[10:43:11] dzhon вошёл(а) в комнату
[10:43:21] dzhon вышел(а) из комнаты
[10:44:46] dzhon вошёл(а) в комнату
[10:45:36] dzhon вышел(а) из комнаты
[10:47:04] bobry вошёл(а) в комнату
[10:47:15] <bobry> gds: посмотрел ссылочку на odb?
[11:42:42] Andrey Popp вошёл(а) в комнату
[11:47:36] Andrey Popp вышел(а) из комнаты
[11:51:14] Andrey Popp вошёл(а) в комнату
[11:53:31] ftrvxmtrx вышел(а) из комнаты
[11:58:38] Andrey Popp вышел(а) из комнаты
[12:01:18] ermine вошёл(а) в комнату
[12:13:23] klapaucius вошёл(а) в комнату
[12:16:47] <gds> bobry: посмотрел.  воришка он!
[12:17:14] <bobry> gds: это же вызов! odb уже кто-то пользуется
[12:17:20] <bobry> а барбара пока в вакууме
[12:17:22] <bobry> надо что-то делать
[12:17:27] <bobry> каникулы-праздники на носу
[12:17:28] <gds> не, я пользуюсь барброй!
[12:17:33] <gds> делать -- можно.
[12:17:51] <bobry> делать — нужно
[12:18:04] <bobry> gds: надо шобы все в #ocaml пользовались барбарой :)
[12:21:54] <gds> не, все не будут.  уроды патамушта.
[12:23:03] <bobry> thelema конечно странный
[12:23:07] <bobry> почему бы нам не объеденить усилия
[12:23:16] <bobry> если он теперь тоже хочет локальные зависимости
[12:29:01] <gds> про "объединить" -- не странный, он предлагал подобное.
[12:29:17] <gds> это мы странные, что решили велосипедить.
[12:31:36] <bobry> гм, так давайте объединяться тогда
[12:31:58] <bobry> велосипедить пришлось от того что он в ишьюз странное писал
[12:32:31] ftrvxmtrx вошёл(а) в комнату
[12:32:46] bobry вышел(а) из комнаты
[12:34:19] mrm вошёл(а) в комнату
[12:34:35] bobry вошёл(а) в комнату
[12:35:33] <gds> давайте, объединяйтесь.  только репку не убивайте, я буду дописывать там мелочи.
[12:37:46] <bobry> ты в объединении участвовать не хочешь? :)
[12:39:38] <gds> у меня барбра работает, мне-то чо.  собирает п-ато, вытягивает, чуть ли не сама код пишет.  есть более интересные вещи, чем объединяться с odb.  могу перечислить текущий около-it план, может кто поможет мне.
[12:43:14] <gds> если же касаемо моих планов про барбру, то я рано или поздно, если не будет альтернатив в виде odb, допишу туда: 1. что-то типа venv, чтобы можно было использовать их несколько, 2. опцию "использовать только локальные зависимости, которые кроме ocaml+findlib", 3. бандлы (как вчера обсуждали).
[12:51:57] dzhon вошёл(а) в комнату
[13:02:02] <f[x]> у odb нет нормальной концепции
[13:02:15] <f[x]> ставится в ~/.odb по умолчанию - нафига?
[13:02:38] <f[x]> типа чтобы юзерам проще было, только кто потом этот каталог в ld.conf допишет?
[13:02:57] <f[x]> sudo дёргает (отключается опциями, но всё равно кривизна)
[13:03:26] <ftrvxmtrx> ставится в ~/.odb, но дёргает судо?
[13:03:46] <ftrvxmtrx> это печально
[13:05:38] <f[x]> не, sudo дёргает в каком-то другом случае
[13:13:49] <gds> кстати, был бы грамотный ход.  вдруг пользователь что-то по глупости хочет удалить из ~/.odb, а тут -- на тебе по всему рылу!  защищено!  так-то!
[13:16:20] <f[x]> sudo make install это FAIL
[13:19:23] <gds> почему?  (если исключить, что make install при наличии пакетных менеджеров это fail)
[13:21:29] <f[x]> а зачем? создай группу для таргет каталога, добавь себя туда и будь спокоен что никакой make install не накосячит в системе
[13:22:40] <gds> иногда надо таки системно ставить.
[13:23:07] <gds> ну, ещё более системно, чем в отдельный каталог.
[13:24:01] <f[x]> более системно чем в /usr/local ?
[13:24:10] <f[x]> у меня для тебя плохие новости :)
[13:24:26] <gds> только /bin!  только /boot!
[13:24:40] <f[x]> тогда уж DESTDIR=tmp и оттуда руками скопировать в корень
[13:25:00] <f[x]> если не хочется нормальный (хотя бы checkinstall) пакет делать
[13:25:24] Kakadu вошёл(а) в комнату
[13:27:22] bobry вышел(а) из комнаты
[13:46:17] shaggie вошёл(а) в комнату
[14:17:57] bobry вошёл(а) в комнату
[14:21:16] Kakadu вышел(а) из комнаты
[14:22:26] mrm вышел(а) из комнаты
[14:26:19] Kakadu вошёл(а) в комнату
[14:34:19] f[x] докатился, оптимизирует printf'ы
[14:41:38] <f[x]> ичсх, есть что :
printf : allocated    170.9MB, heap         0B, collection 0 0 684, elapsed 1.13 secs, 0.00/sec : ok
manual : allocated      3.8MB, heap         0B, collection 0 0 16, elapsed 0.0581 secs, 0.00/sec : ok
[15:09:58] Typhon вошёл(а) в комнату
[15:15:38] Typhon вышел(а) из комнаты: Replaced by new connection
[15:15:58] Typhon вошёл(а) в комнату
[15:30:25] mrm вошёл(а) в комнату
[15:49:42] Typhon вышел(а) из комнаты
[15:57:19] <bobry> ну вот, я думал в х-ле через тайп классы можно расширять printf.. а оказалось там обычный кейс
[15:57:38] <bobry> http://hackage.haskell.org/packages/archive/base/4.4.1.0/doc/html/src/Text-Printf.html
[15:58:06] Typhon вошёл(а) в комнату
[16:01:52] mrm вышел(а) из комнаты
[16:06:35] Typhon вышел(а) из комнаты
[16:07:10] Typhon вошёл(а) в комнату
[16:07:10] Typhon вышел(а) из комнаты
[16:07:34] Typhon вошёл(а) в комнату
[17:01:52] Typhon вышел(а) из комнаты
[17:02:23] Typhon вошёл(а) в комнату
[17:10:52] komar вошёл(а) в комнату
[18:07:26] komar вышел(а) из комнаты
[18:08:52] <bobry> gds: ping
[18:08:56] <bobry> ты в #ocaml сидишь?
[18:09:02] <bobry> что-то не нравится мне там ход разговора
[18:09:12] <gds> bobry: pong; не сижу.  ща гляну логи.
[18:09:43] <bobry> thelema запилил все что у нас есть
[18:09:51] <bobry> но не хочет project-local deps
[18:10:17] <bobry> я ему предложил слиться в экстазе (odb + brb) — на что он (в общем то резонно заметил), что нам нечего ему предложить
[18:10:50] <bobry> все это как то обидно
[18:11:22] <Kakadu> есстественный отбор
[18:11:32] <Kakadu> если у него будет всё ОК , то ладно
[18:11:47] <Kakadu> bobry: у тебя есть идеи для киллер фич?
[18:12:02] <bobry> bobry: dig through the last few commits; I've been pumping out features this last week relating to what barbra can do.
[18:12:04] <bobry> fs
[18:12:09] <bobry> он запилил наши идеи ..
[18:12:34] <gds> дык исходники открыты, в чём проблема, конечно запилил.
[18:12:57] <gds> прочитал логи.  ну, обидно, и чо.  у меня кучи идей оказались тоже уже реализованными, и никто не умер.
[18:13:16] <bobry> но они не просто "уже реализованы"
[18:13:21] <bobry> в общем то не важно
[18:14:48] <bobry> барбару надо пилить дальше
[18:16:40] <bobry> если желающие есть конечно :)
[18:17:46] <gds> ну пусть пишет.  будет нормальный odb -- тоже неплохо.  будем пилить барбру -- и это хорошо.  в конце концов, никто не заставляет использовать "только odb", а барбру надо сделать так, чтобы она куда угодно "навешивалась" без особых проблем.  свои планы про неё я высказал выше.  это -- планы-минимум.  то, что точно пригодится лично мне.  остальное -- думайте.  однако, если никто кроме меня не использовал барбру в деле, то не знаю, какой опыт можете учесть на будущее.
[18:18:10] <Kakadu> короче нам надо бандл
[18:21:05] <gds> не обязательно бандл первой фичей.  пока я сваливаю на пару часов, можете почесать репу про зависимости, ну или про подключаемые индексы пакетов, типа "источники пакетов".  мои потребности почти удовлетворены, но с развитием помог бы.
[18:26:29] <bobry> нам надо топологическую сортировку
[18:26:32] <bobry> и контроль версий
[18:26:34] <bobry> вот что нам надо
[18:26:36] <bobry> ДО бандлов
[18:27:22] <Typhon> http://paste.in.ua/3555/ топологическая сортировка %)
[18:30:21] <bobry> Typhon: лол, ну сам то алгоритм известен :)
[18:30:26] <bobry> нам бы его в код внедрить
[18:30:29] ak79 вошёл(а) в комнату
[18:31:39] <f[x]> нафига??
[18:31:58] <f[x]> сортировка
[18:33:09] <bobry> f[x]: шобы ставить в нужном порядке все
[18:47:10] <f[x]> так ставьте в порядке указания в файле
[18:49:55] <Kakadu> я предлагаю вначале ввести инклюды конфигов. Как в си. Инклюдить можем из файловой системы, или по урлу.
[18:50:18] <Kakadu> Более поздняя информация о пакете перезаписывает предыдущую
[18:50:57] <Kakadu> f[x]: ты пробовал кросскомпилить камло на хост-машине с линуксом падвенду?
[18:51:05] <Kakadu> нет не так
[18:51:20] <f[x]> нет
[18:51:22] <Kakadu> f[x]: ты пробовал кросскомпилить проги на камле на хост-машине с линуксом падвенду?
[18:51:33] <f[x]> нет
[18:51:38] <f[x]> :)
[18:51:57] <Kakadu> тогда пока думаем о бандлах для лиункса (а венда лесом)
[19:01:19] <gds> Kakadu: почему из "не пользовать кросскомпиляцию" следует "бандлы для венды лесом"?  я нихрена не могу понять этой хитроумной логики.
[19:03:16] <Kakadu> gds: ну как я на своем дебиане сделаю бандл для венды без кросскомпиляции:
[19:03:17] <Kakadu> ?
[19:03:49] <gds> запакуешь все исходники в .tar.gz, в который положишь шелл-скрипт для компиляции.
[19:05:04] <Kakadu> gds: видимо надо дописать в "терминологию" про бандл
[19:05:29] <Kakadu> я имхо думал что бандл это когда распаковал, запустил run.sh и всё работает
[19:06:27] <gds> почти.  запустил, всё _компиляется_ и работает, требуя самое базовое (у нас -- ocaml+findlib).  а то, что ты предлагаешь, называется "бинарная сборка".
[19:07:27] <Typhon> барбара всё-таки тулза для разработчиков
[19:08:24] <gds> если она умеет всё, кроме одного маленького шага про бандл, чего бы не дописать.
[19:26:00] bobry вышел(а) из комнаты
[19:55:28] <gds> https://github.com/camlunity/barbra/commit/7c8df5805991b42644047e15e97c60f19e52cdc7
[19:57:25] <Kakadu> gds: по-видимому надо сделать суперпозицию функций логгирования и системных вызовов
[19:57:34] <gds> чочо
[19:58:14] <Kakadu> ну чтобы когда мы делали wget ... + cd + make это писалось сразу же в скрипт
[19:58:59] <gds> угу, так и хотел.  только wget не надо.  надо то, что в install.ml.
[20:01:27] <Kakadu> ermine: что скажешь о генерации БНФ по ast с парсер-комбинаторами?
[20:22:47] ermine вздрагивает от хайлата и озирается
[20:23:56] <ermine> парсером ничо не генерят
[20:24:43] <ermine> Kakadu: давай разворачивай мысль
[20:25:46] ermine смотрит на бнф урла и думает - то ли написать peg bnf, чтобы он его читал и сам сгенерил peg грамматику для урла, то ли вручную сконвертить бнф урла в пег
[20:26:19] mrm вошёл(а) в комнату
[20:27:16] <Kakadu> ну есть функция которая что-то парсит. Я хочу породить грамматику bnf с аналогичным языком
[20:30:59] <ermine> Kakadu: это наверное называется трансформацией ast в bnf
[20:31:23] <Kakadu> ну а я это и сказзал (с)
[20:31:29] <ermine> ну, как говорится, завернуть кирпич в флаг и повесить на шею и вперед
[20:31:40] komar вошёл(а) в комнату
[20:31:56] <ermine> если грамматика недвусмысленная и без сокращающих правил - то можно
[20:33:13] <ermine> если в грамматике есть епсилоны - то фиг тебе будет
[20:33:16] <Kakadu> не грамматику надо получить, дан код на кобинаторах
[20:33:25] <Kakadu> не, *
[20:33:39] <Kakadu> вид комбинатров могу варьировать
[20:35:03] <ermine> а у них есть виды?
[20:35:53] <Kakadu> ну собственно я могу породить свою библиотеку парсер-комбинаторов и ast с ними и преоразовывать. Чтобы комбинаторы были "хорошие"
[20:37:16] <ermine> Kakadu: а нахрена тебе убогий бнф? в чистом виде у бнфов нет никаких регулярных выражений
[20:38:03] <Kakadu> Есть проект где бнф расширили "правилами высшего порядка". Для него грамматику хочу и сгенерить
[20:38:22] <ermine> через тугодумные рекурсивные правила, следить за левой или правой рекурсией
[20:38:22] <Kakadu> для этой грамматику уже порождатели всяких видов разборов понаписаны
[20:38:42] <ermine> и выбор стороны рекурсии зависит от дальнейшей планируемой судьбы грамматики
[20:39:11] <Kakadu> не отвлекайся от темы)
[20:39:54] <ermine> не, я серьезно, учитывать надо LR или RR
[20:40:19] <Kakadu> надо. учту. Меня сейчас не это интересует
[20:43:12] <ermine> а что же волнует?
[20:43:16] <ermine> чота не видно
[20:43:31] ftrvxmtrx вышел(а) из комнаты
[20:43:39] <Kakadu> с какими проблемами столкнусь кроме рукурсий?
[20:44:08] <ermine> ну ast - это конкретная штука же
[20:44:17] <ermine> там типы конкретные
[20:44:29] <ermine> а bnf - это набор лексем
[20:44:39] <ermine> как и любая грамматика
[20:44:49] <Kakadu> угу
[20:45:37] <Kakadu> короче надо тупо делать и много не думать
[20:45:44] <ermine> ну вот у тебя в ast есть Int или Inline (Strong "abc"), шо ты нопишешь в бнф
[20:47:10] <Kakadu> ну если у меня в аст p_many is_number то мне понятно бнф
[20:47:19] <Kakadu> а что ты хотела сказать мне не понятно
[20:51:27] komar вышел(а) из комнаты
[20:52:39] <ermine> Kakadu: подумалось, что дешевлее, если у тебя камло, то взять какой-нить type-conv и перегнать type ast = ... чиста в бнф
[20:52:56] <Kakadu> у меня фадиез
[20:53:06] ermine порадовалась своей гениальной идее
[20:53:28] <Kakadu> я идею не понял
[20:53:42] <ermine> ну распарсить тип можно, его псевдобнф описан в доке
[20:54:04] ermine для своей задачки таки решила писать конвертер бнфа в пег
[20:54:19] <Kakadu> чей тип распарсить?
[20:54:29] <Kakadu> комбинатора?
[20:54:38] <ermine> type ast = ...
[20:54:54] <Kakadu> ааа, аст заматчить
[20:55:13] <ermine> комбинаторы возвращают какой-то тип ведь?
[20:55:29] <Kakadu> угу
[20:55:45] <Kakadu> типа распарсил или облажался
[20:56:40] <ermine> type ast =  Int of int | Float of float переводишь в ast ::= int | float и фсё
[20:57:10] <ermine> ну можно еще int ::= digit | digit int
[20:57:54] <Kakadu> ну ладно, черт с ним с тайпконвом
[21:00:55] <ermine> Kakadu: ты на НГ до полуночи будешь кодить?
[21:01:38] <Kakadu> я хз
[21:01:41] <Kakadu> не
[21:01:51] <Kakadu> я иду в ощагу страдать хернёй
[21:06:58] Typhon вышел(а) из комнаты
[21:08:12] Typhon вошёл(а) в комнату
[21:14:41] Typhon вышел(а) из комнаты
[21:19:53] gds вышел(а) из комнаты
[21:24:16] ak79 вышел(а) из комнаты
[21:25:44] letrec вышел(а) из комнаты
[22:21:56] shaggie вышел(а) из комнаты
[22:39:48] <ermine> блин
[22:40:00] <ermine> не ешьте, дети, всякую каку перед сном
[22:40:09] <ermine> не берите бнфы где попало
[22:40:16] <ermine> надо читать RFC
[22:41:59] <ermine> вот еще вопрос - какой рфц урла брать во внимание
[23:31:06] mrm вышел(а) из комнаты
[23:48:48] komar вошёл(а) в комнату