Objective Caml - Вторник, 24 января 2012

Objective Caml

ocaml@conference.jabber.ru

Вторник, 24 января 2012< ^ >

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

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

GMT+4
[00:14:10] Typhon вошёл(а) в комнату
[00:46:35] ftrvxmtrx вошёл(а) в комнату
[02:02:51] gds вышел(а) из комнаты
[02:43:06] Typhon вышел(а) из комнаты
[04:10:31] ftrvxmtrx вышел(а) из комнаты
[04:10:45] ftrvxmtrx вошёл(а) в комнату
[04:40:48] f[x] вышел(а) из комнаты: Computer went to sleep
[05:03:45] letrec вошёл(а) в комнату
[05:58:09] letrec вышел(а) из комнаты
[06:07:33] letrec вошёл(а) в комнату
[06:53:11] ermine вошёл(а) в комнату
[07:55:03] letrec вышел(а) из комнаты
[10:09:08] bobry вышел(а) из комнаты
[10:53:19] gds вошёл(а) в комнату
[11:10:32] bobry вошёл(а) в комнату
[11:11:21] ftrvxmtrx вышел(а) из комнаты
[11:45:07] klapaucius вошёл(а) в комнату
[12:02:29] ftrvxmtrx вошёл(а) в комнату
[12:35:10] dzhon вошёл(а) в комнату
[12:46:28] Kakadu вошёл(а) в комнату
[12:49:09] <bobry> кто нибудь знает такого пацанчика? https://github.com/an146
[12:55:02] ftrvxmtrx вышел(а) из комнаты
[12:55:52] <ermine> Kakadu: как философию прочирикал-то?
[12:56:00] <Kakadu> ermine: отл.
[12:56:17] <ermine> Kakadu: а что теперь? липлом летом?
[12:56:34] <Kakadu> ermine: надо делать вот желательно быстро
[12:56:37] <bobry> Kakadu: congrats, что отвечал?
[12:57:31] <ermine> нишще с соловьевым
[12:57:38] <Kakadu> bobry: Коперниканский переворот Канта и про вещь в себе
[12:58:38] <ermine> уу
[13:02:01] dzhon вышел(а) из комнаты: Replaced by new connection
[13:02:04] dzhon вошёл(а) в комнату
[13:03:05] <Kakadu> ermine: Барбра Стрейзанд. УУУУ-у-уууу-у-ууу-у
[13:11:35] ftrvxmtrx вошёл(а) в комнату
[13:20:23] ermine зашла в scala@ и заскучала там
[13:20:35] <ermine> у камла документация просто супер
[13:23:11] shaggie вошёл(а) в комнату
[13:23:25] shaggie вышел(а) из комнаты
[13:23:30] shaggie вошёл(а) в комнату
[13:23:33] shaggie вышел(а) из комнаты
[13:24:31] shaggie вошёл(а) в комнату
[13:24:44] shaggie вышел(а) из комнаты
[13:28:00] shaggie вошёл(а) в комнату
[13:28:26] shaggie вышел(а) из комнаты
[13:28:39] shaggie вошёл(а) в комнату
[13:28:43] shaggie вышел(а) из комнаты
[13:29:00] shaggie вошёл(а) в комнату
[13:29:02] shaggie вышел(а) из комнаты
[13:30:36] shaggie вошёл(а) в комнату
[13:30:43] shaggie вышел(а) из комнаты
[13:30:48] shaggie вошёл(а) в комнату
[13:32:29] shaggie вышел(а) из комнаты
[13:55:08] Kakadu вышел(а) из комнаты
[13:59:19] Kakadu вошёл(а) в комнату
[14:11:59] <bobry> Kakadu: даешь запил барбары!!11
[14:12:44] dzhon вышел(а) из комнаты: Replaced by new connection
[14:12:47] dzhon вошёл(а) в комнату
[14:14:24] <ermine> барбарашка
[14:19:29] <bobry> мне нравится подход французов — не смогли решить, значит не нужно
[14:20:46] <ftrvxmtrx> Ulrich Leroy
[14:20:52] <ftrvxmtrx> Xavier Drepper
[14:21:46] <ftrvxmtrx> кстати, почему "barbra"?
[14:21:50] <f[x]> xl кстати о ud вполне положительно отзывался :)
[14:22:12] <f[x]> bobry: чего опять случилось?
[14:22:31] <ftrvxmtrx> bar -- бар, bra -- бюстгальтер
[14:22:40] <bobry> f[x]: дя ничего, тред с синтаксисом для монад опять всплыл
[14:22:43] <bobry> *да
[14:23:31] <f[x]> имхо в этом случае - годный подход
[14:23:35] <gds> кто-то слоупок :]
[14:23:47] <bobry> лол, ну я не часто камло лист читаю
[14:23:50] <f[x]> лучше чем крэп в core языке
[14:24:01] <bobry> почему crap?
[14:24:01] <gds> bobry: я поднимал тему в чятике.
[14:24:19] <f[x]> потому что потом выяснится что надо было делать не так - а ломать уже поздно
[14:24:24] <gds> потому что непонятно, как с модульностью, до нормального решения не дошли, а потом хрен выпилишь.
[14:24:45] <bobry> но ведь что-то такое в любом случае нужно
[14:24:59] <bobry> ermine: а как в скале с манатками?
[14:25:45] <f[x]> про синтаксис labelled аргументов и квалификацией модулей на полях рекордов - оригинальные азпиливатели этого теперь тоже немножко жалеют
[14:25:46] <gds> что-то такое уже есть в pa_monad и pa_lwt.
[14:26:04] <gds> f[x]: почему?
[14:26:18] <f[x]> в недавних тикетах что-то было такое
[14:26:35] <f[x]> для рекордов логичней было бы A.{ x = y }
[14:26:51] Typhon вошёл(а) в комнату
[14:26:52] <f[x]> а текущий вариант не даёт чего-то там ещё запилить - не помню уже
[14:27:02] <bobry> pa_monad выглядит как гм
[14:27:20] <gds> да, было бы логичнее A.{}.
[14:27:41] <f[x]> PR#5488
[14:27:57] <f[x]> а про labelled JG в томм треде про манатки упоминал вроде
[14:28:06] <gds> ну дорисовать более правильный pa_monad.
другое дело, что жопой чувствую, что даже более правильный поломается на revised syntax.
[14:29:33] <ermine> bobry: только что обсудили монады
[14:29:53] <ermine> они обрадовались моей реплике, что монады вне хаскеля - гавно
[14:30:08] <gds> custom let ещё полезен для with-идиомы, да и вообще, не монадами едиными.  есть и более нужные конструкции, в зависимости от задачи.
[14:30:43] <gds> то, что х-юги всё решают монадами, не должно влиять на правильные решения задач.
[14:33:37] <bobry> gds: ну более правильный (на мой взгляд) это такой же как в хацкеле
[14:33:45] <bobry> меня лично бесит что там <—, а не <-
[14:34:11] <bobry> понятно что (<-) уже используется, но выглядит двойная стрелочка убого
[14:34:18] <bobry> плюс я так понял оно не работает с 3.12
[14:34:40] <f[x]> я вас опять потерял
[14:34:49] <f[x]> что за двойная стрелочка?
[14:35:19] <bobry> в pa_monad
[14:35:22] <bobry> <--
[14:35:44] <f[x]> а
[14:36:29] <gds> камло, как язык, более богатый, поэтому, понятно, какие-то обозначения уже задействованы.  а синтаксическое задротство -- это я порицаю.
[14:36:45] <bobry> gds: в чем ты видишь задроство?
[14:37:28] <ermine> в камле есть camlp4
[14:39:17] shaggie вошёл(а) в комнату
[14:39:20] shaggie вышел(а) из комнаты
[14:39:25] shaggie вошёл(а) в комнату
[14:40:08] shaggie вышел(а) из комнаты
[14:40:50] shaggie вошёл(а) в комнату
[14:40:53] shaggie вышел(а) из комнаты
[15:45:42] dzhon вышел(а) из комнаты: Replaced by new connection
[15:45:42] dzhon вошёл(а) в комнату
[16:15:56] shaggie вошёл(а) в комнату
[16:16:01] shaggie вышел(а) из комнаты
[16:53:04] letrec вошёл(а) в комнату
[17:13:46] <gds> bobry: задротство бы состояло в полном неприятии "<--" в качестве bind'а в do-нотации.  не знаю, как сейчас.
[17:15:48] <ermine> ты миранду не видел?
[17:16:13] <gds> я даже ею пользовался!  нормальный IM-клиент был.  :]
[17:16:45] <ermine> там ж длинные-передлинные стрелки
[17:17:01] <ermine> в языке программирования
[17:17:10] <ermine> а миранда-клиент - оффтопик же
[17:17:32] <gds> не было особо интересно, лично я не смотрел.
[17:17:51] ermine обложилась книжками и ссылками по скале, оказывается, там есть даже макросы, типа TH
[17:18:31] gds занимается по работе изучением теории категорий
[17:18:40] dzhon вышел(а) из комнаты: Replaced by new connection
[17:18:40] dzhon вошёл(а) в комнату
[17:18:57] dzhon вышел(а) из комнаты
[17:19:12] dzhon вошёл(а) в комнату
[17:19:48] <ermine> gds: заставляют?
[17:20:03] <gds> энфорсят!
[17:20:07] <gds> дьяволы!
[17:20:16] <bobry> gds: раздражает что это отличается от х-ля, хотя и напоминает его
[17:20:34] <bobry> но это просто проблемы переключения между двумя языками :)
[17:20:35] <gds> bobry: меня раздражает, что х-ь отличается от камла, хотя и напоминает его
[17:20:37] <bobry> как :: и :
[17:20:48] <bobry> меня тоже
[17:20:50] <bobry> лол
[17:21:19] <ermine> чужеродная нотация
[17:21:35] <ermine> молодцы те, кто придумал для хаскеля
[17:21:40] <gds> то есть, тебя раздражают две вещи, а меня всего лишь одна, да и то, не сильно.  я ближе к дао (и к взяо).
[17:21:49] <ermine> а для других языков нотация чужеродная и посему не нужна
[17:21:57] <bobry> можно было бы хотя бы в таких мелочах договориться — учитывая что у них общая родня
[17:22:03] <ermine> язык надо пилить с самого начала, а не релеизить недоязыком
[17:22:14] <bobry> а то я ловлю такие клевые ошибки в х-ле, когда пытаюсь сделать cons через ::
[17:23:50] <ermine> а еще бесполезно говорить по-английски английскими словами но с русской граматикой
[17:24:04] <ermine> от тебя нативные англичане шарахаться будут
[17:24:22] <bobry> ermine: лучше чем не говорить совсем
[17:25:05] <ermine> bobry: правда лучше?
[17:25:16] dzhon вышел(а) из комнаты
[17:25:22] <ermine> bobry: тебя скорее похвалят, если подтянешь язык
[17:50:52] Kakadu вышел(а) из комнаты
[17:51:39] <bobry> ermine: безусловно :)
[18:41:39] shaggie вошёл(а) в комнату
[18:41:53] shaggie вышел(а) из комнаты
[18:56:27] Kakadu вошёл(а) в комнату
[19:13:37] <ermine> таак, надо решать следующую жпу в парсинге - как передавать потусторонние аргументы в функцию, какие есть способы? окромя fun a -> a
[19:14:04] <ermine> или лучше пока поиграть с ocamljava
[19:18:26] <ermine> Kakadu: как там твой парсинг?
[19:37:48] <Kakadu> ermine: херово мой парсинг
[19:37:55] <Kakadu> мне надо скрестить комбинаторы с фсякком
[19:43:31] bobry вышел(а) из комнаты
[19:43:40] bobry вошёл(а) в комнату
[19:52:32] komar вышел(а) из комнаты
[19:52:46] komar вошёл(а) в комнату
[19:53:42] bobry вышел(а) из комнаты
[20:18:13] ftrvxmtrx вышел(а) из комнаты
[20:37:56] Typhon вышел(а) из комнаты
[20:39:14] bobry вошёл(а) в комнату
[20:42:58] dzhon вошёл(а) в комнату
[21:18:13] ftrvxmtrx вошёл(а) в комнату
[21:21:55] ftrvxmtrx вышел(а) из комнаты
[21:22:11] ftrvxmtrx вошёл(а) в комнату
[21:30:11] f[x] вошёл(а) в комнату
[21:33:03] <Kakadu> ermine: ну так скажи чтонить умное про то как скрестить два вида парсинга?
[21:35:47] <ermine> пра что?
[21:36:04] <ermine> я тут болею вопросом про аргументы функций
[21:36:23] <Kakadu> а я умираю т своего диплома
[21:36:31] <Kakadu> всего говорят что я наркоман если хочу такое
[21:37:14] <ermine> ну так про меня не говорят, потому что я никому ничо не показываю :P
[21:37:29] <Kakadu> ermine: ну дык тебе диплом не нада сдавать
[21:37:51] <ermine> а аргументы функций - мне надо делать функциональные правила в грамматике, у тебя есть такое?
[21:38:07] <Kakadu> что значит функционгальные?
[21:38:38] <ermine> Kakadu: у тебя нетерминал что берет на вход и что выдает?
[21:39:09] <Kakadu> где?
[21:39:10] <ermine> обычно в простой грамматике нетерминал получает на вход только инпут и возвращает "да" или "нет"
[21:39:22] <ermine> в парсере
[21:39:35] <Kakadu> Ну стрим чаров пока
[21:40:00] <ermine> то есть у тебя сначала лексер, потом грамматика?
[21:40:14] <ermine> с комбинаторами и так и сяк можно
[21:40:14] <Kakadu> Нет, в комбинаторах лексера нет
[21:40:32] <Kakadu> а можно гденить посмотреть на комбинаторы с лексером?
[21:40:58] <ermine> ну первая серия комбинаторов генерит стрим, другая серия разбирает стрим и генерит следующий стрим
[21:41:11] <ermine> так и с камловым Stream легко делать
[21:41:52] <ermine> вообще это зависит от того, что ты парсишь, если достаточно камлового Lexing, то уже есть первый стрим
[21:42:25] <Kakadu> Тут мне надо тулу, которая работает с комбинатрами что парсят неизвестно что
[21:43:16] <ermine> не бывает неизвестно чо
[21:44:05] ermine другим глазом читает книжку про скалу
[21:45:12] <ermine> Kakadu: в моем случае - я генерю комбинаторы, которые берут строку и отдают Parsed с остатком инпута или Failed
[21:45:21] <Kakadu> Ну мне надо тулу которая берет кучу парсер функций, делает из них грамматику заглядывая в их тела, потом мы заменим некоторые парсер-функции вызоывами якка, и это начнет работать быстрее, потому что замененная подграмматика рекурсивным спуском парсилась бы сс кучей ткатов
[21:47:33] <ermine> щас оно берет описалово грамматики, генерит парсер, который читает какую-нить спеку и создает еще одну грамматику, по которой генерится парсер, который разбирает данные
[21:47:39] <ermine> видимо у меня твой диплом?
[21:48:09] <ermine> а аргументы функций - это из-за грамматики YAML, которая вводит понятие параметрической продукции
[21:48:43] <ermine> я в нерешительности - добавлять параметры в основной парсер или как-то схимичить иначе
[21:48:58] <Kakadu> у тебя там тоже что-то дикое
[21:49:19] <gds> внимание внимание говорит германия11111  http://paste.in.ua/3780/raw/
[21:50:06] <Kakadu> лучше бы помогли якк с комбинаторами скрестить
[21:50:14] <Kakadu> bobry: кто тут у нас биолог?
[21:51:06] ftrvxmtrx вышел(а) из комнаты
[21:51:41] ftrvxmtrx вошёл(а) в комнату
[21:52:03] <bobry> Kakadu: gds вроде :)
[21:52:19] <gds> не.
[21:52:27] <ermine> а в биологии есть параметры?
[21:52:34] <Kakadu> gds: челом бью, помоги разобраться в этой наркомании
[21:52:45] bobry тоже не биолог если что, только учится и то не совсем тому
[21:53:17] <Kakadu> хоть в #х-ь иди
[21:53:21] <ermine> bobry: где учишься и на кого?
[21:53:23] ftrvxmtrx вышел(а) из комнаты
[21:53:48] <bobry> ermine: http://bioinf.me
[21:53:55] <bobry> Kakadu: а шо за наркомания та?
[21:54:28] <Kakadu> bobry: скрестить в одном парсере yacc и комбинаторы
[21:54:45] <bobry> ох лол, /me выпал из контекста
[21:54:48] <gds> Kakadu: в какой -- в твоей?  я бы не стал разбираться.  это очень сложный вопрос.  ну, бери комбинаторы, анализируй их.  хотя бы перегони в какой-нибудь формат данных.  дальше, имея данные, можно изобразить ещё формат, пока не станет ясно, что делать с данными.
[21:55:14] <ermine> ccskrf yt jnrhsdftncz
[21:55:27] ftrvxmtrx вошёл(а) в комнату
[21:55:31] <ermine> а, открылась
[21:55:37] <gds> вы лучше посмотрите, какое заглядение я научился генерить.  оно всем понравится, без исключения.
[21:55:54] <bobry> gds: покеж-покеж, ты же про шелл?
[21:55:56] <Kakadu> gds: Ну я научился перегонять простые конбенаторы в какой-то формат, но дальше жопа
[21:56:06] <gds> bobry: выше ссылка.
[21:56:09] <Kakadu> gds: я не могу понять где должен быть лексер
[21:56:24] <Kakadu> нада конбенаторы с токенизацией найти гденить
[21:56:56] <bobry> gds: а покажи еще кот
[21:57:00] <gds> Kakadu: как-то говорили про это.  как-то различай комбинаторы, которые заведуют лексером.  по типам, по происхождению, по генерируемым результатам.  я как-то целую телегу писал.
[21:57:14] <ermine> а на кого там учат? на пауководов?
[21:57:59] <bobry> ermine: вроде как программировать учат, просто применительно к биологическим проблеммам
[21:58:15] <gds> bobry: чей код?
[21:58:24] <bobry> gds: которым ты это чудо сгенерил
[22:00:19] <gds> bobry: код я не вылизывал, он очень-очень туп.  никаких оптимизаций и прочего, и повышенная шеллоустойчивость.  сделал приватную пасту на pastebin.com, ссылку отправлю приватно.
[22:00:38] ermine продолжила болеть аргументами
[22:00:50] <Kakadu> gds: уверен что телега была?. прсто после 16 января надо искать, тогда мне объяснили куда я влтип
[22:01:00] <ermine> Kakadu: жалко, что у тебя табу на camlp4
[22:01:28] <Kakadu> ermine: а чем он помог бы?
[22:01:51] <gds> Kakadu: кое-что описывал.  собственно, то, что описал сейчас, только более развёрнуто.  но непринципиально, ибо отличать "лексер" от "парсера", если тебе это надо, придётся по явным признакам.
ну или всё в парсер пихай.
[22:02:29] <Kakadu> gds: типа я должен разметить некоторые парсер-функции как куски лексера?
[22:02:43] <ermine> Kakadu: ну я им генерю код парсера и им же вставляю кастомные расширения в парсер, если стандартных средств базового парсера не хватает
[22:02:49] <gds> да.  Как-то так.  Либо всё в парсер, не беда.
[22:02:50] <Kakadu> если всё пихать в парсер то лексер у меня будет выдавать по сиволу просто
[22:03:01] <Kakadu> и никакой токенизации
[22:03:03] <gds> ну и пусть по символу.  Тебе же для папира11111
[22:03:24] <ermine> в смысле?
[22:03:56] <ermine> токенизатор у меня выкусывает куски инпута, где парсер-комбинатор успешно сработал
[22:04:04] <gds> вообще, больная тема, сродни качественному дизассемблированию/декомпилированию.  я бы не брался.
[22:05:37] <ermine> как классно тут вещать в несколько глоток, ни к кому не обращаясь
[22:07:37] <Kakadu> каждый пишет кто что зочет не понимая что у остальных на уме
[22:07:51] <Kakadu> короче мне сильно надо найти пример конбенаторов с токенизацией
[22:08:17] bobry вышел(а) из комнаты
[22:08:32] <ermine> Kakadu: хочешь мой код?
[22:08:37] bobry вошёл(а) в комнату
[22:08:58] <ermine> никаких комментов и док, не все сейчас компилится из-за последних переделок
[22:11:56] <Kakadu> Ну давай посмотрим
[22:19:40] <gds> а вот _из чего_ я генерил этот шелл-код, показать не стыдно, даже, скорее, наоборот.  http://paste.in.ua/3782/
[22:20:24] <bobry> gds: выглядит клево
[22:20:28] <gds> хотя, всё равно, даже в "апи" нужно что-то поумнее делать.  когда внутряк будет ок.
[22:21:19] <ermine> yo.jabber.ru/~ermine/peg.tgz
[22:21:57] <gds> и ещё что мне не нравится в edsl -- грань между "в рантайме" и "в сгенерированном" выглядит хлипко.  я всеми силами старался сделать её явной ("если участвует значение с типом t 'a -- значит генерируется"), но кое-что не нравится всё равно.
[22:22:40] <ermine> Kakadu: там подкаталог kmb - основной парсер, что компилить - видно в оазисе
[22:25:30] <ermine> Kakadu: скомпили ocamlbuild kmb/kombain.byte и потом посмотри в _build/kmb/peg_parser.ml
[22:39:01] f[x] вышел(а) из комнаты
[22:45:13] dzhon вышел(а) из комнаты: Replaced by new connection
[22:45:13] dzhon вошёл(а) в комнату
[22:46:16] ermine чота не слышит комментов
[22:47:08] shaggie вошёл(а) в комнату
[22:47:19] shaggie вышел(а) из комнаты
[22:52:17] shaggie вошёл(а) в комнату
[22:54:46] <ermine> видимо код сложный
[22:59:43] <Kakadu> я отвлекся
[23:00:14] shaggie вышел(а) из комнаты
[23:16:50] letrec вышел(а) из комнаты
[23:20:39] ermine докомпилила xml и ушла
[23:20:40] klapaucius вышел(а) из комнаты
[23:21:38] ermine вышел(а) из комнаты
[23:23:20] f[x] вошёл(а) в комнату