Objective Caml - Понедельник, 16 мая 2011

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 16 мая 2011< ^ >

gds установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Светлое будущее -- http://camlunity.ru/ | Нефильтрованное настоящее -- https://github.com/camlunity/kamlo_wiki | Портер прошлое -- http://gdsfh.dyndns.org/kamlo/ | Верблюды грязи не боятся! | release crap, enjoy NIH | репортьте баги официальным дилерам | ocaml мёртв, move on

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

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

GMT+4
[00:00:33] <ermine> Kakadu: ну я могу завтра с утра запустить
[00:02:13] <Kakadu> было бы круто
[00:03:27] <ermine> окей
[00:06:17] ermine вышел(а) из комнаты
[00:33:03] ftrvxmtrx вошёл(а) в комнату
[00:51:33] Kakadu вышел(а) из комнаты
[01:09:08] gds вышел(а) из комнаты
[02:42:17] ygrek вышел(а) из комнаты
[02:49:19] f[x] вышел(а) из комнаты
[03:47:25] Digimmortal вошёл(а) в комнату
[04:53:21] Digimmortal вышел(а) из комнаты
[08:25:58] ermine вошёл(а) в комнату
[09:54:22] gds вошёл(а) в комнату
[09:54:54] gds вышел(а) из комнаты
[09:55:01] gds вошёл(а) в комнату
[11:12:51] f[x] вошёл(а) в комнату
[11:27:01] ftrvxmtrx вышел(а) из комнаты
[11:28:55] <gds> кстати, внезапно: а ведь первоклассные модули -- это не только годная альтернатива тайпклассам, но и existential types заодно.  Эх, надо смотреть, во что точно они компилируются.
[11:35:55] <ermine> в годные плугины
[11:37:37] <gds> это тоже есть, слышал, но надо будет попользовать.
[11:38:08] <ermine> а я использую для полиглота
[11:38:33] <ermine> надо бы уже рискнуть выложить crap git на гитхаб
[11:38:44] <f[x]> в блоге savonet кстати вчера пост был про плагины
[11:38:56] <f[x]> и про ихний duppy шедулер для асинхронных тасков
[11:39:13] <ermine> полиглот генерит первоклассные модули с переводами текстов, которых потом можно либо вкомпилить в прогу, либо подгружать их
[12:12:56] Typhon вошёл(а) в комнату
[12:26:39] ygrek вошёл(а) в комнату
[12:37:10] Kakadu вошёл(а) в комнату
[12:37:46] <Kakadu> ermine: я послал препод ссылку на вики, и получил ответ, что её посылать было не очень вежливо. facepalm
[12:40:40] <Typhon> вики надо было распечатать, видимо, с гостовским оформлением?
[12:40:54] <Kakadu> Typhon: надо было убрать слово жопа
[12:52:41] ygrek вышел(а) из комнаты
[12:53:01] ygrek вошёл(а) в комнату
[12:53:39] ftrvxmtrx вошёл(а) в комнату
[12:54:57] <ermine> хыхы
[12:55:10] <ermine> Kakadu: теперь курсовик не сдать? всё заново?
[12:55:54] <Kakadu> думаю не сдать на 5
[12:58:22] <ermine> жопа, да
[13:35:37] ygrek вышел(а) из комнаты
[15:06:51] ygrek вошёл(а) в комнату
[15:07:24] Kakadu вышел(а) из комнаты
[15:24:22] Kakadu вошёл(а) в комнату
[15:32:20] Digimmortal вошёл(а) в комнату
[15:37:04] ftrvxmtrx вышел(а) из комнаты
[15:37:13] ftrvxmtrx вошёл(а) в комнату
[16:03:31] Kakadu вышел(а) из комнаты
[16:09:24] <Digimmortal> f[x]: подкинь ссылку на блог savonet, а то, что-то ненагугливается
[16:12:11] <f[x]> в планете было
[16:12:47] <f[x]> http://blog.rastageeks.org/
[16:29:54] Kakadu вошёл(а) в комнату
[16:30:51] ygrek вышел(а) из комнаты
[16:35:21] Kakadu вышел(а) из комнаты
[16:35:59] Kakadu вошёл(а) в комнату
[17:06:15] komar вышел(а) из комнаты: Replaced by new connection
[17:06:15] komar вошёл(а) в комнату
[18:12:05] Digimmortal вышел(а) из комнаты
[18:17:28] crocodile65 вошёл(а) в комнату
[18:18:53] crocodile65 вышел(а) из комнаты: QIP Infium: Спокойное общение
[18:39:22] Kakadu вышел(а) из комнаты: Replaced by new connection
[18:39:22] Kakadu вошёл(а) в комнату
[18:47:25] Kakadu вышел(а) из комнаты
[19:32:58] <gds> вроде бага?  http://paste.in.ua/2388/
[19:46:29] <Typhon> gds: ты имеешь ввиду бага в camlp4r?
[19:47:23] <ermine> уже и тринадцатое юзаем
[19:48:13] <ermine> а вместо match нельзя function?
[19:54:26] <gds> бага -- наверное в camlp4.
вместо match можно function в конкретном случае, но match полностью убрать нельзя.
[19:55:19] ftrvxmtrx вышел(а) из комнаты
[19:59:43] <Typhon> в 3 12 генерит http://paste.in.ua/2389/ а что ты ожидаешь увидеть?
[20:06:04] <gds> Typhon: провёл простые тесты, но неполные.  http://paste.in.ua/2390/ -- сверху исходник, снизу сгенерированное.
Что ожидаю -- даже не знаю, забыл original syntax в этом моменте, так как момент мутный, помнить такой неохота.
Надо подумать.
[20:12:22] <ermine> gadt какой-нить супермодный?
[20:13:47] <gds> а ещё оно транслирует
value g' x = match x with [ B y -> () | _ -> () ];
=>
let g' x = match x with | B y -> () | _ -> ()
при типе
type u = [ B of int and string ];
=>
type u = | B of int * string
[20:14:37] <gds> ermine: не, обычные sum types.  исподники показал.
[20:15:50] <ermine> gds: смутило наличие None
[20:16:22] <gds> а меня-то как, когда я его увидел в своём коде, когда понял, что из-за него тайпчекеру сносит крышу.
[20:48:55] ftrvxmtrx вошёл(а) в комнату
[20:48:57] Kakadu вошёл(а) в комнату
[20:56:13] gds вышел(а) из комнаты
[21:05:07] ftrvxmtrx вышел(а) из комнаты
[21:13:16] Typhon вышел(а) из комнаты
[21:35:55] ftrvxmtrx вошёл(а) в комнату
[22:38:22] komar вышел(а) из комнаты: Logged out
[22:38:26] komar вошёл(а) в комнату
[22:42:50] Typhon вошёл(а) в комнату
[23:48:01] komar вышел(а) из комнаты