Objective Caml - Пятница, 2 декабря 2011

Objective Caml

ocaml@conference.jabber.ru

Пятница, 2 декабря 2011< ^ >

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

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

GMT+4
[00:10:54] ftrvxmtrx вышел(а) из комнаты
[00:42:36] ftrvxmtrx вошёл(а) в комнату
[00:46:29] komar вышел(а) из комнаты: Replaced by new connection
[00:46:30] komar вошёл(а) в комнату
[01:19:08] Kakadu вышел(а) из комнаты
[01:28:39] Typhon вошёл(а) в комнату
[01:47:17] <Typhon> bobry, aeson свежий ?
[03:19:43] Typhon вышел(а) из комнаты
[05:55:36] gds вышел(а) из комнаты
[05:56:24] gds вошёл(а) в комнату
[08:50:59] komar вышел(а) из комнаты
[09:42:01] Typhon вошёл(а) в комнату
[11:15:21] bobry вышел(а) из комнаты
[11:34:35] bobry вошёл(а) в комнату
[11:46:14] ermine вошёл(а) в комнату
[11:59:34] bobry вошёл(а) в комнату
[12:10:27] <bobry> Typhon: ага, он самый
[12:17:33] <Typhon> ну так он только вот-вот позавчера народился, наконец то
[12:23:37] Serge Ziryukin вошёл(а) в комнату
[13:06:02] shaggie вошёл(а) в комнату
[13:16:16] Kakadu вошёл(а) в комнату
[13:21:14] klapaucius вышел(а) из комнаты
[13:22:20] <Kakadu> ух, у нас новые ники в конфе
[13:22:25] <Kakadu> Serge Ziryukin: привет.
[13:24:23] <gds> не новые лол
[13:33:57] <Kakadu> тогда я первый раз его вижу
[13:35:48] klapaucius вошёл(а) в комнату
[13:41:03] <Kakadu> gds: ты  cps победил?
[13:42:46] <gds> понял, что cps это инструмент, а не решение.  то есть, нужно сначала понять принцип.  сейчас обсуждаем приватно про это дело, где-то с 7 утра уже :)  там, если более общо подходить, много интересных деталей вылезает.  в итоге пока откинули всё возможное, включая классический fold.
[13:45:33] <Kakadu> я просто проспав ночь не понял, почему при cps хвостовая рекурсия возможна
[13:47:08] <gds> потому что стек переносят в хип.
[13:48:25] <gds> если конкретнее интересно про хвостовую рекурсию, вроде в наглийской википердии объясняют, если правильно помню.
[13:48:55] <gds> а так -- ещё потому, что каждый вызов будет хвостовым.
[13:51:40] <Kakadu> ну вот если мы по дереву дошли до листа, то в этот момент мы последним оператором фолда вызываем накопленную функцию. Вуаля, рост стека
[13:53:44] <gds> откуда рост стека?
[13:53:57] <Kakadu> вызов функции, переданной как параметр
[13:54:41] <Kakadu> или оно тоже считается за хвостовой?
[13:55:40] <Kakadu> мдя, логично что хвостовой
[13:55:48] <Kakadu> кажется что всё встало на свои места
[14:01:11] <gds> не, там проще.  строится в хипе здоровенная функция и просто применяется.  она не рекурсивная, и при применении очередной из closure в неё засовывается аргумент, она вычисляется и возвращает другую closure (или результат).  при этом даже, вероятно, использованные closures будут собираемы мусоргским.
[14:01:53] <gds> а так -- никакой магеи.  по большому счёту, пофиг, где использовать память, в стеке или в хипе.  но обычно стек ограничен, оттого и такие извращения.
[14:12:47] Serge Ziryukin вышел(а) из комнаты
[14:14:26] ftrvxmtrx вошёл(а) в комнату
[15:23:59] bobry вышел(а) из комнаты
[15:31:26] bobry вошёл(а) в комнату
[15:59:02] ftrvxmtrx вышел(а) из комнаты
[16:10:31] ftrvxmtrx вошёл(а) в комнату
[16:29:42] ftrvxmtrx вышел(а) из комнаты
[16:32:44] ftrvxmtrx вошёл(а) в комнату
[17:34:59] shaggie вышел(а) из комнаты
[17:39:55] ftrvxmtrx вышел(а) из комнаты
[17:43:26] Kakadu вышел(а) из комнаты
[18:01:04] shaggie вошёл(а) в комнату
[18:18:16] Kakadu вошёл(а) в комнату
[18:35:27] <gds> итак, и печаталка trie, и их обрезалка по глубине таки работают.  более сложные случаи тоже обязаны, судя по всему.  сигнатура Комбинатора и результаты запуска кода -- http://paste.in.ua/3402/
[19:15:59] bobry вышел(а) из комнаты
[19:48:10] gds вышел(а) из комнаты
[19:48:25] gds вошёл(а) в комнату
[20:37:35] ftrvxmtrx вышел(а) из комнаты
[20:40:11] <gds> кто-нибудь прятал полиморфные методы так, чтобы они стали приватными?
[20:48:54] Typhon вышел(а) из комнаты
[22:10:30] ftrvxmtrx вошёл(а) в комнату
[22:15:27] komar вошёл(а) в комнату
[22:40:04] komar вышел(а) из комнаты
[22:53:07] shaggie вышел(а) из комнаты
[23:15:22] ygrek вошёл(а) в комнату