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

ocaml@conference.jabber.ru

Суббота, 21 сентября 2013< ^ >

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

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

GMT+4
[00:54:36] komar вышел(а) из комнаты: Logged out
[00:54:39] komar вошёл(а) в комнату
[00:54:46] UncleVasya вышел(а) из комнаты
[04:51:40] komar вышел(а) из комнаты
[05:13:46] n06r1n вошёл(а) в комнату
[05:55:07] n06r1n вышел(а) из комнаты
[06:05:12] n06r1n вошёл(а) в комнату
[06:50:20] n06r1n вышел(а) из комнаты
[06:50:38] ForNeVeR вошёл(а) в комнату
[07:15:17] n06r1n вошёл(а) в комнату
[07:43:13] ftrvxmtrx вышел(а) из комнаты
[07:57:10] ftrvxmtrx вошёл(а) в комнату
[08:41:53] n06r1n вышел(а) из комнаты
[08:41:54] n06r1n вошёл(а) в комнату
[09:03:37] <gds> опять у меня типичное.  let rec y = f x and x = g y.  я-то знаю, что операция осмыслена.  а какими способами вы обходите подобное дело?
[09:03:55] UncleVasya вошёл(а) в комнату
[09:05:34] n06r1n вышел(а) из комнаты
[09:06:59] UncleVasya вышел(а) из комнаты
[09:20:13] f[x] вошёл(а) в комнату
[09:20:42] <f[x]> lazy?
[09:22:05] <f[x]> а что это за функции такие что это будет осмысленно?
[09:36:25] n06r1n вошёл(а) в комнату
[09:55:36] n06r1n вышел(а) из комнаты
[09:55:46] n06r1n вошёл(а) в комнату
[10:10:26] f[x] вышел(а) из комнаты
[10:20:25] n06r1n вышел(а) из комнаты
[10:20:33] n06r1n вошёл(а) в комнату
[10:22:49] n06r1n вышел(а) из комнаты
[10:23:20] n06r1n вошёл(а) в комнату
[10:47:42] n06r1n вышел(а) из комнаты
[11:34:14] <gds> f[x]: lazy пробовал, http://paste.in.ua/8733/ и так до stack overflow.
про осмысленность -- там построение rtti для трёх взаимно-рекурсивных типов.  Если мимифицировать, то сводится к http://paste.in.ua/8734/ , но заинлайнить не могу, там больше сотни строк кода на каждый вызов, да и неюзабельно будет, если так инлайнить.
возникли кое-какие специфические для моего случая идеи, но хочу послушать ещё предложения.
[11:46:21] ermine вошёл(а) в комнату
[11:49:34] gds вышел(а) из комнаты
[12:04:41] gds вошёл(а) в комнату
[12:21:28] ermine вышел(а) из комнаты
[12:46:26] ermine вошёл(а) в комнату
[14:35:09] ermine вышел(а) из комнаты
[14:38:53] ermine вошёл(а) в комнату
[15:18:58] Kakadu вошёл(а) в комнату
[15:34:20] komar вошёл(а) в комнату
[15:36:56] ermine вышел(а) из комнаты: Replaced by new connection
[15:36:57] ermine вошёл(а) в комнату
[16:23:22] komar вышел(а) из комнаты: Replaced by new connection
[16:23:22] komar вошёл(а) в комнату
[17:44:17] Kakadu вышел(а) из комнаты
[18:10:50] f[x] вошёл(а) в комнату
[18:14:27] <f[x]> а с lazy как выглядит?
[18:14:45] <f[x]> let rec y = lazy (id !!x) and x = lazy (id !!y);;
[18:14:57] <f[x]> не понимаю как получить stackoverflow здесь
[18:15:02] <f[x]> undefined - понимаю
[18:22:46] f[x] вышел(а) из комнаты
[18:37:04] <gds> stack overflow -- это не именно с let.  я решил пойти ещё дальше, и запихнул это в объект.  а его методы -- это не значения, то есть, не "кешируются".
[18:38:20] <gds> то есть, там было method x = lazy ( f (!!(self#y)))
[19:26:37] Kakadu вошёл(а) в комнату
[21:12:44] Kakadu вышел(а) из комнаты
[21:42:26] komar вышел(а) из комнаты: Logged out
[22:00:20] komar вошёл(а) в комнату
[22:16:26] komar вышел(а) из комнаты: Logged out
[22:18:06] komar вошёл(а) в комнату
[23:09:38] komar вышел(а) из комнаты
[23:10:44] ermine вышел(а) из комнаты
[23:26:51] komar вошёл(а) в комнату