Objective Caml - Суббота, 4 февраля 2012

Objective Caml

ocaml@conference.jabber.ru

Суббота, 4 февраля 2012< ^ >

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

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

GMT+4
[00:55:59] Kakadu вышел(а) из комнаты
[01:39:48] komar вышел(а) из комнаты: Replaced by new connection
[01:39:48] komar вошёл(а) в комнату
[02:19:55] gds вышел(а) из комнаты
[02:56:09] Typhon вышел(а) из комнаты
[03:07:44] Typhon вошёл(а) в комнату
[03:51:57] Typhon вышел(а) из комнаты
[03:53:37] bobry вышел(а) из комнаты
[05:11:20] letrec вошёл(а) в комнату
[06:48:09] ermine вошёл(а) в комнату
[10:10:31] Typhon вошёл(а) в комнату
[10:39:10] Kakadu вошёл(а) в комнату
[11:22:52] letrec вышел(а) из комнаты
[11:22:58] letrec вошёл(а) в комнату
[11:43:31] letrec вышел(а) из комнаты
[12:45:21] dzhon вошёл(а) в комнату
[13:23:21] komar вышел(а) из комнаты
[13:25:38] komar вошёл(а) в комнату
[13:34:28] gds вошёл(а) в комнату
[13:44:40] bobry вошёл(а) в комнату
[13:52:14] <Kakadu> Так-так. Кто знает как построить грамматику хорошую для якка, но плохую для конбенаторов?
[13:52:19] Typhon вышел(а) из комнаты: Replaced by new connection
[13:52:39] Typhon вошёл(а) в комнату
[13:57:31] shaggie вошёл(а) в комнату
[14:55:24] komar вышел(а) из комнаты
[15:06:45] komar вошёл(а) в комнату
[15:07:14] komar вышел(а) из комнаты
[15:10:48] komar вошёл(а) в комнату
[15:40:17] letrec вошёл(а) в комнату
[16:33:35] dzhon вышел(а) из комнаты: Replaced by new connection
[16:33:35] dzhon вошёл(а) в комнату
[16:33:48] dzhon вышел(а) из комнаты
[16:34:09] dzhon вошёл(а) в комнату
[16:37:12] Typhon вышел(а) из комнаты
[17:33:42] dzhon вышел(а) из комнаты
[17:33:52] dzhon вошёл(а) в комнату
[17:41:01] f[x] вошёл(а) в комнату
[17:41:03] f[x] вышел(а) из комнаты
[17:44:49] Typhon вошёл(а) в комнату
[17:50:52] Typhon вышел(а) из комнаты: Replaced by new connection
[17:50:55] Typhon вошёл(а) в комнату
[17:55:43] Typhon вышел(а) из комнаты: Replaced by new connection
[17:56:14] Typhon вошёл(а) в комнату
[18:02:52] <gds> парвел+протоколы -- http://paste.in.ua/3830/
[18:02:58] Typhon вышел(а) из комнаты: Replaced by new connection
[18:03:03] Typhon вошёл(а) в комнату
[18:04:46] letrec вышел(а) из комнаты
[18:05:24] <gds> точнее, не парвел, а пока кадастр.  и даже не кадастр, а кое-какая закрытая программка, которую надо сначала запустить в эксплуатацию в ближайшие дни, а потом из неё выдрать всё в кадастр и парвел.
[18:08:56] letrec вошёл(а) в комнату
[18:10:39] <bobry> gds: а не подскажешь про revised, шо за фигня
# let [x] = [1] in x;
Error: Parse error: "module" or "open" or [opt_rec] expected after "let" (in [expr])
[18:10:54] <gds> это в топлевеле?
[18:11:15] <bobry> uhuh
[18:11:20] <bobry> #camlp4r
[18:12:05] <gds> две ошибки.  1. let -> value, 2. у тебя refutable pattern, а в value/let в revised требуются irrefutable.  безотказные, матчащие всё, что проходит по типам.
[18:14:30] <bobry> # value x = [1] in x;
Error: Parse error: [semi] expected after [str_item] (in [phrase])
[18:14:55] <bobry> он не хочет value in что то
[18:15:09] <gds> тьфуты! это я уже криво прочитал.  тут -- должно быть let.
[18:15:38] <gds> но паттерн всё-таки не ок.
[18:18:07] <gds> это, кстати, одна из вещей, за что я уважаю revised syntax -- let никогда не фейлится, и паттерн-матчинг вынесен в match/fun/with.
[18:18:35] <bobry> гм, т. е. слева у let вообще нельзя матчить?
[18:19:06] <bobry> # type foo = [Bar of int];
type foo = [ Bar of int ]
# let [Bar x] = Bar 1 in x;
Error: Parse error: "module" or "open" or [opt_rec] expected after "let" (in [expr])
[18:22:57] <gds> угу, нельзя.
[18:23:06] <gds> refutable нельзя, точнее.
[18:23:16] <bobry> ага, спасибо
[18:23:21] <gds> let (a, b) или let { a ; b } -- катят.  ещё что-то может покатит.
[18:23:24] <gds> let () = ..
[18:23:56] <gds> то есть, те случаи, которые проматчатся независимо от значений, чисто по типам.
[18:24:10] Typhon вышел(а) из комнаты
[18:24:44] <bobry> ага, для  variant types это очевидно не сработает
[18:24:51] <gds> да и то, не по sum types, даже когда они из одного варианта состоят.
[18:25:07] <gds> match/fun тебе поможет для sum types / variant types.
[18:26:14] bobry опять засел за typhonовский кобзон
[18:26:19] <bobry> очень хочется научить его camlp4 :)
[18:26:25] Typhon вошёл(а) в комнату
[18:26:47] <bobry> gds: а ты syntax extensions не признаешь даже для 'type ... with foo'?
[18:27:33] <gds> если бы оно работало в revised syntax -- было бы хорошо.
[18:27:44] <gds> а так, вроде, не работало, когда смотрел в последний раз.
[18:28:10] <gds> поэтому там, где у меня json_static, типы вынесены в отдельные файлы в original syntax.  элегантность -- просто пипец.
[18:28:36] <bobry> мда уж
[18:30:09] <gds> но ничего, мне кадастр по-любому нужен в message passing, а там, если есть рантайм-описания типов, как их разбирать и собирать, несложно сделать и [де]сериализацию в json.  сейчас (в примере выше) пока сделал тупо -- примитивные типы маршалю камлом, сложные -- им же, например, вариантные -- как массив [| "конструктор" ; маршаленный_аргумент1 ; ... |].
[18:31:23] Typhon вышел(а) из комнаты: Replaced by new connection
[18:31:27] Typhon вошёл(а) в комнату
[18:33:56] Typhon вышел(а) из комнаты
[18:34:23] Typhon вошёл(а) в комнату
[18:37:57] Typhon вышел(а) из комнаты
[18:38:18] Typhon вошёл(а) в комнату
[18:41:48] Typhon вышел(а) из комнаты
[18:42:31] Typhon вошёл(а) в комнату
[18:45:20] Typhon вышел(а) из комнаты: Replaced by new connection
[18:45:30] Typhon вошёл(а) в комнату
[18:52:53] Typhon вышел(а) из комнаты
[18:53:17] Typhon вошёл(а) в комнату
[19:02:31] Typhon вышел(а) из комнаты: Replaced by new connection
[19:02:35] Typhon вошёл(а) в комнату
[19:04:36] Typhon вышел(а) из комнаты
[19:07:47] <bobry> gds: а вот с таким не знаком?
Parse error: [sequence] expected after "match" (in [expr])
[19:08:21] <bobry> ругается на такой quotation
<:expr<
      fun e -> match e with [ $list:[ unexpected :: patts ]$ ]
>>
[19:11:05] <gds> знаком на уровне "знаю, как исправить подобное" -- просто рассмотреть исходник.  а про camlp4 -- не ко мне.
[19:13:13] <bobry> меня имеено исправить интересует
[19:19:25] Typhon вошёл(а) в комнату
[19:30:34] Typhon вышел(а) из комнаты
[20:14:07] <gds> тут гентушники красноглазые есть?  хочется ваши знания на тему того, как оформить ебилд из brb.conf (если не знаете, что это такое, я расскажу.).
[20:47:11] dzhon вышел(а) из комнаты: Replaced by new connection
[21:19:42] dzhon вошёл(а) в комнату
[21:23:42] dzhon вышел(а) из комнаты
[21:23:51] dzhon вошёл(а) в комнату
[21:32:18] <bobry> gds: а ты мне расскажешь "как исправить подобное"?
[21:33:13] <gds> отредактируй исходник.  в моих случаях эта ошибка говорила о том, что я что-то неправильно написал.  исправление обычно очевидное.
[21:33:35] <bobry> :)
[21:33:37] <bobry> дельный совет
[21:37:52] <gds> вообще да, я тут подумал, это гениальный совет.
"у меня ошибка в программе, что делать?  -- отредактируй исходник.".
но конкретики не скажу.
[21:41:46] <bobry> ох какая дурацкая ошибка была ..
[22:04:38] Typhon вошёл(а) в комнату
[22:07:07] <gds> ну я примерно про то же, но конкретику не знаю, ибо в пределах camlp4 рисуешь ведь.
[22:36:23] letrec вышел(а) из комнаты
[22:53:01] <bobry> gds: а ты не в курсе из каких соображений inria не обновляет доку по camlp4 на сайте?
[22:53:04] <bobry> может я что пропустил
[23:02:52] <bobry> очклево, что список quoatatios конфликтует с синтаксисом для stream parsers
[23:03:05] <bobry> [< ... >] vs. [<:expr< ... >>]
[23:45:39] ermine вышел(а) из комнаты
[23:51:13] komar вышел(а) из комнаты: Replaced by new connection
[23:51:16] komar вошёл(а) в комнату