Objective Caml - Вторник, 16 ноября 2010

Objective Caml

ocaml@conference.jabber.ru

Вторник, 16 ноября 2010< ^ >

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

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

GMT+3
[00:01:30] komar вышел(а) из комнаты
[00:01:35] komar вошёл(а) в комнату
[00:12:50] ermine вышел(а) из комнаты
[00:16:44] arhibot вошёл(а) в комнату
[00:27:50] serp256 вошёл(а) в комнату
[00:28:08] serp256 вышел(а) из комнаты
[00:31:14] ygrek вышел(а) из комнаты
[00:41:19] ftrvxmtrx вышел(а) из комнаты
[00:50:24] ftrvxmtrx вошёл(а) в комнату
[00:54:57] arhibot вышел(а) из комнаты
[01:18:04] Kakadu вышел(а) из комнаты
[01:24:29] ftrvxmtrx вышел(а) из комнаты: offline
[01:37:28] ftrvxmtrx вошёл(а) в комнату
[02:56:16] Typhon вышел(а) из комнаты
[03:10:36] komar вышел(а) из комнаты
[07:51:24] iNode вошёл(а) в комнату
[09:02:56] gds вошёл(а) в комнату
[09:58:43] Typhon вошёл(а) в комнату
[10:02:20] serp256 вошёл(а) в комнату
[11:29:29] ermine вошёл(а) в комнату
[11:43:14] komar вошёл(а) в комнату
[11:50:52] komar вышел(а) из комнаты
[11:54:36] ftrvxmtrx вышел(а) из комнаты
[12:35:53] ftrvxmtrx вошёл(а) в комнату
[13:05:44] zert вошёл(а) в комнату
[13:06:14] komar вошёл(а) в комнату
[13:58:16] <zert> http://groups.google.com/group/erlang-russian/browse_thread/thread/bf8b04637d9ad3f6
х-ь посрамлен
[14:02:25] <komar> Опять?
[14:03:09] <komar> Фи, да это хренота, а не «посрамлен».
[14:07:50] Kakadu вошёл(а) в комнату
[14:23:27] <gds> понял, что точно я хочу.
допустим, есть тип sub 'a и значения: sint : sub int, sstr : sub string.  есть тип nonterm 'a и значение nt : nonterm expr.
я хочу сделать функцию rule, опционально операторы << и >>, и обязательно бинарный оператор типа ^ (подберу по ассоциативности, пока не важно), чтобы выражение
rule nt << sint ^ sstr ^ sstr >> func
протипизировалось, и чтобы тип func вывелся "int -> string -> string -> expr" (expr тут -- из значения "nt").
операторы << и >> не обязательны, но может помогут в реализации.
потом, конечно, хочется где-то хранить последовательность sint;sstr;sstr, получать эти подвыражения, применять их к func и возвращать значение с типом expr как результат применения правила nt.
ну или какой-то другой способ задавать грамматику покатит.  что нужно -- чтобы все значения были нормальными окамловскими значениями с типами.  что не нужно -- 1. Obj как основа типизации, и 2. использование препроцессора.
понятно, что мало кому это нужно, эта колбасня, но может кому будет интересно.
материалы, кагбэ намекающие, что это реально осуществить: http://okmij.org/ftp/typed-formatting/FPrintScan.html  (насчёт хостнейма, надеюсь, никто и не сомневался).
[14:38:58] zert вышел(а) из комнаты
[14:48:08] komar вышел(а) из комнаты
[14:48:21] komar вошёл(а) в комнату
[15:08:36] zert вошёл(а) в комнату
[17:21:12] <gds> не выдержал, распеарил инфиксные операторы в рассылке.  на вику ссылку не давал, на битовомведре захостил.  да и не мог не ответить человеку с фамилией "хуитуз".
[17:24:35] <komar> (==) для двух int64, для которых (=) возращает true, может когда-нибудь выдать false?
[17:25:28] <gds> да.
[17:25:42] <gds> # let q = 1L;;
val q : int64 = 1L
# let w = 1L;;
val w : int64 = 1L
# w=q;;
- : bool = true
# w==q;;
- : bool = false
#
[17:30:33] gds вышел(а) из комнаты
[18:31:56] gds вошёл(а) в комнату
[18:35:53] iNode вышел(а) из комнаты
[18:48:23] komar вышел(а) из комнаты
[18:55:01] komar вошёл(а) в комнату
[18:57:29] ermine озирается
[18:57:52] <ermine> у кого-нить стоит lwt из darcs? погонять одну тестовую прогу треба на предмет наличия баги
[18:59:18] <f[x]> треба?
[19:00:02] <ermine> оченно треба!
[19:00:06] <f[x]> хай йому грець
[19:00:27] <f[x]> нема в мене лвт з дарцс
[19:00:33] <ermine> у тебя где-нить есть lwt из darcs?
[19:00:58] <f[x]> хотя есть
[19:01:03] <f[x]> только не сегодня
[19:15:37] Typhon вышел(а) из комнаты
[19:31:12] <f[x]> в #ocaml толкуют о каком-то jit toplevel
[19:31:27] Kakadu вышел(а) из комнаты
[19:33:02] <f[x]> хм, /ocaml/branches/contracts
[19:33:22] <f[x]> /ocaml/branches/binary-annot
[19:35:19] serp256 вышел(а) из комнаты
[19:38:17] <f[x]> binary-annot: new version saving .types file even when a typing error occurs
[19:41:19] <gds> интересно, как там через веб-морду посмотреть дифф в этих бранчах.
[19:42:52] <gds> binary-annot понятно в целом, а вот contracts интересно было бы посмотреть.
[19:43:09] <f[x]> http://caml.inria.fr/cgi-bin/viewcvs.cgi/ocaml/branches/binary-annot/README.txt?rev=10800&view=markup
[19:43:20] <f[x]> ха, typedtree!
[19:44:54] <gds> typedtree -- ага, что доказывает очевидность подобной идеи.
[19:45:05] <f[x]> profit
[19:51:32] <gds> профит тут пока только в том, что я понял, как писать патчи к окамлу.  Нужно хорошо задуматься о требуемой функциональности, подождать 2..4 года, и патч твой, уже лежит в свн и почти интегрирован в релиз.
[19:54:18] <f[x]> гг :)
[20:10:18] Kakadu вошёл(а) в комнату
[20:13:22] ftrvxmtrx вышел(а) из комнаты: offline
[20:17:53] Typhon вошёл(а) в комнату
[21:04:36] iNode вошёл(а) в комнату
[21:20:54] zert вышел(а) из комнаты
[21:29:42] komar вышел(а) из комнаты
[21:42:49] ygrek вошёл(а) в комнату
[21:42:58] ygrek вышел(а) из комнаты
[21:43:31] ygrek вошёл(а) в комнату
[21:43:43] ygrek вышел(а) из комнаты
[21:44:07] ygrek вошёл(а) в комнату
[22:04:03] zert вошёл(а) в комнату
[22:26:25] arhibot вошёл(а) в комнату
[22:41:19] komar вошёл(а) в комнату
[23:12:58] ak79 вошёл(а) в комнату
[23:54:54] serp256 вошёл(а) в комнату
[23:59:43] <ermine> пофиксила багу в lwt, подправив строчку в META