Objective Caml - Суббота, 27 ноября 2010

Objective Caml

ocaml@conference.jabber.ru

Суббота, 27 ноября 2010< ^ >

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

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

GMT+3
[00:22:30] <ygrek> http://www.lexifi.com/blog/ocaml-extensions-lexifi-overidding-record-labels-and-constructors
[00:25:21] ftrvxmtrx вошёл(а) в комнату
[00:30:15] zert вышел(а) из комнаты
[00:50:03] arhibot вышел(а) из комнаты
[01:06:58] gds вышел(а) из комнаты
[01:12:24] Kakadu вышел(а) из комнаты
[01:53:21] ygrek вышел(а) из комнаты
[03:28:03] ermine вышел(а) из комнаты
[09:51:59] gds вошёл(а) в комнату
[10:43:44] <gds> почему-то меня глючило, что значения объектов можно записывать подобно тому, как пишутся записи, т.е. как-то так: < meth1=val1; meth2=val2 >, но не тут-то было, (object method meth1=val1; method meth2=val2; end).  А ещё глючило, что в них, как в полиморфных вариантах, есть включение уже описанного объектного типа, наподобие < #old_objtype ; ..new..methods.. >.
Мда, немного многословно получается и с типами, и со значениями, но это мелочи.
[11:12:48] Kakadu вошёл(а) в комнату
[12:23:55] ermine вошёл(а) в комнату
[13:34:21] ygrek вошёл(а) в комнату
[13:58:15] <ermine> gds: может писать без слова method?
[13:59:17] <ermine> gds: я вчера писала письмо в caml-list - интересуюсь, попало ли оно туда?
[14:00:29] <ermine> а не, попало
[14:52:47] ftrvxmtrx вышел(а) из комнаты
[14:53:17] arhibot вошёл(а) в комнату
[15:31:39] arhibot вышел(а) из комнаты
[15:52:55] gds вышел(а) из комнаты
[15:53:05] gds вошёл(а) в комнату
[15:55:29] <gds> ermine: проверил, без method ошибка около объявления методов, по крайней мере в revised.
[15:58:04] <gds> можно было бы асилить синтаксическое расширение, которое кушало бы < meth1=val1; meth2=val2 >, но были бы те же проблемы, что в deriving с его начальным токеном "<", да и может что-то в том есть, чтобы более сложные концепции имели более сложный синтаксис (по сравнению с записями, туплами).
[16:12:15] <ermine> у объектов нет методов вроде :)
[16:12:25] ftrvxmtrx вошёл(а) в комнату
[16:22:02] <gds> да ну, куда им без методов.
[16:49:24] zert вошёл(а) в комнату
[17:49:44] ermine чуть не поседела, ковыряясь в BaseSetup.t структуре оазиса
[17:50:10] <ermine> учитывая, что там ничо не мутабельно, то приходится везде заменять целые рекорды
[17:51:10] <ermine> зато какая свобода в сборке своего глюкала
[19:15:09] <ermine> чота не получается окучивать эту свободу
[19:24:03] <ygrek> > it does not guarante nothing
s/nothing/anything/ :)
[19:34:08] <ermine> ага
[19:34:17] <ermine> злая привычка
[19:34:50] <ermine> а вот чтобы вставлять пути все равно надо перегегеривать myocamlbuild.ml
[19:35:11] <ermine> а его только злобный оазис генерит
[19:35:52] ermine в печали и полном упадке
[19:36:25] <ermine> ygrek: а это нормально, что когда пишешь в мейллист - не получаешь дубль своего письма обратно?
[19:42:47] <ygrek> myocamlbuild тоже хукается
[19:42:57] <ygrek> угу, так всегда было
[19:43:41] ygrek подозревает что в текущем виде oasis не сильно годится для такого типа проектов
[19:43:58] <ygrek> где большая часть - сишная и соответственно средства сборки лучше всего сишные
[19:44:56] <ermine> это проект с несистемными сишными библиотеками
[19:45:51] <ermine> а в дарксе оазиса нет изменений давно
[19:45:55] <ermine> надо пинать галла
[19:46:40] <ermine> это уже пятый мужик с пятым проектом, которого я пинаю :) только странно что его емыло не доходит
[19:50:30] <komar> Попинай бабу.
[19:50:40] <komar> http://code.google.com/p/snowflake-os/
[19:51:44] <ermine> аа, у него почтовый сервер спаммерский
[19:52:53] <ermine> komar: аштойта?
[19:53:07] <komar> Операционная система ниачом. На окамле.
[19:55:47] <ermine> а иксы оно уже умеет?
[19:57:01] <komar> Нет, оно умеет паниковать и шо-то ещё, не помню уже.
[19:57:44] <ermine> или хотя бы SMP
[20:07:10] <komar> Не думаю.
[20:09:34] <ermine> представляешь себе оську, в которой реализованы возможности, имеющиеся в стандартной либле Unix
[20:09:53] <ermine> лет на 30 оно запоздало
[20:12:32] ygrek ненавидит всех. куда в этом дебиане дели vim с поддержкой clipboard, капец какой-то
[20:19:24] <ygrek> vim-gnome
[20:19:29] <ygrek> ну кто бы мог подумать
[20:24:38] <ermine> да, меня всегда прикалывали имена паккаджей в линуксе
[20:26:00] <ygrek> ну а от отсутствия нормальных пакаджей в бсд наверное постоянная эйфория? ;)
[20:27:33] <ermine> в портах фрибсд и портах макоси приходится указывать опции для сборки, которые включены в имена паккаджей в линуксе
[20:28:09] <ermine> а как паккаджи из портов - обычно включены все опции
[20:29:02] <ermine> в портах макоси кажись нет паккаджей, что слава Б-гу
[20:29:41] <ermine> но порты макоси не дотягивают до портов фрибсд все равно
[20:36:15] <ygrek> декстопная система на которой надо всё собирать, ужас
[20:37:03] ygrek после краша дисков засетапал дебиан за полчаса плюс ещё полчаса чтобы вытянуть все нужные пакеты, потом перенеёс конфиги и всё - готовая рабочая система
[20:38:01] <ermine> а что, надо ставить линукс с сидюка? каменный век!
[20:40:14] ermine уже почти забыла, что такое сидюки и двды и зачем они нужны для чего-то еще кроме для легальных фильмов
[20:41:09] <komar> Можно с флешечки.
[20:41:34] <komar> Только сидюков на те же деньги можно накупить много и записать на них много разных линуксов.
[20:43:27] <ermine> да зачем они нужны, эти линуксы на дисках
[20:44:59] <komar> Не зачем, а внезапно.
[20:53:56] <gds> > декстопная система на которой надо всё собирать, ужас
я пытаюсь от серверной gentoo отговорить.  трудно.  я-то бсд попробовал, и я знаю..
[20:54:36] <zert> на десктопе самое то — sabayon
[20:54:49] <zert> а на сервере иногда и гента лучше, особенно на девелоперском серваке
[20:55:09] <zert> где нужны новые версии софтин и тулчейны под разные платформы
[20:55:44] <komar> А-а-а, я вас не слышу, я вас не слышу!
[20:57:52] <ermine> линукс точно не девелоперская оська
[20:58:04] <ermine> всякие инклюды искать и ставить отдельно
[20:58:13] <zert> ermine: это ебиан
[20:58:20] <zert> на генте этого как раз и не надо делать
[20:58:30] <zert> гента та же фря, по сути
[20:58:46] <zert> ну а сабаён — бинарная гента
[20:58:55] <ermine> гента ж умерла вроде?
[20:59:06] <zert> чочо
[20:59:11] <zert> живее всех живых
[20:59:21] <ermine> ну слышала что основатель бросил генту
[20:59:46] <zert> хз, кто там кого бросил, только новые порты в портежах появляться не перестали
[21:04:58] <ermine> у тебя там иксы какой версии?
[21:05:33] <zert> хз
[21:05:36] <zert> ща гляну
[21:05:50] <zert> 7.4
[21:05:52] <zert> но у меня сабаён
[21:05:59] <zert> он немного запаздывает
[21:06:46] <zert> версия сервера 1.8.2, а в портежах 1.9.2 уже
[21:07:20] <ermine> какая древность
[21:07:42] <ermine> не успевают патчить?
[21:08:12] <zert> хз
[21:08:38] <zert> у меня с иксами проблем никаких нет
[21:08:46] <zert> какая версия сейчас-то актуальна?
[21:09:59] <ermine> 7.5 как минимум
[21:10:16] <ermine> и гном 2.32
[21:10:34] <zert> гнома у меня вообще нет
[21:10:53] <zert> кде-4.5.3
[21:33:39] <ygrek> $ dpkg-query -W xserver-xorg
xserver-xorg    1:7.5+8
[21:33:41] <ygrek> хм
[21:34:04] <ygrek> > всякие инклюды искать и ставить отдельно
лол
[21:51:18] <ermine> ygrek: скажи плиз, что у тебя говорит pkg-config --clfags jpeg?
[21:52:05] <ermine> --cflags
[21:52:06] <ygrek> --clfags: unknown option
[21:52:24] <ygrek> No package 'jpeg' found
[21:53:03] <ermine> а чож галль хотел воткнуть эту поддержку, и чо из этого будет...
[21:53:40] <ermine> лень узнавать как automake судило на этот счет
[21:55:18] ygrek считает что сделать нормальную поддержку сишных либ это вне scope oasis'а, пусть лучше даст возможность пропихивать нужные костыли - опции configure и подстановку CFLAGS
[21:58:05] <ermine> ygrek: так бы добавил в мейллист :)
[21:59:32] <komar> А что за оазис? Опять клон gem'а или cabal'а. у которого своя база данных в /var, к которой не дай Бог прикоснётся системный пакетный менеджер?
[22:04:55] <ermine> komar: надстройка над камлобилдом и камлофиндом
[22:05:31] <komar> А корраптящаяся неприкосновенная база в комплект входит?
[22:05:32] <ermine> косит под cabal, но неудачно
[22:05:55] <komar> И без камлобилда использовать можно?
[22:06:26] <ermine> хз
[22:06:56] <ermine> в _oasis требуют указать билдтулзу, которая обычно камлобилд
[22:08:20] <ermine> komar: поставь новую игрушку, она потянет за собой два десятка мелки-мелких камлевых библиотек
[22:09:14] <komar> Какую еще игрушку?
[22:09:44] <ermine> оазис камла
[22:10:19] <ermine> цветущий сад глючных камлевых библиотек
[22:11:02] <ygrek> > А корраптящаяся неприкосновенная база в комплект входит?
ну если ocamlfind можно так назвать
[22:11:31] <komar> Ocamlfind ходит за META-файлами каждый раз заново.
[22:11:45] <ygrek> сейчас только камлобилд поддерживает, но вроде обещали omake прикрутить
[22:12:00] <komar> А make можно прикрутить?
[22:12:16] <ygrek> для хардкорных мазохистов?
[22:12:54] <komar> Я ненавижу эти ваши билдсистемы, они все считают, что умнее меня.
[22:12:59] <komar> Хотя иногда так оно и есть.
[22:13:04] <ygrek> всё можно, только не всё нужно, и основной вопрос кто это будет делать
[22:13:37] <komar> Ну Makefile я сам напишу.
[22:13:45] <ermine> а omake еще живо?
[22:13:55] <ygrek> гг, ну выписывать одинаковые make правила из проекта в проект и поддерживать их в актуальности при добавлении зависимостей в проект - я этого долго не выдерживаю
[22:14:09] <komar> Или там тупо `Ocamlbuiild | `Omake ?
[22:14:20] <ygrek> komar: ну если Makefile ты сам напишешь то зачем тебе oasis?
[22:14:27] <komar> Не знаю.
[22:14:30] <ygrek> сейчас там тупо `Ocamlbuild
[22:14:34] <ygrek> незачем :)
[22:14:46] <komar> Говорят, автомагически пакеты в долбиян коммитятся.
[22:15:04] <ygrek> пакеты не коммитятся - но генерится debian/, да
[22:15:12] <komar> Ну уже круто.
[22:15:18] <komar> Я debian/ не осиливаю.
[22:15:23] <ygrek> ну в этом и поинт декларативности
[22:16:05] <ygrek> пишешь двадцать строчек мета-описания в _oasis а на выходе получаешь билд-система, META-файл, debian-пакет, configure, README, etc
[22:16:28] <ygrek> естественно это если проект более-менее стандартные, если есть особые требования - то тут уж как получится
[22:16:39] <komar> У меня стандартные проекты никогда не получаются.
[22:16:44] <ermine> komar: а что тебя вообще привлекает в дебиане?
[22:17:07] <komar> ermine: поставил, когда арч в арче выпилили третьи кеды.
[22:17:43] <komar> s/арч//
[22:20:24] ermine сидит в ауте и подумывает в качестве хот-солюшена вставить в ./configure вызов sed'a, который будет править myocamlbuild.ml
[22:23:45] <ermine> ygrek: плохо что в type 'a conditional только bool, and, or, flag и test, никакой возможности вытащить из setup.data чонить кроме флагов
[22:24:11] <ygrek> угу, я это уже реквестировал
[22:24:56] <ygrek> Sylvain был не очень рад
[22:24:59] <ermine> komar: в приват ему или в мейллист?
[22:25:05] <ermine> ой
[22:25:05] <ygrek> в приват
[22:25:07] <ermine> ygrek:
[22:26:02] <ermine> ygrek: а я тоже ему про это пожаловалась :) видимо очень очевидный путь
[22:27:24] <ygrek> ermine, в чём вообще проблема? Пробросить cflаgs через ocamlbuild несложно
[22:27:57] <ygrek> напиши post-conf скрипт который будет определять присутствующие компоненты и продкидывать нужные опции через cflags
[22:28:16] <ygrek> первую часть (скрипт) можно в extunix подсмотреть
[22:29:19] <ygrek> там генерится config.h для сишной части и config.ml для camlp4, а опции в cflags мне не нужны поэтому я этого не делал
[22:31:04] <ermine> ygrek: а куда там cflags втыкаются? и libs
[22:31:23] <ermine> --ccopt --cclibs аргументов у камлобилда же нет
[22:31:52] <ermine> или связанных с ними переменных?
[22:31:58] <ermine> правда не смотрела
[22:32:24] <ermine> но казалось бы достаточно чтобы оно умело через аргументы