Objective Caml - Понедельник, 7 марта 2011

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 7 марта 2011< ^ >

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

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

GMT+3
[00:00:41] <ygrek> после дефункторизации -> http://paste.in.ua/1852/
[00:20:33] arhibot вошёл(а) в комнату
[00:20:46] arhibot вышел(а) из комнаты
[00:52:07] Kakadu вышел(а) из комнаты
[00:52:14] Kakadu вошёл(а) в комнату
[00:52:16] Kakadu вышел(а) из комнаты
[01:21:09] ermine вышел(а) из комнаты
[01:31:16] zert вышел(а) из комнаты
[01:40:21] zert вошёл(а) в комнату
[01:52:57] Typhon вышел(а) из комнаты
[01:53:37] Typhon вошёл(а) в комнату
[01:54:12] Typhon вышел(а) из комнаты
[01:54:38] ygrek вышел(а) из комнаты
[01:54:43] Typhon вошёл(а) в комнату
[02:06:07] Typhon вышел(а) из комнаты
[03:23:33] ftrvxmtrx вышел(а) из комнаты
[03:24:31] ftrvxmtrx вошёл(а) в комнату
[03:47:52] Typhon вошёл(а) в комнату
[04:02:01] Typhon вышел(а) из комнаты
[04:06:38] zert вышел(а) из комнаты
[07:30:53] f[x] вышел(а) из комнаты
[09:29:29] Kakadu вошёл(а) в комнату
[09:36:37] komar вышел(а) из комнаты: Replaced by new connection
[09:36:37] komar вошёл(а) в комнату
[10:42:21] ftrvxmtrx вышел(а) из комнаты
[10:42:25] ftrvxmtrx вошёл(а) в комнату
[11:12:35] arhibot вошёл(а) в комнату
[11:37:01] ermine вошёл(а) в комнату
[11:57:38] ftrvxmtrx вышел(а) из комнаты
[12:08:58] ftrvxmtrx вошёл(а) в комнату
[12:15:01] zert вошёл(а) в комнату
[12:32:43] f[x] вошёл(а) в комнату
[12:36:58] <komar> Багтрекер extlib'а зашевелился.
[12:37:02] <gds> кстати да, дефункторизация -- это клёво, но недостаточно обще.  Есть куча других мест, которые можно было бы пооптимизировать в целом, и это даже не трогая runtime value representation.
[12:43:35] <f[x]> что хорошо в дефункторизации так то что это source->source, т.е. делается вне компилера
[12:43:45] <f[x]> т.е. просто синтаксическая штука
[12:44:16] <f[x]> (правда непонятно почему ocamldefun не сделан как просто camlp4-расширение)
[12:45:47] <gds> там много хитрых случаев, и не уверен, что вообще можно синтаксически это сделать.
[12:48:32] <f[x]> так оно синтаксически и делается
[12:57:32] <gds> и всегда корректно?  когда последний раз смотрел, вроде были тесты, которые не выполнялись.
[12:59:36] ftrvxmtrx вышел(а) из комнаты
[13:01:24] <f[x]> в known_bugs не пусто %)
[13:01:44] ftrvxmtrx вошёл(а) в комнату
[13:29:06] arhibot вышел(а) из комнаты: Replaced by new connection
[13:29:06] arhibot вошёл(а) в комнату
[13:53:23] <gds> а вот хочу сделать что-то типа
type t1 = < a : int >; type t2 = < t1 ; b : string >;
но не делается.  Нет ли синтаксиса какого-нибудь для включения типов?  А то целую простыню методов копипастить как-то не ок.
[13:55:01] <gds> использовать -pp cpp + #include -- жесть какая-то (тем более, разные лексические правила у сишечьки и окамла, в теории некорректно натравливать cpp на камлоисходники).
[13:56:02] <f[x]> inherit? :)
[13:56:38] <f[x]> только придётся class выписывать
[13:57:04] f[x] вообще не очень улавливает разницу между class type и type x = < >
[14:08:28] <gds> inherit -- вариант.
кстати, мне там надо будет ещё подтипизацию в другую сторону, типа
t2_of_t1 : t1 -> ~b:string -> t2
с копированием полей.  вот буду думать.
[14:10:31] arhibot вышел(а) из комнаты
[14:40:17] arhibot вошёл(а) в комнату
[14:42:42] ygrek вошёл(а) в комнату
[14:47:19] arhibot вышел(а) из комнаты
[16:48:11] Typhon вошёл(а) в комнату
[17:02:28] Typhon вышел(а) из комнаты: Replaced by new connection
[17:02:38] Typhon вошёл(а) в комнату
[17:02:55] Typhon вышел(а) из комнаты
[17:03:46] Typhon вошёл(а) в комнату
[17:09:05] ygrek вышел(а) из комнаты
[17:12:40] Typhon вышел(а) из комнаты
[17:13:26] Typhon вошёл(а) в комнату
[17:23:28] Typhon вышел(а) из комнаты
[17:24:39] Typhon вошёл(а) в комнату
[18:26:50] Typhon вышел(а) из комнаты
[20:12:44] iNode вышел(а) из комнаты
[20:31:20] <gds> за что я ЕАВИЖУ синтаксические расширения.  Пример от json-static.
type json ...
and my_shit =
  < q : Q.tt
  >
Parse error: [type_expr] expected after [method_label] (in [methods])
если же "Q.tt" заменить на "Int64.t", то:
Error: Unbound value Int64.of_json
ну и как, в рот мне ноги, это понимать?
[20:35:32] <f[x]> очень просто - QQ.tt не известно как json'ить
[20:35:43] <f[x]> пиши int64
[20:41:59] <gds> но почему же сообщения об ошибке разные?
Попробовал:
Failure: "type name int64 is undefined or not defined in the same 'type ... and ...' block"
кривизна.  Думаю подсунуть-таки модуль Int64 со значением of_json с типом, о котором попробую догадаться.
[20:46:03] <f[x]> хм, странно
[20:46:53] <f[x]> X.t***                  defined by X.of_json and X.to_json
[20:47:00] <f[x]> ***: X can be any simple module name, but module fields t, of_json and to_json
     are mandatory.
[20:47:05] <f[x]> т.е. это ок
[20:47:09] <f[x]> а Q.tt не ок
[20:47:17] <f[x]> rtfm, да :)
[20:52:09] <gds> чорт, да.  Читал же, но фильтр не пропускал слова с "***" внутри.
Буду использовать "Модуль.t".
С другой стороны, криво же.  Слишком синтаксически.
[20:53:11] <f[x]> синтаксические расширения не бывают слишком синтаксическими :)
[20:53:52] <f[x]> имхо нормально - считай структурные ad hoc properties
[20:57:31] <gds> структурые -- в смысле, "Module.type" считается приемлемым для json-туда-сюда только тогда, когда type = "t" и Module определяет {of,to}_json?  Только из-за того, что ничего лучше предложить не могу, не буду критиковать эту кривую логику.
[21:00:15] <f[x]> в смысле что не надо заранее писать что модуль такой-то IJsonable
[21:11:12] <gds> обычно в окамле заранее писать не нужно, так как есть "module X = struct include X;; дополнения;; end"
[22:01:39] komar вышел(а) из комнаты: Logged out
[22:01:45] komar вошёл(а) в комнату
[22:25:50] Typhon вошёл(а) в комнату
[22:33:10] Typhon вышел(а) из комнаты: Replaced by new connection
[22:33:53] Typhon вошёл(а) в комнату
[22:36:50] Typhon вышел(а) из комнаты
[22:38:25] Typhon вошёл(а) в комнату
[23:08:37] Typhon вышел(а) из комнаты
[23:09:52] Typhon вошёл(а) в комнату