Objective Caml - Суббота, 26 февраля 2011

Objective Caml

ocaml@conference.jabber.ru

Суббота, 26 февраля 2011< ^ >

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

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

GMT+3
[00:00:28] <gds> ermine, Kakadu, радоваться надо этим фактам.
[00:03:02] <Kakadu> как там на баше было... Новая социальная сеть для математиков: "В Компакте"
[00:05:52] <zert> я в пейсбуке зареган
[00:06:03] <zert> у меня там дохрена знакомых, погромисты всякие
[00:07:06] <ermine> у меня и вконтакте нет аккаунта
[00:07:20] <ermine> не то что какой-то твиттер-фейсбук
[00:19:14] <zert> http://vimeo.com/7865836
[00:20:12] ermine вышел(а) из комнаты
[00:25:56] superbobry вошёл(а) в комнату
[00:40:11] Kakadu вышел(а) из комнаты
[01:04:32] arhibot вошёл(а) в комнату
[01:37:51] arhibot вышел(а) из комнаты
[01:55:47] Typhon вошёл(а) в комнату
[02:03:12] superbobry вышел(а) из комнаты
[02:03:40] superbobry вошёл(а) в комнату
[02:22:05] superbobry вышел(а) из комнаты
[02:22:23] superbobry вошёл(а) в комнату
[02:34:55] Typhon вышел(а) из комнаты
[03:02:20] komar вышел(а) из комнаты: Replaced by new connection
[03:02:21] komar вошёл(а) в комнату
[03:39:07] komar вышел(а) из комнаты: Replaced by new connection
[03:39:08] komar вошёл(а) в комнату
[04:24:22] zert вышел(а) из комнаты
[09:09:42] arhibot вошёл(а) в комнату
[09:40:53] arhibot вышел(а) из комнаты: Replaced by new connection
[09:40:54] arhibot вошёл(а) в комнату
[09:41:03] arhibot вышел(а) из комнаты
[10:16:36] Kakadu вошёл(а) в комнату
[11:48:20] ygrek вошёл(а) в комнату
[11:48:22] ermine вошёл(а) в комнату
[14:03:31] Typhon вошёл(а) в комнату
[14:38:55] Typhon вышел(а) из комнаты
[16:26:21] komar вышел(а) из комнаты: Replaced by new connection
[16:26:22] komar вошёл(а) в комнату
[16:44:13] Typhon вошёл(а) в комнату
[17:46:32] ygrek вышел(а) из комнаты
[17:46:37] ygrek вошёл(а) в комнату
[18:15:28] zert вошёл(а) в комнату
[18:56:18] <Kakadu> кто хочет высказать свои мысли по поводу https://forge.ocamlcore.org/plugins/mediawiki/wiki/gsoc-team/index.php/GSoC2011/OASIS/Buildd ?
[18:58:04] <ygrek> not bad, только это больше интеграторская задачка, правда интерфейс можно/нкужно на оксигене делать
[18:59:37] <Typhon> а у гудзона (и прочих смежных тулз) разве нет морды для результатов?
[19:00:00] <ygrek> есть
[19:00:22] <ygrek> это его основное преимущество, иначе я бы свой велосипед склепал бы
[19:00:42] <ygrek> так как настраивать его не очень удобно
[19:03:07] <Typhon> ну тогда, получается, что проект по ссылке это гудзон + некоторое количество скриптов?
[19:04:40] <Kakadu> так, а под Гудзоном понимается наверняка не озеро.
[19:05:15] <Typhon> hudson ci
[19:05:39] <Typhon> хотя там его как-то переименовывать собирались, из-за оракла, кажется
[19:05:43] <ygrek> считай да
[19:05:56] <ygrek> можно вообще плагин к гудзону делать
[19:06:01] <ygrek> на java, гг
[19:06:23] <ygrek> или на caml-java
[19:06:53] <Kakadu> я так понимаю он хранит исходники, знает заисимости компиляции, а в идеале ещё умеет подбирать нужную версию?
[19:08:50] <ygrek> хто?
[19:09:17] <ygrek> худсон про зависимости ничего не знает
[19:09:34] <ygrek> и эта цель проекта достаточно полезна/интересна
[19:10:49] <Typhon> но окамловые зависимости должен разруливать оазис, допустим, а внешние? как тут с ОС он должен интегрироваться?
[19:11:36] <Typhon> по ссылке "дебиан" указан и это для тестовых-ферм походу, что проще, насколько я понимаю
[19:11:44] <ygrek> *должен*, только сейчас то этого ничего нет
[19:12:04] <ygrek> ну я вообще не знаю что там имеется ввиду - фантазирую на ходу :)
[19:18:02] <Typhon> Kakadu как раз хотел мыслей по поводу, так что ок, наверное :-) что я думаю -- проект "определение, нахождение, установка зависимостей для оазиса" -- это хорошо, полезно и интересно. проект "билд инфраструктура" менее интересен, строится из существующих компонент, но, наверное, не менее полезен. и сильно выигрывает, если первый проект реализован. вот.
[19:18:52] <ygrek> угу
[19:56:41] <Kakadu> что-то я так и не смог определиться.... Билдинфраструктура кажется вообще бесполезной, если она не сможет разруливать недостающие зависимости
[19:57:28] <Kakadu> Хочется иметь что-то, куда на вход подаются исходники, а получаются скомпиленная либа с выкачанными недостающими зависимостями
[19:57:59] <ygrek> Kakadu: это список _идей_, ты можешь расширять/предлагать свои
[19:58:32] <Kakadu> если зависимости прописаны в каком-то файлике _oаsis - надо выкачать исходники и дейстоввать рекурсивно
[19:58:47] <Kakadu> если зависмости выудить нельзя - это провал
[19:59:13] <Kakadu> на сколько это реально - фиг знает
[20:00:03] <Kakadu> кажется, что это частично пересекает идею для автобилда сайтов на оксигене после апдейта сервера
[20:00:18] <Kakadu> Кто знает, в камле есть hell dll?
[20:01:23] <Kakadu> gds, скажи веское слово.
[20:01:40] <Kakadu> gds: скажи веское слово.
[20:19:42] <gds> Kakadu: отходил я..  dll hell -- есть конечно, потому что везде он есть, только по-разному выглядит.  почему везде -- потому что общие библиотеки собирать велит гпл и розсудок, а если библиотеки+программы из разных источников, то неконсистентно будет по-любому.  Даже если статически собрать, всё равно вызовы ОС будут разными.  Интерпретируемые / jit языки сдвигают эту проблему в сторону интерпретатора / jit-компилятора, но принцип примерно тот же.
[20:20:15] <Kakadu> так вроде .NET решил эту проблему
[20:20:51] <Kakadu> у каждой dllки есть версия билдами и следовательно идентификация либы идет по имени файла и номеру версии (если совсем строго по метаданным)
[20:21:04] <gds> я слышал от пользователей .net, что, бывает, софтина (очень-очень важная, конечно) требует конкретную версию .net framework.
[20:21:10] <gds> слухи, не больше.
[20:21:29] <Kakadu> на 1й системе может лижать несколько одинаковых либ разных версий
[20:21:47] <Kakadu> слух не могу ни подтвердить, ни опровергнуть
[20:22:17] <Typhon> есть такое дело.
[20:22:33] <Typhon> было время, стояли чуть ли не три, а то и 4 версии фреймворка
[20:22:34] <gds> дык можно класть свои .dll рядом с .exe, а то ещё и выставить PATH из .bat, всё можно.
[20:22:42] <Typhon> причём я пользователь, а не погроммист.
[20:23:02] <Kakadu> ну да, я понимаю
[20:23:14] <Kakadu> логично что может требоваться определенная версия фреймворка
[20:23:30] <gds> тот же dll hell, только систематизированный.  Почему -- потому что мекрасовт.
[20:23:32] <Kakadu> так как в определенной версии .NET лежат либы определенной версии
[20:23:53] <Kakadu> dll hell я не вижу
[20:24:07] <Kakadu> нельзя поставить прогу, потом другую, чтобы первая отвалилась
[20:24:50] <gds> в таком случае dll hell вообще не существует: достаточно ставить нужные dll туда, где находится exe главной программы, а на худой конец -- в PATH.
[20:25:31] <Kakadu> да, но если хранить зависимости вместе с программой, то другие прогги не могут их переиспользовать
[20:25:37] <Kakadu> а в дотнете - могут
[20:35:44] <gds> тут вопрос интерграции с ОС -- понятно, что если указывать в exe, что "хочу фремворк 2.818", то понятно, что можно его добыть, поставить и всё такое.  С другой стороны, в линупсах та же история -- .so нумеруются известным образом, линковка тоже несложная, и так и живёт всё.  То есть, от ОС зависит.
Тот же окамл падвендой можно оформить так, чтобы софт компилировался и работал под нужным окружением, будь то CAMLLIB или stublibs/*.dll.  Дело в том, что микрософт постарался, выпуская свою ОС, а другим не дал возможности постараться, и им приходится стараться самим.
[20:36:45] <Kakadu> я вообще не в теме как нумеруются .so. Можно какую-нибудь ссылку или в 2х словах.....
[20:36:47] <Kakadu> ?
[20:43:18] <gds> не помню деталей, а сслыку тем более не найду, но, вкратце, идея такая: есть системная либа qwe.  У неё есть /lib/qwe*so для динамической линковки (типа dll).  Есть также версии -- либо есть просто /lib/qwe.so, либо есть /lib/qwe.so.1, либо есть /lib/qwe.so.1.2.3, либо какие-то из них вместе.  Там, где автор/издатель утверждает, что апи меняется, просто .so не дают, дают .so.1 или .so.2 или типа того.  Обычно дают .so.2.3.4 и прочее, что соответствует точной версии.  Обычно, если есть .so.2.3.4, то есть и .so.2.3 и .so.2, так как апи меняется, но разработчики дают какие-то гарантии, типа "в версиях 2.* будет фиксированное апи касаемо грибочков, но ягодки в 2.3.* и 2.4.* будут отличаться".
[20:44:04] <gds> хотя, видимо, это должно быть где-то описано, причём гораздо более грамотно.  Ключевых слов не подскажу вот.
[20:44:50] <Kakadu> ясно. Я раньше думал что в линуксе такого вообще нет. Оказывает наш линукс ещё круче чем я думал
[20:48:24] <gds> ну венда тоже неплохая, смотря какие цели.  Но вообще, сложно это, быть между .net+универом+prolog и хорошими вещами.
[20:48:51] <Kakadu> про универ не понял
[20:50:32] <ygrek> npouillard подкинул ссылку -> https://github.com/jaked/cufp-metaprogramming-tutorial/tree/master/slides
[20:50:34] <gds> там принуждают.
[20:51:34] komar вышел(а) из комнаты: Replaced by new connection
[20:51:35] komar вошёл(а) в комнату
[20:52:08] <Kakadu> да не сказал бы
[20:52:31] <ygrek> ключевое слово: soname
[20:54:20] <Typhon> ygrek, мне тут понравилась фраза, недавно типа "this code need less meta and more programming" :-)
[20:55:39] ygrek как раз ковыряет багу на стыке camlp4 и deriving и не может не согаситься
[20:56:05] <Typhon> но ссылка хорошая. кстати, может кто знает на TH синтаксические расширения можно писать?
[20:57:44] <ygrek> а он разве не для этого?
[20:57:57] <ygrek> я думал это аналог camlp4 (только менее крутой, конечно)
[20:59:50] <Typhon> хз, я сначала думал, что аналог (менее крутой, да), но не встречал (хотя и не искал) каких то синтаксических расширений типа pa_do, pa_where, расширений pgocaml'а и проч. поэтому решил, что это такой типа препроцессор больше
[21:36:07] gds вышел(а) из комнаты
[21:40:52] gds вошёл(а) в комнату
[22:08:17] arhibot вошёл(а) в комнату
[22:11:51] Typhon вышел(а) из комнаты
[22:42:06] ygrek добавил camlp4 рецепты в вики
[22:49:30] <ygrek> кстати почему camlp4 умеет код с коммандлайна брать (-str), а ocaml - нет?
[22:49:39] <ygrek> иногда хочется однострочник выполнить
[22:50:52] <ygrek> слайды годные
[22:55:21] arhibot вышел(а) из комнаты
[23:10:45] gds вышел(а) из комнаты
[23:16:15] <ygrek> http://paste.in.ua/1799/
[23:16:29] <ygrek> сейчас эта бага ломает deriving + ocaml 3.12
[23:16:37] <ygrek> даже с последним svn фиксом
[23:16:41] <ygrek> gds: ^^
[23:29:27] <ygrek> PR#5231
[23:40:20] arhibot вошёл(а) в комнату
[23:40:45] <ygrek> я тупой, надо просто переписать все quotation'ы в revised
[23:40:58] <ygrek> сам же в вики писал - не юзать original для quot'ов