Objective Caml - Воскресенье, 12 сентября 2010

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 12 сентября 2010< ^ >

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

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

GMT+4
[00:00:39] arhibot вышел(а) из комнаты
[00:00:42] arhibot вошёл(а) в комнату
[00:04:07] ermine вышел(а) из комнаты
[00:29:38] arhibot вышел(а) из комнаты
[00:59:53] arhibot вошёл(а) в комнату
[02:13:05] arhibot вышел(а) из комнаты
[03:06:39] zert вышел(а) из комнаты
[03:16:33] Typhon вышел(а) из комнаты
[04:20:31] komar вышел(а) из комнаты
[10:16:16] ygrek вошёл(а) в комнату
[10:16:31] ygrek вышел(а) из комнаты
[10:17:01] ygrek вошёл(а) в комнату
[10:42:41] ermine вошёл(а) в комнату
[11:00:08] arhibot вошёл(а) в комнату
[11:03:24] Kakadu вошёл(а) в комнату
[13:41:48] <ygrek> как заматчить именованный параметр в camlp4?
[13:45:03] <ygrek> # let f = function <:ctyp< x : t -> unit >> -> print_endline "ok" | _ -> print_endline "fail";;
val f : Camlp4.PreCast.Ast.ctyp -> unit = <fun>
# f (Gram.parse_string Syntax.ctyp Loc.ghost "x:t -> unit");;
ok
[13:45:21] <ygrek> # let f = function <:ctyp< $x$ : t -> unit >> -> print_endline "ok" | _ -> print_endline "fail";;
val f : Camlp4.PreCast.Ast.ctyp -> unit = <fun>
# f (Gram.parse_string Syntax.ctyp Loc.ghost "x:t -> unit");;
fail
[13:47:57] <ygrek> т.е. когда подставляешь aniquotation TyLab превращается в TyCol (record field)
[13:49:40] <ygrek> et x = <:ident<t>> in <:ctyp< $id:x$ : t -> unit >>;;
- : Camlp4.PreCast.Ast.ctyp =
Camlp4.PreCast.Ast.TyCol (<abstr>,
[13:52:52] <ygrek> какого фига он вообще парсит ctyp'ом record field в str_item?
[13:56:13] <ygrek> буду матчить напрямую по имени
[13:56:15] <ygrek> ужас ужас
[14:07:21] <ygrek> причём в самом camlp4 он матчит <:ctyp:< ~ $s$ : $t$ >>
[14:25:37] komar вошёл(а) в комнату
[17:02:14] SV0L0CH вошёл(а) в комнату
[19:38:47] gds вышел(а) из комнаты
[19:40:16] gds вошёл(а) в комнату
[19:59:52] sceptik вошёл(а) в комнату
[19:59:59] <sceptik> ermine: А куда сулька делась??
[20:03:37] Typhon вошёл(а) в комнату
[20:14:47] Kakadu вышел(а) из комнаты
[20:22:36] <ermine> sceptik: сеть где-то лежит
[20:25:17] sceptik вышел(а) из комнаты: Replaced by new connection
[20:25:19] sceptik вошёл(а) в комнату
[20:25:44] <sceptik> ermine: тут j.ru штормит, может из-за этого?
[20:26:27] <ermine> его не штормит
[20:26:37] <ermine> а сеть лежит
[20:26:48] <sceptik> ясно
[20:26:53] <sceptik> очень ждём
[20:27:42] <ermine> не проще ли провести вечер с семьей в оффлайне? все же вечер воскресенья
[20:28:10] <sceptik> уже провёл
[20:41:06] Zert_ вошёл(а) в комнату
[21:11:16] zert вошёл(а) в комнату
[21:17:58] ygrek вышел(а) из комнаты: Replaced by new connection
[21:17:59] ygrek вошёл(а) в комнату
[21:18:32] Zert_ вышел(а) из комнаты: offline
[21:31:18] <SV0L0CH> ermine: а как часто тут пустые конференции пропадают?
[21:32:51] <ermine> теперь эта конфа превращается в support@
[21:33:22] <SV0L0CH> ты в той конфе тоже сидьшь?
[21:33:24] <ermine> SV0L0CH: раз в неделю
[21:33:32] <SV0L0CH> буду знать :)
[21:33:37] <ermine> иногда не сижу
[21:34:13] <SV0L0CH> ато я обычно по программерским конфам сижу, в другие захожу редко
[21:35:15] SV0L0CH думает чего бы с камля портировать на жабоскрипт
[21:37:21] <ermine> ocamljs?
[21:37:37] <ermine> js_of_ocaml?
[21:37:59] <zert> ermine: а что с сервером творится? я раза с 20-го только залогинился
[21:38:35] <ermine> zert: ты ж умный, мог бы потрейсить
[21:39:05] <ermine> с сервером-то ничего не творится как раз
[21:39:15] <SV0L0CH> просто видел исходниеи parsec.js , впечетлили
[21:51:14] <zert> ermine: ггг
[21:55:04] <ermine> zert: чо, стыдно стало?
[21:57:14] <zert> да подсоединился же, уже влом трейсить
[21:59:27] Typhon вышел(а) из комнаты
[22:09:54] sceptik вышел(а) из комнаты
[23:37:23] Kakadu вошёл(а) в комнату
[23:59:52] <arhibot> не пойму: ocamlfind ocamlc -package batteries -c bnf.ml выдает: Unbound value String.join как правильно компилять то? если в топ левел загружать, то работает