Objective Caml - Воскресенье, 28 октября 2012

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 28 октября 2012< ^ >

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

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

GMT+4
[00:04:40] <Kakadu> Andrey Popp: тебе надо добиться чтобы в командной строке был -syntax
[00:04:57] <Andrey Popp> Kakadu :-)
[00:06:00] <f[x]> pkg_lwt.syntax - такой тэг есть?
[00:06:07] <f[x]> ocamlbuild -documentation | grep lwt
[00:06:49] <Andrey Popp> так, я сам дурак
[00:07:01] <Andrey Popp> тег указал для *.ml, когда у меня сорцы в src
[00:07:04] <Andrey Popp> спасибо
[00:07:10] <f[x]> гг
[00:07:14] <f[x]> it happens
[01:06:31] Kakadu вышел(а) из комнаты
[01:12:28] <Andrey Popp> а по camlp4 док вообще нету? я имею ввиду по тому camlp4 что в ocaml 4.00.0
[01:27:28] komar вышел(а) из комнаты: Logged out
[01:27:35] komar вошёл(а) в комнату
[01:38:13] <f[x]> вики
[01:38:15] <f[x]> блоги
[01:38:19] <f[x]> доки нет
[01:52:36] <Andrey Popp> я что то так и не понял можно ли билдит camlp4 syntax extension и сорцы которые его используют с одним _oasis
[02:14:34] <f[x]> можно, только надо будет дописывать myocamlbuild
[02:14:36] <f[x]> думаю
[02:16:40] <Andrey Popp> no way, он же переписывается oasis'ом
[02:28:25] <gds> Andrey Popp: только секция между (* OASIS_START *) и (* OASIS_STOP *)
[02:28:55] <Andrey Popp> gds, уже понял, пишу dispatch отдельный для своего тега
[02:38:07] <Andrey Popp> так ок, получилось
[02:39:06] <Andrey Popp> только щас ocamlbuild добавляет в вызов ocamlc -pp 'camlp4o -pp pa_routes.cmo' — подружить с -syntax это непонятно как — в итоге не получается красиво использовать lwt тот же в одном файле с моим расширением
[02:41:59] Typhon вышел(а) из комнаты
[02:45:48] <Andrey Popp> ocamlc -syntax как-то вообще не документирован?
[02:46:41] <Andrey Popp> ok,  это от ocamlfind
[03:04:37] <Andrey Popp> так, ок, -syntax совместим с -ppopt
[03:15:17] <Andrey Popp> осталась непонятка с зависимостями — при изменении грамматики надо рекомпилить то, что использует эту грамматику
[03:27:42] <gds> проще будет сделать потупее: при изменении грамматики перекомпилировать всё вообще.  То есть, прописать зависимости всего от грамматики.  (кроме, конечно, самой грамматики.)
[03:28:39] <Andrey Popp> угу
[03:28:51] <Andrey Popp> конечно camlp4 мощная штука
[03:29:18] <Andrey Popp> как metalua в lua
[03:30:20] <gds> плюс-минус типизация, конечно.
[03:32:37] Andrey Popp вышел(а) из комнаты
[03:45:03] Sun][ вышел(а) из комнаты
[03:45:27] Typhon вошёл(а) в комнату
[04:10:52] f[x] вышел(а) из комнаты
[04:34:23] Typhon вышел(а) из комнаты
[06:30:48] komar вышел(а) из комнаты
[09:11:23] UncleVasya вошёл(а) в комнату
[10:34:38] ermine вошёл(а) в комнату
[10:49:09] letrec вошёл(а) в комнату
[10:49:18] letrec вышел(а) из комнаты
[10:49:33] letrec вошёл(а) в комнату
[10:55:07] letrec вышел(а) из комнаты
[10:58:06] letrec вошёл(а) в комнату
[11:55:00] Andrey Popp вошёл(а) в комнату
[11:56:55] Kakadu вошёл(а) в комнату
[12:15:52] Andrey Popp вышел(а) из комнаты
[12:28:17] Andrey Popp вошёл(а) в комнату
[12:36:15] Typhon вошёл(а) в комнату
[12:42:18] Andrey Popp вышел(а) из комнаты
[12:45:19] tilarids вышел(а) из комнаты: Computer went to sleep
[12:51:20] Andrey Popp вошёл(а) в комнату
[13:19:16] Sun][ вошёл(а) в комнату
[13:28:04] <Andrey Popp> pgocaml, postgresql-ocaml, postgres?
[13:37:41] <Andrey Popp> и кстати, camlp5 существует потому что много кода есть от него зависящего или есть какие то причины использовать его вместо нового camlp4
[15:44:57] f[x] вошёл(а) в комнату
[16:06:10] UncleVasya вышел(а) из комнаты
[16:08:29] komar вошёл(а) в комнату
[16:23:42] f[x] вышел(а) из комнаты
[17:10:19] <Andrey Popp> наверное я чего-то непонимаю, но что то как то расхотелось oasis пользоваться
[17:11:09] <Andrey Popp> ocamlmakefile? ocamlbuild напрямую?
[17:14:18] <Andrey Popp> или omake
[17:24:07] <Kakadu> просто спроси в ирке как прикручивать нужный тебе синтаксис
[17:25:29] <Andrey Popp> Kakadu, да не, понятно что можно извратиться и прикрутить всё что угодно, просто я как-то не особо вижу пользу от oasis, если на каждый чих приходится извращаться
[17:26:04] <Kakadu> Ну напиши ocamlbuild.ml ручками
[17:26:11] <Kakadu> посмотри как будет
[17:26:33] <Andrey Popp> например чтобы определить syntax extensions и использовать их в одном проекте надо править ocamlbuild,ml, чтобы revised syntax использовать – надо _tags править и т.д.
[17:26:44] <Andrey Popp> ну вот я щас пробую напрямую ocamlbuild
[17:27:00] <Andrey Popp> хотя я подозреваю что это как sbt в Scala :-(
[17:27:12] <Typhon> это просто синтаксические расширения — извращения :D
[17:27:12] <Kakadu> я когда подключал sexplib.seyntax мне камлобилд.ml не надо было ковырять
[17:27:35] <Typhon> просто билдить проекты с зав-тями — оазис самое то
[17:29:33] <Andrey Popp> Kakadu, если подключать — то просто в _tags
[17:29:54] <Andrey Popp> Typhon, ну мне же хочется поэкспериментировать )
[17:30:29] <Kakadu> так я тогда не понял зачем ты мльник правил
[17:31:09] <Andrey Popp> Kakadu, не нашёл как по другому делать, когда я грамматику расширяю и тут же её использую — в рамках одного проекта
[17:31:35] <Kakadu> а вот это правда нельзя
[17:31:55] <Kakadu> хотя
[17:32:21] <Kakadu> Эталон изврата с этим надо смтреть у коры
[17:32:35] <Kakadu> они там в репке хранят скриптики для генерации файлов _oasis
[17:32:43] <Kakadu> они и заодно myocamlbuild.ml патчат
[18:13:01] <Andrey Popp> и так... ocamlbuild выигрывает — https://gist.github.com/e07d8713ae4d27a85b1c — всё что нужно для моего примера — tags
[18:13:53] <Andrey Popp> почему-то (видимо из-за желаения быть совместимым с ocaml < 3.12) oasis не использует тэги syntax(..,), package(...) которые работают с ocamlfind
[18:33:59] <Kakadu> Andrey Popp: где-то я это уже слышал
[18:35:54] Typhon вышел(а) из комнаты
[19:36:05] Andrey Popp вышел(а) из комнаты
[19:41:04] Andrey Popp вошёл(а) в комнату
[19:42:21] letrec вышел(а) из комнаты
[19:49:00] Andrey Popp вышел(а) из комнаты
[20:24:16] ermine вышел(а) из комнаты
[21:14:11] Typhon вошёл(а) в комнату
[21:22:36] Andrey Popp вошёл(а) в комнату
[21:40:48] tilarids вошёл(а) в комнату
[21:44:44] <Andrey Popp> а в ocaml нет какого-нибудь "по-сахарнее" монадического синтаксиса — чтобы когда с lwt работаешь не писать везде >> да >>=
[21:45:36] <gds> Andrey Popp: 1. pa_monad, 2. coq и его notations.
[21:46:23] <Andrey Popp> gds, wow, спасибо
[21:47:28] <Andrey Popp> pa_monad это Киселева, круто
[21:48:37] <Andrey Popp> про coq с notations немного не понял — это как-то можно в ocaml использовать?
[21:49:13] <gds> да, можно.  Пишешь на coq, экстрактишь в ocaml.
[21:49:28] <Andrey Popp> gds, это не совсем то, что мне хочется
[21:49:30] <gds> но тут смотря что нужно.  Обычно оно того не стоит.
[21:50:29] <Andrey Popp> pa_monad есть в opam, nice
[22:01:43] <Andrey Popp> pa_monad отличный, непонятно зачем нужен lwt.syntax теперь
[22:04:14] <Andrey Popp> только вот он берёт bind, return из лексического контекста, а не выводит типы
[22:05:19] <gds> пропиши типы bind/return явно, или засада хитрее?
[22:06:36] <Andrey Popp> да не, это я придираюсь,
[22:09:37] <Andrey Popp> Олег в этом году на strangeloop крутой докладик делал с ocaml и логическим программированием — написал по-быстрому type inferrencer для типизированного лямбда-исчисления
[22:10:38] <Andrey Popp> за день до этого тоже самое показывал Friedman с miniKanren :-)
[22:21:47] <komar> gds: Andrey Popp, поцоны, есть же lwt.syntax
[22:22:02] <komar> http://ocsigen.org/lwt/api/Pa_lwt
[22:22:20] <Andrey Popp> komar, но >> там писать всё равно приходится
[22:22:57] <Andrey Popp> хотя может я придираюсь
[22:24:05] Andrey Popp вышел(а) из комнаты
[22:28:06] Andrey Popp вошёл(а) в комнату
[22:50:52] Andrey Popp вышел(а) из комнаты
[22:51:25] Typhon вышел(а) из комнаты
[22:59:51] tilarids вышел(а) из комнаты: Machine going to sleep
[23:05:05] Andrey Popp вошёл(а) в комнату
[23:11:16] komar вышел(а) из комнаты
[23:13:53] komar вошёл(а) в комнату
[23:28:15] tilarids вошёл(а) в комнату
[23:34:54] Typhon вошёл(а) в комнату
[23:40:05] <gds> Andrey Popp: а фокус типа lwt () = ... in ... -- не?
[23:41:30] <Andrey Popp> gds, да и >> ок, просто экспериментирую
[23:54:14] Andrey Popp вышел(а) из комнаты
[23:56:45] Andrey Popp вошёл(а) в комнату