Objective Caml - Пятница, 14 сентября 2012

Objective Caml

ocaml@conference.jabber.ru

Пятница, 14 сентября 2012< ^ >

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

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

GMT+4
[01:17:03] Typhon вошёл(а) в комнату
[01:19:38] ygrek вошёл(а) в комнату
[01:20:49] ermine вышел(а) из комнаты
[01:51:56] <ygrek> Вероятно скоро будет дока на камльп4
[01:52:20] <ygrek> И планируется окамль платформа
[01:52:59] <ygrek> Btw  познакомился с человеком лично знакомым с vsl
[01:53:52] Typhon вышел(а) из комнаты
[01:54:17] Typhon вошёл(а) в комнату
[02:07:00] ygrek вышел(а) из комнаты
[04:23:25] letrec вошёл(а) в комнату
[05:44:47] letrec вышел(а) из комнаты
[09:50:38] akovbovich вышел(а) из комнаты
[10:25:57] Sun][ вошёл(а) в комнату
[11:02:33] dzhon вошёл(а) в комнату
[11:16:05] ermine вошёл(а) в комнату
[11:22:26] ftrvxmtrx вошёл(а) в комнату
[11:25:30] ygrek вошёл(а) в комнату
[12:02:54] <klapaucius> А чем знать личного знакомого Луговского круче, чем самому с ним дискутировать в сети, например? Или это к тому, что вот: довод о том, что vsl реально существующий человек, а не коллективный псевдоним, как одно время про Киселева думали.
[12:08:59] mrm вошёл(а) в комнату
[12:11:50] akovbovich вошёл(а) в комнату
[12:55:01] dzhon вышел(а) из комнаты: Replaced by new connection
[12:55:21] dzhon вошёл(а) в комнату
[13:09:46] tilarids вышел(а) из комнаты: Machine going to sleep
[13:39:08] Kakadu вошёл(а) в комнату
[13:40:55] tilarids вошёл(а) в комнату
[13:41:58] Kakadu вошёл(а) в комнату
[13:55:36] <ygrek> Я с ним никогда не дискутировал, только логи старые читал. Просто забавно было услышать такое.
[13:56:24] <ygrek> Обещают namespace'ы скоро
[13:59:26] <ygrek> Ocamlpro пилит typerex v2 с поддержкой vi и используя bin-annot
[14:05:30] <ygrek> Janest спонсирует ocaml labs в Кембридже, которые будут пилить ocaml platform
[14:07:20] <ygrek> Стартуют в ноябре
[14:16:39] <ygrek> Opam обещают 1.0 в этом год
[14:19:17] <ygrek> Опрос показал подавляющее превосходство opam по числу юзеров в аудитории
[14:25:23] <Kakadu> ygrek: а ты уже слушал про LLVM?
[14:25:30] <Kakadu> или оно следующее
[14:25:54] <ygrek> Ещё не было
[14:26:22] <klapaucius> А opam он пакеты устанавливает деструктивно?
[14:27:37] <ygrek> Opam looks nice
[14:27:46] <ygrek> Т.е.?
[14:27:58] <klapaucius> Про llvm - это пейпер, который сюда выкладывали, в котором написано, что студент пишет что результата нет, потому что там что-то делать надо, само ничего не сделается.
[14:28:14] <ygrek> :-)
[14:29:19] <klapaucius> ygrek: Ну, дерево паетов персистентное или эфимерное?
[14:29:30] <klapaucius> *пакетов
[14:30:00] <ygrek> Еяпп персистентное
[14:33:59] <klapaucius> Хорошо, это самое главное. С cabal-ом горя хлебнули в первую очередь потому, что там - эфемерное. Теперь переделывать приходится.
[14:35:11] <ygrek> Объясни плиз в чём разница
[14:35:35] <ygrek> Они говорят что опыт кабал учли
[14:37:23] <klapaucius> Ну как в чем? В персистентное дерево добавлете элемент - появляется новое, а старые никуда не исчезает. В эфемерное добавляете - дерево просто обнавляется, ну и весь ад из этого следующмий. В результате кабал работает нормально только когда первый раз устанавливается все дерево. А дальше - уже как повезет.
[14:43:51] ygrek вышел(а) из комнаты
[14:43:59] ygrek вошёл(а) в комнату
[14:44:17] <ygrek> Т.е. в одном дереве несколько версий одного пакета?
[14:45:02] <klapaucius> Да, должна быть возможность собирать дерево, в котором больше одной версии одного и того же пакета.
[14:45:17] <ygrek> В opam при установке новой версии старая пропадает, а все зависимости пересобираются
[14:45:50] <ygrek> Но можно иметь несколько деревьев с разными версиями и переключаться
[14:45:56] <klapaucius> Ну тогда можно готовиться к opam-hell
[14:46:29] <ygrek> гг
[14:46:44] <klapaucius> переключатся между несколькими деревьями - это паллиатив. типа cabal-dev. Полностью проблему не решает.
[14:47:56] ygrek вышел(а) из комнаты: Replaced by new connection
[14:48:51] ygrek вошёл(а) в комнату
[14:55:01] <Kakadu> а наличие в дереве только одной версии пакета означает, что  .... можно пользоваться только одной версией пакета? (типа как в большинстве пакетных дистрибутивов линукс)?
[14:55:02] <ygrek> Несколько версий в одном дереве это же в первую очередь к ocamlfind - он такое не поддерживает
[14:55:14] <Typhon> алиасы можно делать %)
[14:55:33] <ygrek> И это вряд-ли поменяется
[14:55:40] <ygrek> Алиасы?
[14:55:52] <Typhon> ну типа opam install lwt 2.0 as lwt-old
[14:56:05] <Typhon> (я синтаксис команды придумал ща, но там что-то похожее)
[14:56:22] <Kakadu> ygrek: а супербобрый с тобой не поехал?
[14:56:43] <ygrek> Хм, а как камлофинд находить будет?
[14:56:56] <ygrek> Неудобняк
[14:57:03] <Typhon> ygrek: ну вот ты должен указывать lwt-old, насколько я понял
[14:57:25] <ygrek> Kakadu я не знаю, не палится вроде
[14:57:48] <ygrek> Typhon та ну, это лажа
[14:58:11] <Typhon> так, или я попутал, и алиасить только компилёры можно
[14:59:05] <ygrek> Между компилерами можно переключаться, да
[14:59:37] <Typhon> да, видимо про алиасы пакетов мне приснилось, не могу увидеть ни в вике, ни в коде ща %)
[14:59:47] <klapaucius> ygrek: "ocamlfind - он такое не поддерживает" ну вот и cabal таким стал по этой же причине. не поддерживалась такая возможность. Сначала, пока пакеторв было мало, а обновлялись они медленно - все было хорошо. Но через несколько лет решили, что лучше уж поддержку сделать, чем страдать.
[15:00:25] <Typhon> klapaucius: засабмить про это ишью, пожауйста %)
[15:00:58] <ygrek> Переделыват  камлофинд? Малрвероятно.
[15:03:39] Typhon вышел(а) из комнаты
[15:08:38] <klapaucius> Нужно, кстати, даже больше - возможность иметь одновременно два пакета _одной_ версии, компилирующихся с зависимостями _разных_ версий.
[15:09:09] <ygrek> Ну это точно разные деревья
[15:12:08] <klapaucius> Ну так в том и смысл, чтоб это _выглядело_ в точности как установка и компиляция всех зависимостей пакета с чистого листа, только без сопутствующих этому проблем с избыточной компиляцией, скачиванием и хранением дублирующегося кода. Один пакет - одно дерево.
[15:12:56] <klapaucius> Что-то вроде nix
[15:24:37] <klapaucius> Сегодня часов в 17-18 (по гринвичу) как раз будет доклад на эту тему http://www.haskell.org/haskellwiki/HaskellImplementorsWorkshop/2012/Schuster о том, что им пришлось для решения проблемы внести "serious changes to ghc-pkg, cabal-install, the Cabal library and their interaction", что эквивалентно переделыванию ocamlfind.
[15:25:21] <klapaucius> Если не хуже.
[15:51:44] ygrek вышел(а) из комнаты: Replaced by new connection
[15:52:27] ygrek вошёл(а) в комнату
[15:56:04] letrec вошёл(а) в комнату
[16:00:51] Typhon вошёл(а) в комнату
[16:16:15] <ygrek> Llvm failed for caml
[16:16:52] <Kakadu> ммм?
[16:18:02] <ygrek> Не годится llvm для камля
[16:19:00] <ygrek> Gc не подходит, исключений нет подходящих, оптимизации бажные
[16:20:04] ygrek вышел(а) из комнаты: Replaced by new connection
[16:20:27] <klapaucius> Ну так надо патчи слать. Что характерно, автор llvm-бекенда для хаскеля так и делал.
[16:20:47] <Kakadu> т.е. цацкелю годится, а камлу нет?
[16:20:49] ygrek вошёл(а) в комнату
[16:22:45] gds вышел(а) из комнаты
[16:24:58] <ygrek> Он портировал тот патч для камля, но этого оказалось недостаточно
[16:25:37] <ygrek> У х-я код конвертится в  cps и он использует сишный стек
[16:25:52] <Kakadu> ygrek: там видео снимают? выкладывать будут?
[16:25:57] <ygrek> Т.е. это планка ниже
[16:26:00] <ygrek> Да
[16:54:08] gds вошёл(а) в комнату
[16:54:42] v0zt9z7ia0 вошёл(а) в комнату
[16:55:44] <v0zt9z7ia0> Тебе скучно и ты не знаешь чем себя занять? ТОГДА ТЕБЕ ПОРА К НАМ! Только у нас лучшее общение, а также бесплатная раздача шестизначных icq , jabber ботов! также предоставляем бесплатные услуги по созданию бесплатных icq чатов! С уважением r0k@conference.jabber.ruТебе скучно и ты не знаешь чем себя занять? ТОГДА ТЕБЕ ПОРА К НАМ! Только у нас лучшее общение, а также бесплатная раздача шестизначных icq , jabber ботов! также предоставляем бесплатные услуги по созданию бесплатных icq чатов! С уважением r0k@conference.jabber.ru
[16:55:48] <v0zt9z7ia0> Тебе скучно и ты не знаешь чем себя занять? ТОГДА ТЕБЕ ПОРА К НАМ! Только у нас лучшее общение, а также бесплатная раздача шестизначных icq , jabber ботов! также предоставляем бесплатные услуги по созданию бесплатных icq чатов! С уважением r0k@conference.jabber.ru
[16:55:54] v0zt9z7ia0 вышел(а) из комнаты: QIP 2012: Спокойное общение
[17:24:08] akovbovich вышел(а) из комнаты
[17:26:48] Typhon вышел(а) из комнаты
[17:27:23] Typhon вошёл(а) в комнату
[17:49:39] Typhon вышел(а) из комнаты
[17:49:48] Typhon вошёл(а) в комнату
[17:54:12] Sun][ вышел(а) из комнаты
[18:27:42] dzhon вышел(а) из комнаты
[18:30:51] Kakadu вышел(а) из комнаты
[18:32:25] Typhon вышел(а) из комнаты: Replaced by new connection
[18:32:54] Typhon вошёл(а) в комнату
[18:38:20] ftrvxmtrx вышел(а) из комнаты
[18:47:44] Kakadu вышел(а) из комнаты
[19:48:47] mrm вышел(а) из комнаты
[19:58:01] v0zt9z7ia0 вошёл(а) в комнату
[19:58:33] <v0zt9z7ia0> Торопись! Только сегодня 14 сентября 2012 года у тебя есть шанс совершенно бесплатно стать обладателем Iphone 4s! Для этого тебе всего лишь надо блеснуть умом и выиграть в викторине! Вероятно, именно ты тот самый счастливчик! Торопись, Iphone 4s тебя ждет! r0k@conference.jabber.ru
[19:58:34] v0zt9z7ia0 вышел(а) из комнаты: QIP 2012: Спокойное общение
[20:26:42] letrec вышел(а) из комнаты
[20:43:25] ygrek вышел(а) из комнаты: Replaced by new connection
[20:43:31] ygrek вошёл(а) в комнату
[20:43:35] <ygrek> Beer time with XL :-)
[20:47:27] ygrek вышел(а) из комнаты: Replaced by new connection
[20:47:33] ygrek вошёл(а) в комнату
[21:02:36] ygrek вышел(а) из комнаты
[21:03:46] komar вошёл(а) в комнату
[21:12:22] komar вышел(а) из комнаты: Replaced by new connection
[21:12:22] komar вошёл(а) в комнату
[21:37:07] ermine вышел(а) из комнаты
[21:37:25] ermine вошёл(а) в комнату
[22:02:44] komar вышел(а) из комнаты: Replaced by new connection
[22:02:44] komar вошёл(а) в комнату
[22:12:17] <Typhon> ygrek, судя по всему, может на cufp встретить зефирова %)
[22:16:33] komar вышел(а) из комнаты: Replaced by new connection
[22:16:34] komar вошёл(а) в комнату
[22:22:45] komar вышел(а) из комнаты: Replaced by new connection
[22:22:45] komar вошёл(а) в комнату
[22:31:45] mrm вошёл(а) в комнату
[22:31:51] mrm вышел(а) из комнаты
[22:39:11] tilarids вышел(а) из комнаты: Machine going to sleep
[22:49:51] komar вышел(а) из комнаты: Replaced by new connection
[22:49:51] komar вошёл(а) в комнату
[22:58:23] Kakadu вошёл(а) в комнату
[23:07:44] Typhon вышел(а) из комнаты
[23:07:45] tilarids вошёл(а) в комнату
[23:07:57] komar вышел(а) из комнаты: Replaced by new connection
[23:07:58] komar вошёл(а) в комнату
[23:15:29] komar вышел(а) из комнаты: Replaced by new connection
[23:15:30] komar вошёл(а) в комнату
[23:16:52] Kakadu вышел(а) из комнаты: Replaced by new connection
[23:16:55] Kakadu вошёл(а) в комнату
[23:25:56] ftrvxmtrx вошёл(а) в комнату
[23:41:24] komar вышел(а) из комнаты: Replaced by new connection
[23:41:24] komar вошёл(а) в комнату