Objective Caml - Четверг, 1 марта 2012

Objective Caml

ocaml@conference.jabber.ru

Четверг, 1 марта 2012< ^ >

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

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

GMT+4
[00:09:54] Typhon вышел(а) из комнаты
[00:37:18] ftrvxmtrx вошёл(а) в комнату
[01:12:48] Typhon вошёл(а) в комнату
[01:18:18] <Kakadu> я: В обычных императивных языках создание анализаторов обычно решается кодогенерацией
научник: да не правда
[01:27:13] Kakadu вышел(а) из комнаты
[01:51:03] dzhon вышел(а) из комнаты
[02:06:56] f[x] вышел(а) из комнаты
[02:09:42] f[x] вошёл(а) в комнату
[02:16:43] komar вышел(а) из комнаты: Replaced by new connection
[02:16:43] komar вошёл(а) в комнату
[03:09:57] f[x] вышел(а) из комнаты: Computer went to sleep
[03:35:11] letrec вошёл(а) в комнату
[03:38:58] Typhon вышел(а) из комнаты
[04:40:01] letrec вышел(а) из комнаты
[06:55:23] ermine вошёл(а) в комнату
[08:06:18] komar вышел(а) из комнаты
[09:13:53] bobry вышел(а) из комнаты
[10:01:41] gds вошёл(а) в комнату
[10:19:57] superbobry вошёл(а) в комнату
[10:20:47] <gds> ermine: у тебя где-то был кошерный base64 decoder?  делись!
[10:24:35] <superbobry> Kakadu, почему не правда?
[11:26:27] ftrvxmtrx вышел(а) из комнаты
[11:36:27] <ermine> gds: кошерный в cryptokit свежем
[11:38:38] <gds> ermine: это который 1.5 от June 23, 2011?
[11:39:09] <ermine> ага
[11:40:30] dzhon вошёл(а) в комнату
[11:41:00] <ermine> в моем base64 что-то глючит и лень разбираться и надеюсь, что не придется
[11:56:56] Typhon вошёл(а) в комнату
[12:02:46] ftrvxmtrx вошёл(а) в комнату
[12:19:42] Kakadu вошёл(а) в комнату
[12:20:05] <Kakadu> superbobry: почему неправда не знаю, пускай научник скажет
[12:24:27] dzhon вышел(а) из комнаты
[12:24:36] dzhon вошёл(а) в комнату
[12:51:46] Typhon вышел(а) из комнаты
[13:51:34] Typhon вошёл(а) в комнату
[13:53:10] shaggie вошёл(а) в комнату
[14:06:26] dzhon вышел(а) из комнаты: Replaced by new connection
[14:06:29] dzhon вошёл(а) в комнату
[14:18:25] dzhon вышел(а) из комнаты
[15:16:22] <Kakadu> superbobry: > Рекурсивный спуск очень часто употребляется. А Yacc-- не код генерит, а управляющие таблицы. Фишка комбинаторов в том, что рекурсивный спуск становится писать намного удобнее, но в простеньких языках это не сделать, поскольку нужны функции высших порядков.
[15:33:52] letrec вошёл(а) в комнату
[15:50:44] <Kakadu> superbobry: ты хотел ссылку на конфу: http://www.ftk.spbstu.ru/science/conferences/microsoft/2012/
[16:57:30] superbobry вышел(а) из комнаты
[17:03:00] dzhon вошёл(а) в комнату
[17:06:22] Mon вышел(а) из комнаты
[17:10:32] superbobry вошёл(а) в комнату
[17:33:46] dzhon вышел(а) из комнаты: Replaced by new connection
[17:33:46] dzhon вошёл(а) в комнату
[17:35:39] superbobry вышел(а) из комнаты
[17:52:33] dzhon вышел(а) из комнаты
[17:53:12] dzhon вошёл(а) в комнату
[18:17:18] <Kakadu> как бы так сказать что такое парсер-комбинаторы одним предложением...
[18:17:48] <gds> это КОМБИНАТОРЫ, которые ПАРСЯТ.
[18:18:14] <Kakadu> не, я тут всё тезисы для конфы пишу
[18:18:21] <Kakadu> а может и пойдет
[18:23:55] <gds> at your service lol
[18:27:03] <ermine> парсер-комбинаторы - это функции, которые распознают входные данные и выдают результат разбора
[18:27:34] ermine страдает от такой концепции и строит ast путем инферинга типов этих бесчеловечных результатов
[18:31:19] <ermine> Kakadu: у тебя тезисы не приняли?
[18:31:31] <Kakadu> я ещё не отправлял
[18:31:48] <Kakadu> научник почти согласился с ними
[18:34:21] <Kakadu> > В функциональном программировании популярным подходом к построению рекурсивных синтаксических анализаторов является моделирование парсеров как функций и определение функций высшего порядка (комбинаторов), которые снабжены грамматическими конструкциями, такими как упорядочение, выбор и повторение. что-то мне стремно это преобразовывать в русккий язык.
[18:34:48] <f[x]> забаню к х-ям сейчас
[18:35:24] <Kakadu> f[x]: я пожалуюсь ermine и она тебя везде забанит :-)
[18:36:08] <f[x]> генеришь псевдонаунчые простыни - так хоть в паблик доступ не выкладывай
[18:36:42] <f[x]> у меня лимит бредопарсинга на сегодня исчерпан уже
[18:38:06] <ermine> f[x]: у gds простыни вдвое-втрое длинее!!!
[18:38:17] <gds> f[x]: о, в таком случае у меня для тебя есть совершенно замечательная ПАПИРА!
[18:38:45] <gds> ermine: не путай тёплое с мягким!
[18:38:52] <f[x]> во во
[18:39:30] <f[x]> дайте мне ещё этих мягких папир от gds
[18:39:35] <ermine> Kakadu: понял? надо было своими словами!
[18:40:03] <ermine> шоб никто х-ль не распарсил
[18:43:48] <gds> кстати, пичалька, но я в последнее время чукча-писатель, а не чукча-читатель.  Ничего интересного из мягких папир не подворачивается.  Или боян, или "неприменимо в реаллайфе", или неинтересно.  Разве что известный Олег доставляет, но редко.  Или, вон, thedeemon в последнее время тоже.  Но это не такие чтобы и честные папиры.
[18:51:40] <ermine> почитай про Scala
[18:57:45] <gds> почитал, но невольно, когда кто-то его взял для контеста (lj\antilamer штоле?).  С тех пор -- не хочу.  Давай ещё идеи.
[18:59:45] <ermine> нейпрееые сети
[19:00:55] <ermine> ...щас красна девица gds скажет очередное "фе"
[19:01:02] <Kakadu> мне кстати надо доклад сделать про нейронные сети. ermine, у тебя есть какия-нибудь интересная статейка?*
[19:01:26] <gds> ermine: гуглом не нашлось.  если про нейронные, то это в категорию боянов.
[19:01:43] <Kakadu> думал погуглить чтонить про изоморфизм невросетей и лямбда-исчисления?
[19:02:52] <ermine> Kakadu: возьми лекции барского на intuit.ru
[19:03:07] <ermine> их я не дочитала
[19:05:09] <Kakadu> ermine: либо я туплю либо они денюжку хотят
[19:05:27] <Kakadu> ааа, это за учебник
[19:06:27] <ermine> Kakadu: не, лекции халявные
[19:06:43] <ermine> с иллюстрациями роскошными
[19:08:52] dzhon вышел(а) из комнаты: Replaced by new connection
[19:08:52] dzhon вошёл(а) в комнату
[19:44:05] Kakadu вышел(а) из комнаты
[20:23:26] Typhon вышел(а) из комнаты
[20:44:33] dzhon вышел(а) из комнаты
[20:44:58] ftrvxmtrx вышел(а) из комнаты
[20:45:17] dzhon вошёл(а) в комнату
[20:52:21] Kakadu вошёл(а) в комнату
[20:54:42] bobry вошёл(а) в комнату
[20:55:45] ftrvxmtrx вошёл(а) в комнату
[20:57:01] ftrvxmtrx вышел(а) из комнаты
[21:14:20] dzhon вышел(а) из комнаты: Replaced by new connection
[21:14:23] dzhon вошёл(а) в комнату
[21:24:13] Typhon вошёл(а) в комнату
[21:26:07] Typhon вышел(а) из комнаты
[21:27:22] Typhon вошёл(а) в комнату
[21:30:26] Typhon вышел(а) из комнаты
[21:39:34] <Kakadu> таак, научник оказывается забыл прочитать название....
[21:39:44] <Kakadu> надо что нибудь придумать заместо "Использование различных видов разбора данных одновременно на примере парсер-комбинаторов и FsYacc"
[21:42:11] dzhon вышел(а) из комнаты
[21:44:06] <ermine> функциональный разбор данных?
[21:44:34] <Kakadu> не, это не отражает в чем моя поделка отличается от иных
[21:44:37] ermine вывела еще часть типов из st yaml и утомилась
[21:44:57] dzhon вошёл(а) в комнату
[21:48:37] <ermine> Kakadu: а пчу не отражает? что там у тебя, кроме функционального разбора?
[21:48:59] <Kakadu> у меня часть парсится комбинаторами, часть якком
[21:54:55] <ermine> а
[21:55:13] <ermine> второе табличный метод
[21:56:25] <ermine> а ты прочитал доку к бизону?
[21:56:40] <Kakadu> ermine: разумеется нет)
[21:56:47] <Kakadu> полистал только
[21:57:39] <ermine> "сравнение крутого и некрутого методов разбора"
[21:58:10] <Kakadu> родил несколько вариантов
1. Автоматическое комбинирование различных видов синтаксически
управляемой трансляции  в одной
2. Оптимизация синтаксически управляемой трансляции путём сочетания
трансляций нескольких видов (самому не нравится)
3. Сочетание нескольких видов синтаксически управляемой трансляции в одной
[21:58:22] <ermine> ой, очередняя неразрешимая задачка в парсире yaml
[22:00:59] <ermine> первое - это у меня
[22:01:29] <ermine> к тому же yacc - не комбинаторы
[22:10:42] Typhon вошёл(а) в комнату
[23:07:09] ftrvxmtrx вошёл(а) в комнату
[23:09:47] shaggie вышел(а) из комнаты
[23:10:57] f[x] вошёл(а) в комнату
[23:19:05] ermine вышел(а) из комнаты
[23:39:47] dzhon вышел(а) из комнаты
[23:44:02] gds вышел(а) из комнаты