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

Objective Caml

ocaml@conference.jabber.ru

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

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

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

GMT+4
[00:11:22] komar вышел(а) из комнаты
[00:11:26] komar вошёл(а) в комнату
[00:39:41] ermine вышел(а) из комнаты
[01:11:23] komar вышел(а) из комнаты: Replaced by new connection
[01:11:23] komar вошёл(а) в комнату
[01:16:06] bobry вышел(а) из комнаты
[02:33:47] Typhon вышел(а) из комнаты
[02:58:11] tilarids вышел(а) из комнаты: Machine going to sleep
[03:37:49] komar вышел(а) из комнаты: Replaced by new connection
[03:37:50] komar вошёл(а) в комнату
[03:38:58] letrec вошёл(а) в комнату
[03:39:05] letrec вышел(а) из комнаты
[03:39:20] letrec вошёл(а) в комнату
[03:53:43] dki001 вышел(а) из комнаты
[04:45:34] letrec вышел(а) из комнаты
[07:02:17] Typhon вошёл(а) в комнату
[07:42:28] ermine вошёл(а) в комнату
[08:37:46] Typhon вышел(а) из комнаты
[09:38:56] Typhon вошёл(а) в комнату
[09:45:24] bobry вошёл(а) в комнату
[10:08:42] bobry вышел(а) из комнаты
[10:29:51] Sun][ вошёл(а) в комнату
[10:38:06] dzhon вошёл(а) в комнату
[10:38:57] dzhon вышел(а) из комнаты
[10:39:38] dzhon вошёл(а) в комнату
[11:37:02] dzhon вышел(а) из комнаты: Replaced by new connection
[11:37:06] dzhon вошёл(а) в комнату
[12:31:32] tilarids вошёл(а) в комнату
[15:00:59] Kakadu вошёл(а) в комнату
[15:05:16] <Kakadu> короче мне поставили 4
[15:06:20] <f[x]> ну слава байтам
[15:06:35] <Kakadu> Научник в отзыве поставил 5, но потом подошел к комиссии и сказал чтобы мне поставили 4
[15:06:46] <Kakadu> "потому что я унизил парсер-комббинаторы в рассказе"
[15:17:06] <Kakadu> короче gds знает что такое замыкание)
[15:20:20] <gds> подумалось (из других соображений), что замыканием можно назвать любое функциональное значение, несущее в себе всё нужное окружение, даже если оно пустое.  то есть, вчера обманул, по идее.
[15:37:41] dzhon вышел(а) из комнаты: Replaced by new connection
[15:37:41] dzhon вошёл(а) в комнату
[16:23:01] dzhon вышел(а) из комнаты: Replaced by new connection
[16:23:01] dzhon вошёл(а) в комнату
[16:47:03] dzhon вышел(а) из комнаты
[16:52:57] letrec вошёл(а) в комнату
[18:38:30] Sun][ вышел(а) из комнаты
[18:55:27] Typhon вышел(а) из комнаты
[19:23:44] komar вышел(а) из комнаты: Replaced by new connection
[19:23:45] komar вошёл(а) в комнату
[20:14:01] komar вышел(а) из комнаты
[20:14:59] komar вошёл(а) в комнату
[20:48:17] <gds> если кому дслы интересны, но кто не знает про phoas (parametric higher-order abstract syntax) -- http://adam.chlipala.net/papers/PhoasICFP08/PhoasICFP08Talk.pdf и, в целом, http://adam.chlipala.net/papers/PhoasICFP08/ .  к окамлу применимо замечательно.
[21:04:41] letrec вышел(а) из комнаты
[21:46:20] komar вышел(а) из комнаты: Replaced by new connection
[21:46:20] komar вошёл(а) в комнату
[22:33:46] <Kakadu> представьте что есть здоровый паттерн матчинг. И вы видете что вроде все алтернативы возвращают тип a. Но компилятор ругается на то, что там на самом деле надо было возвращать context->a. Как искать где лажа?
[22:36:17] <gds> Kakadu: 1. ограничить тип функции/матча так, чтобы было a.  2. комментить по половине кейсов -- если проблемный кейс не закомментирован, то ошибка будет.
[22:36:24] <gds> * видите
[22:36:39] <gds> 1 и 2 -- в указанном порядке.
[22:37:15] <Kakadu> Ура, я победю эту ересь!!!
[22:38:05] <gds> только иногда, если тип a на самом деле 'a, рекомендуется " ! 'a . тип" в revised, или, вроде " 'a . тип" в original, но надо проверить.
[22:41:26] <Kakadu> да там у меня полиморфизма нет, я от лень а писал)
[22:41:35] <Kakadu> от лени*
[22:52:02] <Kakadu> Итак, от паттерн матчинга остался один случай. в нём ошибка. Наверное надо смотреть где вызывается моя функци с паттерн матчинггом
[22:57:35] <Kakadu> печаль. С этим фэшарпом совсем забыл что значит       {< roots = true >}
[23:02:19] <Kakadu> http://paste.in.ua/4290/raw/ я правильно думаю, что где-то в переменной v ошибка или не?
[23:07:11] <Kakadu> ладно, попробуем пока пофиксить нерабочий код с другой стороны
[23:16:03] <gds> Kakadu: ограничивай подозрительные случаи типовыми аннотациями.  Лучше, конечно, top-level функции ограничивать.
[23:20:18] bobry вошёл(а) в комнату
[23:25:53] <Kakadu> Ура, оно скомпилилость
[23:26:07] <Kakadu> я просто слишком уж лихо начал править чудой код, который ещё и не компилился
[23:26:20] <Kakadu> надо было более медными темпами
[23:26:40] <bobry> Kakadu: grats
[23:27:12] <gds> ну вообще да, не слишком годно сделал.  Хотя бы скомпилить до того, "что автор имел ввиду".
[23:27:47] <Kakadu> я вот как раз "До того что автор имел ввиду и пытаюсь"
[23:28:23] <gds> тогда -- только аннотации типов на подозрительной фигне.
[23:29:43] <gds> иногда даже Obj.magic использую для отлова ошибок компиляции.  Но только для компиляции: запускать такой бинарник мне не велит голос паука из розетки.
[23:30:36] <Kakadu> у меня отчасти получлилось: я докатился до ошибок линковки
[23:45:36] <Kakadu> очень информативные ошибки: ERROR: Constant unimplemented for type: { i8* (i8* ({ i8*, i64, i8* })*, { i8*, i64, i8* })*, i8* ({ i8*, i64, i8* })* }
[23:50:37] tilarids вышел(а) из комнаты: Computer went to sleep