Objective Caml - Четверг, 12 января 2012

Objective Caml

ocaml@conference.jabber.ru

Четверг, 12 января 2012< ^ >

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

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

GMT+4
[00:12:37] bobry вышел(а) из комнаты
[00:14:58] bobry вошёл(а) в комнату
[00:32:20] Typhon вошёл(а) в комнату
[00:32:22] Typhon вышел(а) из комнаты
[00:32:45] Typhon вошёл(а) в комнату
[00:34:02] Typhon вышел(а) из комнаты: Replaced by new connection
[00:34:38] Typhon вошёл(а) в комнату
[00:45:37] dzhon вышел(а) из комнаты
[00:45:53] Kakadu вышел(а) из комнаты
[00:46:13] Typhon вышел(а) из комнаты: Replaced by new connection
[00:46:32] Typhon вошёл(а) в комнату
[01:00:07] Typhon вышел(а) из комнаты: Replaced by new connection
[01:00:27] Typhon вошёл(а) в комнату
[01:00:33] Typhon вышел(а) из комнаты
[01:01:44] Typhon вошёл(а) в комнату
[01:05:02] Typhon вышел(а) из комнаты: Replaced by new connection
[01:05:22] Typhon вошёл(а) в комнату
[01:06:21] Typhon вышел(а) из комнаты
[01:08:01] Typhon вошёл(а) в комнату
[01:09:18] Typhon вышел(а) из комнаты
[01:10:50] Typhon вошёл(а) в комнату
[01:11:25] Typhon вышел(а) из комнаты: Replaced by new connection
[01:11:46] Typhon вошёл(а) в комнату
[01:22:27] Typhon вышел(а) из комнаты
[03:30:40] f[x] вышел(а) из комнаты: Computer went to sleep
[03:32:42] letrec вошёл(а) в комнату
[03:32:48] letrec вышел(а) из комнаты
[03:33:04] letrec вошёл(а) в комнату
[04:53:14] letrec вышел(а) из комнаты
[05:31:27] bobry вышел(а) из комнаты
[05:34:42] bobry вошёл(а) в комнату
[07:30:39] komar вошёл(а) в комнату
[10:20:02] Typhon вошёл(а) в комнату
[10:58:04] bobry вошёл(а) в комнату
[11:17:17] Andrey Popp вышел(а) из комнаты
[11:25:19] Kakadu вошёл(а) в комнату
[11:43:52] <Kakadu> f[x]: скорее всего lablqt для QtGui не будет. С Qrntzz договариваемся о qml...
[11:43:53] f[x] предупреждает, игрушки вредят камлопогроммированию
[11:44:08] Kakadu предупреждает что сериалы тоже
[12:04:50] ermine вошёл(а) в комнату
[12:07:38] bobry вышел(а) из комнаты
[12:10:57] gds вошёл(а) в комнату
[12:37:40] Andrey Popp вошёл(а) в комнату
[13:09:20] bobry вошёл(а) в комнату
[13:14:17] shaggie вошёл(а) в комнату
[13:45:48] <ermine> интересно, где теперь берут type-conv >= 3.0.4?
[13:46:27] <bobry> ermine: https://forge.ocamlcore.org/frs/?group_id=252
[13:50:11] <ermine> ужос, третий вариант
[13:50:39] <ermine> наверное js core с ним не соберется
[13:54:33] <bobry> c 3.0.4? еще как соберется
[14:01:10] <ermine> bobry: ты уже автоматизированно обновляешь либлы или как?
[14:03:13] <bobry> ermine: я их через АУР обновляю — я ж на арче
[14:17:44] <ermine> Fatal error: exception Failure("Fix your permissions")
[14:17:52] <ermine> при сборке нового оазиса
[14:19:49] <f[x]> INSTALL не читай, сразу собирай
[14:21:53] <ermine> а что там?
[14:22:02] <ermine> там ничего про это
[14:26:46] <f[x]> ermine: значит я ошибся
[14:26:49] <f[x]> ermine: make fixperms
[14:29:32] <ermine> кажется, теперь собралось с тестами
[14:29:39] <ermine> ставить? боязно :)
[14:45:50] <ermine> фух, js core перекомпилилось, ничто не угрожает проекту lablqt
[14:50:49] ermine протестила работу оазиса на своем мелком проекте, работаеть
[14:51:28] <ermine> ну тогда чао, старый оазис
[14:52:24] <ermine> а оазис все еще 0.2.0
[14:58:46] <ermine> таки после обновления оазиса стал собираться ocaml-text, значит, что то поменялось
[14:59:26] <ermine> зря галл не поменял версию
[15:02:16] <ermine> и всё та же лажа с -uninstall
[15:42:30] letrec вошёл(а) в комнату
[15:42:40] letrec вышел(а) из комнаты
[15:42:56] letrec вошёл(а) в комнату
[16:36:48] <gds> ermine: сделала brb.conf для оазиса?
[16:38:22] <ermine> gds: нет
[16:38:34] <ermine> и барбару не собирала
[16:38:57] <gds> а зря.  Так было бы вполне реюзабельно то, что ты сделала руками.
[16:39:08] <ermine> gds: и непонятно, зачем собирать какой-то конфиг
[16:39:31] <ermine> он же не пересоберет всё, что зависело от type-conv
[16:42:17] <gds> пишешь в brb.conf всё, что нужно для type-conv, перед самим type-conv, и он пересобирает всё.
[16:44:48] <ermine> gds: все что зависит от type-conv, вычисляется сложными запросами к камлофинду
[16:52:05] <f[x]> ermine: тогда тебе нужен odb
[16:55:09] ermine обновила оксигень
[16:56:53] <bobry> как бы научить барбару резолвить зависимости.. их
[17:10:06] <gds> кстати про барбру, руки наконец дошли.  Вроде бы принципиально всё получится, поэтому раскрою секрет.  http://paste.in.ua/3632/ .  Но оно не минималистично, и, может быть, будут идеи получше.
[17:11:04] <bobry> gds: можно пояснения к секрету?
[17:11:47] <gds> dsl как для выполнения в окамле, так и для генерации в .sh
[17:12:22] <bobry> может лучше наваять мини-парсер?
[17:12:34] <bobry> а потом просто транслировать ast
[17:12:54] <bobry> в общем то это мало чем будет отличаться от твоего кода
[17:12:59] <bobry> кроме конечного вида исходника
[17:13:44] <gds> какой мини-парсер, в чьё ast?
[17:15:25] <bobry> ну можно сделать какой нить фейковый язык и транслировать его в камло и баш
[17:16:47] <gds> кстати, транслировать буду в sh.
а про язык -- мне не очень нравятся синтаксические загоны.  кроме красоты от них понта нет.  всё можно выразить и на окамле.
[17:31:45] Kakadu вышел(а) из комнаты: Replaced by new connection
[17:31:45] Kakadu вошёл(а) в комнату
[17:40:01] <Kakadu> люди, а жуйке есть кого почитать?
[17:40:40] <bobry> Kakadu: жуйк мертв
[17:40:59] <Kakadu> какой плохой день
[17:41:04] <bobry> да уж
[17:41:12] <bobry> там даже про х-ль уже почти не пишут
[17:41:14] <bobry> а про камл тем более
[17:42:51] <Kakadu> я тоже смотрю --- старые посты
[17:43:14] <klapaucius> Я месяц назад написал критический пост.
[17:43:51] <Kakadu> на работе проект хотят закрыть. В следствие этого отправлять меня куда-то на 3-4 месяца не круто. А двухлетие стажа отмечается в апреле
[17:44:59] <gds> кстати вот, что не нравится мне в своём проекте про shell dsl, так это какие-то мутноватые seq.
[17:45:18] klapaucius вышел(а) из комнаты
[17:46:23] Kakadu усиленно думает о бобром. Может сгонять в город на разведку местности / познакомиться на будущее?:
[17:49:49] <bobry> Kakadu: куда тебя отправляют та?
[17:50:09] <bobry> приходи к нам на функциональщине писать!
[17:50:17] <bobry> gds: в шеле тоже есть seq :)
[17:51:14] <gds> понимаю, что есть.  но какой-то он кривоватый у меня.  не могу сформулировать.
[18:00:19] klapaucius вошёл(а) в комнату
[18:11:31] <Kakadu> bobry: отправлять по сути в какой-то иной проект на три месяца
[18:11:42] <Kakadu> ибо после июня я сильно хочу к вам
[18:13:09] <bobry> после июня, хмм — после защиты?
[18:13:37] <Kakadu> угу
[18:13:41] <Kakadu> надеюсь после удачной
[18:13:50] <Kakadu> надо что-то усиленно делать
[18:35:55] komar вышел(а) из комнаты
[18:40:03] komar вошёл(а) в комнату
[18:40:21] Kakadu вышел(а) из комнаты
[19:30:04] Kakadu вошёл(а) в комнату
[19:39:58] bobry вышел(а) из комнаты
[19:42:13] <ermine> интересно, как заюзать type-conv при полном отсутствии примеров и док
[19:46:58] Andrey Popp вышел(а) из комнаты
[19:52:14] <Kakadu> сижу тут думаю какой тип выбрать для потока токенов, чтобы потом аст парсер-функций матчить удобно было
[20:00:27] <ermine> главное не в одном дереве типов
[20:03:46] <ermine> Kakadu: трансдукционная грамматика?
[20:04:01] <Kakadu> я не знаю таких слов
[20:04:09] <ermine> ключевое слово тут было "поток"
[20:04:38] <ermine> берем входный поток, переписываем его в выходный поток
[20:04:56] <Kakadu> эти детали не важны
[20:05:14] <Kakadu> положим не поток а список.
[20:05:37] <Kakadu> надо откуда-то брать функцию "следующий элемент --- число"
[20:05:58] <ermine> или вместо символов входного потока делаем инструкции для генерации выходного потока, для 1+1 делаем "создать число 1", "делаем оператор +", "создаем число 1", а можно потом "сложить всё"
[20:06:37] <Kakadu> не
[20:06:51] <Kakadu> я ещё предпарсинговую подготвку обдумываю
[20:07:07] <Kakadu> а то парсить список char это хрень
[20:07:56] <Kakadu> короче будет у меня pop, peek, ended, и ещё много функций типа isDigit, isPlus etc
[20:08:55] <Kakadu> что-то не нравится мне всё это
[20:08:59] <ermine> пушдаун?
[20:09:22] ermine уже избавилась от этого, поняв кошмарность такого подхода
[20:09:56] <Kakadu> нет, пеги от меня нехотят
[20:10:11] <Kakadu> окодемота не слушает ermine и ковыряется в грамматиках
[20:10:37] <ermine> пег тут ни при чем
[20:10:51] <Kakadu> да и парсер тут нипричем
[20:10:57] <ermine> пушдаун даже перпендикулярен к пегу, это я к пегу попыталась приплести часть от glr
[20:11:48] <ermine> Kakadu: сам ты академота
[20:11:50] <Kakadu> короче надо каким-то типом представить поток токенов. Желательно чтобы этот тип был в фадиезе. И желательно чтобы код комбинаторов сильно не размазывался
[20:12:05] <Kakadu> ermine: я не обзывал тебя академотой
[20:12:24] <ermine> Kakadu: ориентировался бы чуток в этой парсинговой каше технологий
[20:12:41] <Kakadu> верно
[20:12:51] <Kakadu> а то я представляю себе только LL и LR
[20:13:31] <ermine> Kakadu: а что такое пушдаун - знаешь?
[20:13:43] <ermine> Kakadu: как с LR в общем случае работают?
[20:14:09] <Kakadu> пушдаун это магазинный автомат по-русски?
[20:14:27] <ermine> может, у тя другие книжки были и там всё иначе, чем в моих...
[20:14:53] <Kakadu> ну LR он строит деревья и объединяет их время от времени. Потому и снизу вверх
[20:15:27] <ermine> Kakadu: пушдаун: 1+1
PUSH 1
PUSH 1
ADD (оно POP, POP и сложит)
[20:16:29] Kakadu вспомнил как на 1м курсе писал парсер арифметики не рек. спуском, а стеком
[20:16:45] <ermine> Kakadu: оно стоит деревья для создания таблиц
[20:19:12] <ermine> в LR: лексер выдает 1, делать с ним нечего, суем в стэк, дальше лексер выдает +, говоря что он оператор и хочет два операнда, суем его в стэк, лексер выдает 1, суем в стэк и ищем по таблице чему будет равна редкуция 1+1
[20:20:04] <ermine> а LL вообще не интересно, хотя PEG целиком в LL сидит
[20:20:50] <Kakadu> а таблица редукций изначально дана в LR?
[20:21:51] <ermine> не обязательно
[20:22:29] <Kakadu> тогда непонятно как он понимает во что редуцировать
[20:23:31] <ermine> по мне, простейший случай - хэштабло, когда в качестве ключа выступает последовательность нетерминалов, в данном случае INT ADD INT
[20:23:53] <ermine> а в качестве значения будет INT
[20:24:08] <ermine> само число 1 или 2 - это семантика просто
[20:24:12] <Kakadu> это таблица редукций такая. угу
[20:27:03] <Kakadu> а почему пушдаун графом всегда изображают?
[20:27:18] dzhon вошёл(а) в комнату
[20:29:30] dzhon вышел(а) из комнаты
[20:31:24] <ermine> потому что стэк
[20:36:23] <ermine> Kakadu: ты еще ориентируешься в NFA и DFA?
[20:36:49] <ermine> и как с их помощью делают регэкспы
[20:37:05] <Kakadu> не-а
[20:37:11] <Kakadu> я знаю только названия
[20:37:25] <ermine> а peg удобен кстати тем, что это регэкспы как раз, пусть в жадном варианте только
[20:37:33] <Kakadu> ну там типа переход между состояниями очевиден, а там нет
[21:05:12] Typhon вышел(а) из комнаты
[21:08:33] <Kakadu> спросил называется в ирке фадиезной
[21:08:46] <Kakadu> спросили зачем мне нужны дайнэмики, и дружно замолчали
[21:11:04] letrec вышел(а) из комнаты
[21:22:26] <ermine> шошо?
[21:22:39] <ermine> дайнэмики?
[21:27:34] <Kakadu> угу
[21:27:43] <Kakadu> там же нет утиной типизации на объектах
[21:31:25] <Kakadu> и ещё фадиез реально долго компилится
[21:54:44] <gds> "работает -- значит думает!" :]
[22:09:35] shaggie вышел(а) из комнаты
[22:40:43] f[x] вошёл(а) в комнату
[23:08:07] komar вышел(а) из комнаты
[23:10:44] ermine вышел(а) из комнаты
[23:14:14] komar вошёл(а) в комнату