Objective Caml - Понедельник, 23 июля 2012

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 23 июля 2012< ^ >

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

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

GMT+4
[00:03:37] Sun][ вышел(а) из комнаты
[00:33:16] f[x] вышел(а) из комнаты
[00:52:51] Kakadu вышел(а) из комнаты
[01:38:12] bobry вышел(а) из комнаты
[02:01:10] Typhon вошёл(а) в комнату
[04:36:08] vestgott вошёл(а) в комнату
[04:39:17] vestgott вышел(а) из комнаты: QIP Infium: Спокойное общение
[06:54:56] Vinzent вошёл(а) в комнату
[06:59:15] Vinzent вышел(а) из комнаты
[07:25:17] <gds> f[x]: только непонятно, к чему эту статью можно применить.
[07:30:35] Vinzent вошёл(а) в комнату
[08:49:57] Vinzent вышел(а) из комнаты
[08:56:56] Vinzent вошёл(а) в комнату
[09:01:30] Vinzent вышел(а) из комнаты
[09:50:57] ermine вошёл(а) в комнату
[10:03:31] Sun][ вошёл(а) в комнату
[10:20:49] ftrvxmtrx вышел(а) из комнаты
[10:48:00] <f[x]> рантайм компиляция
[10:48:16] <f[x]> динамическое задание условий
[11:02:19] <f[x]> http://ocamlweb.forge.ocamlcore.org/www/companies.html
[11:02:24] bobry вошёл(а) в комнату
[11:03:23] komar вышел(а) из комнаты: Replaced by new connection
[11:03:23] komar вошёл(а) в комнату
[11:14:10] ftrvxmtrx вошёл(а) в комнату
[11:35:40] bobry вышел(а) из комнаты
[11:40:30] <gds> f[x]: рантайм-компиляция -- смотря что компилировать.  В целом будет оверхед на "универсальном типе", такой, что тебе не понравится.  Если интересно про компиляцию, могу поискать у олега про это, там хотя бы нет "универсального типа" (очень полезного в других случаях, но не тут).  И там строго-типизированно выходит.  И с минимальным возможным оверхедом -- всё доводится до пачки замыканий, делающих ровно то, что нужно.  Кроме того, через первоклассные модули (или через гадты, или через оба) можно сделать не только компиляцию-исполнение куска dsl-кода с известным типом, но и вывод заранее неизвестного типа, при условии, что вызывающий код знает, как с ним работать.
[11:40:50] <gds> f[x]: про динамическое задание условий -- что имеешь ввиду?  Сходу не понимаю.
[11:44:45] <f[x]> ну это уже применение для рантайм компиляции
[11:46:13] <f[x]> я смотрю эту папиру вместе с http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.31.9782&rep=rep1&type=pdf
[11:52:01] <f[x]> gds: покажи у Олега
[11:52:08] <f[x]> я на metaocaml всё время натыкаюсь
[11:52:25] <f[x]> что конечно очень круто, но не очень практично
[11:54:01] <f[x]> http://okmij.org/ftp/tagless-final/ ?
[11:55:40] <f[x]> самый цимес в том что это мне похоже пригодится по работе
[11:55:50] <f[x]> хотя начал читать вообще случайно
[12:00:14] <gds> f[x]: самое годное, что нашёл -- http://okmij.org/ftp/tagless-final/course/course.html
[12:00:32] <gds> про работу -- миленько, а для каких примерно целей?
[12:02:17] <f[x]> в идеале - на камлевой стороне задаётся фильтр для выборки, который протягиается на самый низкий уровень - поближе к данным. код в фильтре ограниченный - можно транслировать в си или что-то подобное.
[12:03:22] <f[x]> в принципе все фильтры известны в компайл-тайм, с точностью до значений, но специализировать по значениям в рантайме было бы тоже круто
[12:03:46] <gds> если будешь транслировать -- пофиг, какой подход брать, а если интерпретировать камлом -- то лучше олега почитать.
[12:03:52] <f[x]> вообщем достаточно "классическая" задача насколько я понимаю
[12:04:12] <gds> ну да, я такое перед завтраком делаю каждый день.
[12:04:25] <f[x]> ну Олег-то точно, для разминки
[12:04:42] <gds> он это делает в уме.  включая компиляцию и исполнение на тайпчекере.
[12:19:36] bobry вошёл(а) в комнату
[12:20:37] <f[x]> вообще это 2007-ой - старьё, где мэйнстримная имплементация?!
[12:35:53] dzhon вошёл(а) в комнату
[12:52:18] dzhon вышел(а) из комнаты: Replaced by new connection
[12:52:18] dzhon вошёл(а) в комнату
[12:53:18] dzhon вышел(а) из комнаты: Replaced by new connection
[12:53:18] dzhon вошёл(а) в комнату
[12:54:36] <bobry> господа, кто хочет поментейнить мои камло пакеты в AUR?
[12:54:39] <bobry> а то я с арчика того
[12:54:43] <bobry> ftrvxmtrx: ?
[12:58:52] <f[x]> а куда спрыгиваешь? в lfs? или в 7?
[13:05:19] <bobry> osx
[13:08:18] <ftrvxmtrx> bobry: я не против
[13:09:42] <bobry> ftrvxmtrx: тогда я щас на все disown сделаю
[13:10:01] <ftrvxmtrx> давай
[13:10:46] <bobry> спасибо :0
[13:12:02] bobry вышел(а) из комнаты
[13:30:29] Typhon вышел(а) из комнаты
[14:08:53] dzhon вышел(а) из комнаты
[14:09:08] dzhon вошёл(а) в комнату
[14:27:14] Typhon вошёл(а) в комнату
[14:49:48] dzhon вышел(а) из комнаты: Replaced by new connection
[14:49:49] dzhon вошёл(а) в комнату
[15:02:41] Kakadu вошёл(а) в комнату
[15:04:17] dzhon вышел(а) из комнаты: Выключил машину, дабы насладиться жизнью
[15:04:31] dzhon вошёл(а) в комнату
[15:27:50] <komar> Смотрите, какой лиспер со стажем: http://juick.com/lovesan/1987364
[15:46:27] <dzhon> лавсанчик ракует
[15:49:32] <dzhon> по его описанию в /11, они реинвентят хабр, лол. Т.е. LiveStreet CMS
[15:57:47] dzhon вышел(а) из комнаты
[16:21:12] <f[x]> я правильно вижу что ocamlbuild с -j 0 не пускает ocamldep паралельно, хотя казалось бы почему нет?
[16:31:44] <gds> хз, тупо догадка, но, может, у него заточка на то, что зависимости формируются динамически, а, значит, каждая новая может повлиять на получение следующих.
[16:31:54] letrec вошёл(а) в комнату
[16:32:37] <f[x]> как??!!
[16:32:45] <f[x]> ocamldep берёт один файл и всё
[16:32:56] <f[x]> и больше никуда не смотрит
[16:33:09] <f[x]> т.е. я понимаю что депсы могут приходить из разных мест ещё
[16:33:22] <f[x]> но то что над всеми файлами проекта делается ocamldep - это факт
[16:33:36] <f[x]> омжет оно все файлы проекта сразу не знает конечно..
[16:33:48] <f[x]> придётся ковырять
[16:51:05] <f[x]> courtesy of letrec - http://axisofeval.blogspot.hu/
[17:57:11] Sun][ вышел(а) из комнаты
[18:29:43] Kakadu вышел(а) из комнаты
[18:44:44] ftrvxmtrx вышел(а) из комнаты
[19:17:55] Vinzent вошёл(а) в комнату
[19:27:22] <f[x]> милый systemtap раскрывает глаза на козни ocamlbuild'а - http://paste.in.ua/4537/
[19:27:34] <f[x]> какая-то фигня
[19:28:27] <f[x]> make выполняется около 10 сек
[19:28:34] <f[x]> тогда похоже на правду
[19:28:36] f[x] afk
[19:38:30] bobry вошёл(а) в комнату
[19:38:41] Kakadu вошёл(а) в комнату
[19:39:32] Typhon вышел(а) из комнаты
[19:51:25] bobry вышел(а) из комнаты
[20:15:16] Vinzent вышел(а) из комнаты
[20:30:55] letrec вышел(а) из комнаты
[21:38:00] ftrvxmtrx вошёл(а) в комнату
[21:54:12] bobry вошёл(а) в комнату
[21:54:17] <bobry> если кто не видел http://mathoverflow.net/questions/903/resources-for-learning-practical-category-theory
[21:55:12] ftrvxmtrx вышел(а) из комнаты
[21:56:24] ftrvxmtrx вошёл(а) в комнату
[23:14:22] Sun][ вошёл(а) в комнату
[23:15:27] <bobry> мило, под шумок findlib не взяли в homebrew :( https://github.com/mxcl/homebrew/pull/9004
[23:15:32] <bobry> заводите мол свою репку ..
[23:41:48] ermine вышел(а) из комнаты