OCaml (aka Objective Caml), а также прочие ML'и, F#, Coq, etc

ocaml@conference.jabber.ru

Понедельник, 5 августа 2013< ^ >

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

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

GMT+4
[00:50:41] tilarids вышел(а) из комнаты: Computer went to sleep
[00:54:19] komar вышел(а) из комнаты: Logged out
[01:32:16] tilarids вошёл(а) в комнату
[02:06:51] tilarids вышел(а) из комнаты: Computer went to sleep
[05:53:02] zinid вошёл(а) в комнату
[06:15:26] klapaucius вышел(а) из комнаты
[06:45:08] f[x] вошёл(а) в комнату
[10:18:49] avkarpich вошёл(а) в комнату
[10:33:30] komar вошёл(а) в комнату
[10:57:23] komar вышел(а) из комнаты
[11:19:04] Kakadu вошёл(а) в комнату
[11:28:47] Kakadu вышел(а) из комнаты
[11:28:51] Kakadu вошёл(а) в комнату
[11:29:13] avkarpich вышел(а) из комнаты
[12:00:22] tilarids вошёл(а) в комнату
[12:00:59] f[x] вышел(а) из комнаты
[12:23:24] klapaucius вошёл(а) в комнату
[12:51:08] f[x] вошёл(а) в комнату
[13:29:46] tilarids вышел(а) из комнаты: Computer went to sleep
[15:01:54] tilarids вошёл(а) в комнату
[16:29:32] gds вышел(а) из комнаты
[16:34:27] f[x] вышел(а) из комнаты
[16:46:14] ForNeVeR вышел(а) из комнаты
[16:46:31] ForNeVeR вошёл(а) в комнату
[17:07:33] <Kakadu> Cкажите что-нибудь умное по поводу http://paste.in.ua/8540/
[17:20:51] tilarids вышел(а) из комнаты
[17:22:09] <aleksey> не хватает "]"?
[17:22:15] <ForNeVeR> Kakadu: это же какаду!
[17:22:26] <ForNeVeR> Kakadu: я что-то хотел тебе недавно сообщить. Но забыл, что именно.
[17:24:03] tilarids вошёл(а) в комнату
[17:24:10] <Kakadu> aleksey: пофиксил: http://paste.in.ua/8543/
[17:24:39] <Kakadu> ForNeVeR: угу
[17:25:06] <ForNeVeR> Kakadu: а чо это ты пилишь?
[17:25:34] <Kakadu> коротко --- комбинаторы
[17:25:37] <ForNeVeR> Kakadu: хошь в ICFPC поучаствовать?
[17:25:46] <ForNeVeR> Всё ещё комбинаторы? После стольких лет? =3
[17:25:46] <Kakadu> скорее всего мне будет лень
[17:27:42] <aleksey> всё равно не хватает чего-то
[17:27:46] <Kakadu> ForNeVeR: эти комбинаторы планируют себя компилировать в рантайме
[17:27:49] <aleksey> ; теперь хочет
[17:28:18] <Kakadu> ты компилить пытаешься?
[17:28:23] <ForNeVeR> Kakadu: очень интересно. Когда-то я тоже хотел запилить такую штуку.
[17:28:39] <ForNeVeR> Чтобы в рантайме ей EBNF подсовывать, а она парсер генерировала.
[17:28:53] <ForNeVeR> Для clojure уже есть библиотека, которая так умеет.
[17:29:09] <Kakadu> aleksey: меня смущает что с + работает, а с :: не хочет
[17:30:00] <Kakadu> ForNeVeR: кложуре кмпайлер получается
[17:32:55] <Kakadu> вот так совсем минимальный пример: http://paste.in.ua/8544/
[17:39:25] gds вошёл(а) в комнату
[17:42:17] <aleksey> а вот тк прокатит?  <:expr< $lid:"::"$ $x$ $acc$ >>
[17:44:21] <Kakadu> на первый взгляд работает
[17:44:33] <Kakadu> кажется после юга мой мозг ещё не включился
[17:49:13] <Kakadu> ларчик просто открывался
[17:49:20] <Kakadu> q_MLast это revised
[17:59:32] komar вошёл(а) в комнату
[18:08:11] f[x] вошёл(а) в комнату
[18:16:35] komar вышел(а) из комнаты: Logged out
[18:25:20] tilarids вышел(а) из комнаты: Computer went to sleep
[18:32:00] <f[x]> Kakadu: летал на остров к Робину?
[18:32:24] <Kakadu> v&
[18:32:26] <Kakadu> м?
[18:32:54] <Kakadu> скорее к Богдану
[18:33:49] <Kakadu> интересно, можно ли из MLast.patt получить строку
[18:46:19] <f[x]> Богдан?
[18:46:42] <f[x]> а зачем тебе camlp5?
[18:58:34] <Kakadu> f[x]: Хмельницкий
[18:58:40] <Kakadu> f[x]: otap
[18:58:42] <Kakadu> ostap*
[18:59:00] <f[x]> это разве юга :)
[19:00:44] <Kakadu> Относительно Питера --- да
[19:21:05] Kakadu вышел(а) из комнаты: Logged out
[19:38:40] zinid вышел(а) из комнаты
[21:23:57] f[x] вышел(а) из комнаты
[22:13:51] Kakadu вошёл(а) в комнату
[23:11:30] Kakadu вышел(а) из комнаты
[23:41:25] <gds> а кто-нибудь слышал про хрень для окамла (едсл или подобное, но не обязательно), которую используют для железяк?  vhdl / verilog всякий.
А то здешний господин avkarpich не колется, как он coq edsl -> verilog оформляет.  Стыдно должно быть (наверное.  лол.).
[23:53:41] ftrvxmtrx вышел(а) из комнаты
[23:56:03] ftrvxmtrx вошёл(а) в комнату