Objective Caml - Воскресенье, 22 января 2012

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 22 января 2012< ^ >

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

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

GMT+4
[00:40:41] bobry вошёл(а) в комнату
[00:42:47] aloner2k вошёл(а) в комнату
[00:55:56] ftrvxmtrx вышел(а) из комнаты
[00:59:22] ftrvxmtrx вошёл(а) в комнату
[01:27:09] Kakadu вышел(а) из комнаты
[01:45:00] <bobry> gds: если интересно, вот немного про органеллы и митоз http://www.molbiolcell.org/content/9/3/623.full
[01:52:04] <gds> bobry: интересно, но мозга не хватает.  потом внимательно прочитаю.
[02:01:57] gds вышел(а) из комнаты
[02:03:09] ermine вышел(а) из комнаты
[04:33:18] Andrey Popp вышел(а) из комнаты
[05:11:45] letrec вошёл(а) в комнату
[05:11:53] letrec вышел(а) из комнаты
[05:12:10] letrec вошёл(а) в комнату
[06:14:50] letrec вышел(а) из комнаты: Replaced by new connection
[06:14:51] letrec вошёл(а) в комнату
[07:15:33] letrec вышел(а) из комнаты
[07:18:37] letrec вошёл(а) в комнату
[07:36:12] ftrvxmtrx вышел(а) из комнаты
[10:47:05] Kakadu вошёл(а) в комнату
[12:32:19] Andrey Popp вошёл(а) в комнату
[12:34:20] ermine вошёл(а) в комнату
[12:47:09] <f[x]> > bobry: selective open
module M = struct let x = Module.x let y = Module.y end open M
[12:47:18] <f[x]> можно camlp4 накрутить нормльный синтаксис
[12:47:29] <bobry> ну gds тоже самое же сказал
[12:47:42] <bobry> а так -- да, понятно как это делать через camlp4, странно что не запилили
[13:09:51] <f[x]> а, ещё проще - let (foo,bar) = Module.(foo,bar)
[13:09:56] <f[x]> даже без camlp4 ок смотрится
[13:14:11] <bobry> кстати прикольно :)
[14:01:32] ftrvxmtrx вошёл(а) в комнату
[14:36:01] gds вошёл(а) в комнату
[14:37:16] gds вышел(а) из комнаты: Replaced by new connection
[14:37:18] gds вошёл(а) в комнату
[14:40:48] Typhon вышел(а) из комнаты
[14:41:19] Typhon вошёл(а) в комнату
[15:02:15] <ermine> как в камле сделать такое: let add (a:int) (b:int) = add a b, uгде a - failwith "invalid argument", т.е. ленивый вызов ошибки
[15:02:29] ermine смотрит на всезнающего gds
[15:03:11] letrec вышел(а) из комнаты
[15:03:16] <gds> если a:int, но a это значение, равное какому-то целому числу.
[15:03:51] <ermine> ну тело функции не совсем так, но смысл тот же, если внутреняя функция берет аргумент, то должна напороться на ошибку
[15:04:29] <gds> заворачивай в option, в lazy, в свой тип наподобие `Ok of 'a | `Error of exn.
[15:05:28] <ermine> ы!
[15:05:51] <ermine> спека по yaml явно под хаскиль подточена
[15:14:43] <gds> эх, обломала нас инриа с custom let operators.  однако, может, есть разумные предложения, какого вида let-операторами можно оформить базу как для pa_monad, так и для pa_lwt?  если есть, давайте думать, вдруг получится пропихнуть идею.
[15:32:08] <bobry> gds: а че они так? какая аргументация та?
[15:32:50] <gds> не могли прийти к единому идеальному решению касаемо этих двух расширений.
и скинули обсуждения, http://pauillac.inria.fr/~protzenk/let-bang.html
[15:38:24] Typhon вошёл(а) в комнату
[15:40:04] <gds> в том обсуждении лерой подкидывает здравую мысль: "I'm going to institute a rule that every new feature must be paid by resolving 50 old PRs"
[15:49:59] <ermine> надо юзать JIT, которая позволяет наслаивать кучу языков под любой вкус - ява, скала, кложур, etc
[15:50:15] ermine раздумывает - не изучить ли скалу по такому поводу
[15:50:28] <gds> если скалку изучила, то и скалу можно.
[15:53:08] <gds> чото я не понял в том обсуждении, что же им не понравилось.  чисто синтаксис?
[15:53:12] <ermine> а грамматика yaml веселая, по мере озарения добавляешь описания в парсилку и по мере других озарений добавляешь мяса в парсилку
[15:54:10] <gds> вот поэтому я и не стал парсить yaml своими руками.  слишком много всякого накидали туда, особенно в последние версии.
[15:56:05] <ermine> когда закончу строить ast yaml, то буду решать задачу - как мержить ast и семантику
[15:57:21] <ermine> по-простому семантику пишут рядом с кодом в тексте, то бишь распечатываешь ast в том формате, в котором будет второй этап парсинга, но это сомнительный путь если думаешь, что ast на первом этапе придется перегенеривать заново не один раз
[16:00:31] ftrvxmtrx вышел(а) из комнаты
[16:03:22] ftrvxmtrx вошёл(а) в комнату
[16:21:30] Typhon вышел(а) из комнаты
[16:21:55] Typhon вошёл(а) в комнату
[16:39:15] Typhon вышел(а) из комнаты: Replaced by new connection
[16:41:10] Typhon вошёл(а) в комнату
[16:53:01] Typhon вышел(а) из комнаты
[16:53:23] Typhon вошёл(а) в комнату
[17:06:13] Typhon вышел(а) из комнаты
[17:18:53] Typhon вошёл(а) в комнату
[17:19:08] Typhon вышел(а) из комнаты
[17:23:29] Typhon вошёл(а) в комнату
[17:23:34] Typhon вышел(а) из комнаты
[17:25:33] Typhon вошёл(а) в комнату
[17:25:39] Typhon вышел(а) из комнаты
[17:26:08] Typhon вошёл(а) в комнату
[17:26:23] Typhon вышел(а) из комнаты
[17:27:02] Typhon вошёл(а) в комнату
[17:27:11] Typhon вышел(а) из комнаты
[17:28:08] Typhon вошёл(а) в комнату
[19:32:16] Typhon вышел(а) из комнаты
[19:34:09] komar вышел(а) из комнаты
[19:49:59] komar вошёл(а) в комнату
[19:59:36] Typhon вышел(а) из комнаты
[21:11:49] letrec вошёл(а) в комнату
[21:11:51] letrec вышел(а) из комнаты
[21:12:07] letrec вошёл(а) в комнату
[21:33:39] letrec вышел(а) из комнаты
[21:57:58] <ermine> ха, отпарсила bnf yaml
[21:58:04] Kakadu вышел(а) из комнаты
[22:11:49] <gds> ermine: показывай исходник того, что парсила.
[22:19:00] <ermine> gds: это только bnf yaml, следующий этап - генерить собственно парсер ямла из полученного ast
[22:19:23] <ermine> я пока слабо представляю как потом создавать ast самого yaml-документа
[22:23:21] <ermine> лучше пока пойти почитать про скалу на ночь
[22:24:18] <gds> по слухам, скала весьма неконсистентна.  поэтому лично я её откинул чуть подальше в личных приоритетах.
[22:29:28] <bobry> ermine: неушто скала лучше х-ля!!
[22:31:31] <ermine> bobry: а х-ль уже есть для андроида?
[22:31:49] <bobry> а нафига скала на андройде?
[22:32:05] <ermine> ну скала уже есть там
[22:32:20] <ermine> и говорят, что она там лучше явы
[22:35:36] <bobry> неушто быстрее?
[22:39:16] <ermine> блин, когда прога сказала Success после жевания yaml bnf, /me почувствовала себя как после 200 км на велике
[22:39:44] <ermine> bobry: нинаю, надо посмотреть, вникнуть и окунуться
[22:46:42] <gds> если речь про скалу, то слегка правильнее говорить не "окунуться", а "обмазаться".
[22:57:45] <ermine> та ну
[22:57:46] ermine вышел(а) из комнаты
[23:00:57] <bobry> ого какие есть у камла православные стронники http://nivanych.livejournal.com/40934.html?thread=348390#t348390
[23:14:28] <gds> шок!