Objective Caml - Пятница, 27 января 2012

Objective Caml

ocaml@conference.jabber.ru

Пятница, 27 января 2012< ^ >

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

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

GMT+4
[00:49:59] gds вышел(а) из комнаты
[01:08:14] bobry вышел(а) из комнаты
[01:15:56] Kakadu вышел(а) из комнаты
[01:28:21] Typhon вошёл(а) в комнату
[01:51:55] Typhon вышел(а) из комнаты: Replaced by new connection
[01:51:56] Typhon вошёл(а) в комнату
[02:26:41] Typhon вошёл(а) в комнату
[04:37:10] klapaucius вышел(а) из комнаты
[05:11:33] ftrvxmtrx вышел(а) из комнаты
[05:12:14] ftrvxmtrx вошёл(а) в комнату
[06:12:41] letrec вошёл(а) в комнату
[07:21:04] ftrvxmtrx вышел(а) из комнаты
[10:16:09] Kakadu вошёл(а) в комнату
[10:26:03] <komar> > We have written The Overviewer with memory efficiency in mind. On even the largest worlds we have at our disposal to test with, it should not be taking more than a gigabyte or two.
[10:26:06] <komar> В мире питона.
[11:31:24] Typhon вышел(а) из комнаты
[11:45:24] bobry вошёл(а) в комнату
[11:55:41] ermine вошёл(а) в комнату
[11:58:49] <bobry> хиндли милнер на js omg
[11:58:56] <bobry> http://roy.brianmckenna.org/
[12:13:50] dzhon вошёл(а) в комнату
[12:19:33] gds вошёл(а) в комнату
[12:24:03] ftrvxmtrx вошёл(а) в комнату
[12:47:20] Typhon вышел(а) из комнаты
[14:29:23] klapaucius вошёл(а) в комнату
[14:41:04] Typhon вошёл(а) в комнату
[15:38:54] klapaucius вышел(а) из комнаты
[15:54:08] komar вышел(а) из комнаты
[16:03:33] komar вошёл(а) в комнату
[16:05:33] klapaucius вошёл(а) в комнату
[16:07:30] klapaucius вышел(а) из комнаты
[16:17:32] klapaucius вошёл(а) в комнату
[17:01:02] bobry вышел(а) из комнаты
[17:12:07] komar вышел(а) из комнаты
[17:12:23] komar вошёл(а) в комнату
[17:37:12] dzhon вышел(а) из комнаты
[18:09:20] <gds> как-то уныло в последнее время, лично у меня.  спеки/доки пишутся, код пишется, всё работает, ни к чему не придраться.  нафиг мне это камло, надо было на похапизда учиться.
[18:41:31] Typhon вышел(а) из комнаты
[18:42:45] Typhon вошёл(а) в комнату
[18:45:52] Typhon вышел(а) из комнаты
[19:27:27] <ermine> gds: время учить скалу!
[19:28:22] <ermine> там в книжке про скалу кстати рассказывается про какой-то Actor API для конкурирующих процессов и пересылки мессаг
[19:29:05] <ermine> gds: ты в курсе про ctor?
[19:34:16] <gds> ctor -- это сокращение от "конструктор"?
[19:35:17] <ermine> опечатка! actor
[19:36:23] <gds> ermine: если бы читала parvel_wiki, знала бы ответ на вопрос.
[19:37:13] <ermine> даже вики есть?
[19:38:11] <gds> https://bitbucket.org/gds/parvel/wiki/
[19:39:33] <ermine> нда
[19:40:18] <ermine> в этом мите точно ничего нового нет
[19:40:43] <ermine> плохой, негодный, старый мир
[19:45:09] <gds> если я даже сам придумал этих акторов, то да, что-то новое придумать сложно.  зато есть почти гарантия: имея задачу и обдумывая её решение, ты придёшь только к её решению, в почти чистом виде.
[19:50:27] letrec вышел(а) из комнаты
[19:56:08] letrec вошёл(а) в комнату
[20:12:59] ftrvxmtrx вышел(а) из комнаты
[20:13:40] letrec вышел(а) из комнаты
[20:38:42] Typhon вошёл(а) в комнату
[20:45:37] komar вышел(а) из комнаты
[20:58:38] <ermine> Kakadu: как парсинг?
[20:59:16] <Kakadu> ermine: Ну для простых комбинаторов научился извлекать семантику и вставлять её в action code
[20:59:26] f[x] вошёл(а) в комнату
[20:59:37] <gds> в рассылке про deriving спрашивают.  f[x] ?
[20:59:38] <Kakadu> теперь надо как-то разобраться как генерить fsyacc нашей тулой
[21:00:43] <ermine> а что такое семантика в простых комбинаторах?
[21:01:19] Typhon вышел(а) из комнаты
[21:02:09] <Kakadu> ну для pipe3 p1 p2 p3 f это применить три пасера по очереди и вызвать f от трех результатов что они насчитали
[21:03:07] <ermine> а я тут немножко изобрела актионы в своем парсере, точнее синтаксис: <:remeat 100< Space? Name Space* >>, где левая часть - функция, правая часть - одно или несколько выражений через запятую: и волки съедены, и овцы сыты - всё еще можно вводить функции для невведенных синтаксисов, и можно обрабатывать токены
[21:03:22] <Kakadu> было: https://github.com/Kakadu/Falka/blob/master/Test/Test2.fs#L84
стало: http://paste.in.ua/3800/#l-11
[21:05:51] <ermine> Kakadu: наверное ты все же имел в виду не извлекать, а собирать аргументы и сунуть в функцию
[21:06:03] <ermine> тут f как раз семантико
[21:07:53] <Kakadu> гугу
[21:08:37] <ermine> а pip3 не нужно тоже
[21:09:00] <ermine> достаточно бинарной операции :) и всё остальное через нее выражать
[21:09:51] <Kakadu> val (.>>.): parser 'a -> parser 'b -> parser ('a*'b)
?
[21:10:18] <ermine> у меня это будет transform (seq_b p1 (seq_b p2 p3)) f
[21:11:05] ftrvxmtrx вошёл(а) в комнату
[21:14:12] <ermine> т.е. transform - это явная операция с f, а если надо вернуть результат трех парсеров как есть - то transform не нужен
[21:15:00] <Kakadu> угу
[21:15:11] <Kakadu> ну я слизл с fparsec и не думал
[21:15:55] <ermine> а зачем сдизывать, если и  так можно использовать фпарсек?
[21:20:19] <Kakadu> Нада с токенайзером
[21:23:25] <ermine> Kakadu: кста, ты почитал доку по bison?
[21:27:06] <Kakadu> ermine: не, я лентяй
[21:34:36] <ermine> надо тебя на сковородку
[21:37:22] ftrvxmtrx вышел(а) из комнаты
[21:40:51] f[x] вышел(а) из комнаты
[21:41:25] f[x] вошёл(а) в комнату
[21:48:50] komar вошёл(а) в комнату
[21:51:27] bobry вошёл(а) в комнату
[22:03:33] <Kakadu> bobry: там Qrntzz биплом по биологиии пишет
[22:03:39] <Kakadu> лови его если что
[22:03:50] <bobry> иде ловить?
[22:03:55] <bobry> какой то знакомый ник .. хм
[22:03:56] <Kakadu> в ирке например
[22:04:05] <Kakadu> он грозился lablqt допилить
[22:04:10] <bobry> аа! вспомнил
[22:04:14] <bobry> а он сюды не заходит?
[22:04:16] <Kakadu> не
[22:28:17] <bobry> Kakadu: оке, буду иметь ввиду -- мерси
[22:53:15] Kakadu вышел(а) из комнаты
[22:55:32] Kakadu вошёл(а) в комнату
[22:57:34] Kakadu вышел(а) из комнаты
[23:03:15] Kakadu вошёл(а) в комнату
[23:21:28] ermine с негодованием смотрит на следующую проблемку в парсинге
[23:21:42] <ermine> надо чонить умное почитать
[23:22:19] <ermine> вот дочитала первую главу про скала, там про акторы - ну совсем как в ерланге, надо сночно придумать что бы такое понаписать на скале
[23:23:10] ermine вышел(а) из комнаты
[23:23:23] <Kakadu> ermine: мне говорили что только платные оффисы для ведроида умеют редактировать, да и те плохо
[23:30:19] <bobry> я понял, odb это cabal, а барбара это cabal-dev
[23:50:27] ftrvxmtrx вошёл(а) в комнату