Objective Caml - Среда, 11 мая 2011

Objective Caml

ocaml@conference.jabber.ru

Среда, 11 мая 2011< ^ >

gds установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Светлое будущее -- http://camlunity.ru/ | Нефильтрованное настоящее -- https://github.com/camlunity/kamlo_wiki | Портер прошлое -- http://gdsfh.dyndns.org/kamlo/ | Верблюды грязи не боятся! | release crap, enjoy NIH | репортьте баги официальным дилерам | ocaml мёртв, move on

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

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

GMT+4
[00:16:40] Kakadu вышел(а) из комнаты
[00:43:38] zert вышел(а) из комнаты
[00:55:58] gds вышел(а) из комнаты
[01:23:37] Typhon вышел(а) из комнаты
[01:29:55] ermine вышел(а) из комнаты
[04:01:36] Diggimortal вошёл(а) в комнату
[06:18:07] Diggimortal вышел(а) из комнаты
[07:38:40] iNode вошёл(а) в комнату
[08:25:07] valber вошёл(а) в комнату
[08:32:04] valber вышел(а) из комнаты: Replaced by new connection
[08:33:39] valber вошёл(а) в комнату
[08:35:46] valber вышел(а) из комнаты: QIP Infium: Спокойное общение
[08:37:44] homoliber вошёл(а) в комнату
[08:39:22] <homoliber> Доброе утро, не могли бы вы мне подсказать джит участника этой конфы с ником gds?
[08:42:28] homoliber вышел(а) из комнаты: qutIM : Jabber plugin
[08:43:19] homoliber вошёл(а) в комнату
[08:53:22] homoliber вышел(а) из комнаты
[08:53:38] homoliber вошёл(а) в комнату
[08:57:31] homoliber вышел(а) из комнаты: qutIM : Jabber plugin
[09:02:21] gds вошёл(а) в комнату
[09:05:51] gds вышел(а) из комнаты
[09:06:17] gds вошёл(а) в комнату
[09:56:20] ygrek вошёл(а) в комнату
[11:12:28] <gds> забавная бага была: на одной системе camomile собирается нормально без cppo, на другой же -- требует cppo.  Достаточно сделать "touch генерируемые_файлы", и начинает нормально собираться везде.  Проблема в том, что это сайд-эффект, зависящий всего лишь от mtime, причём нетривиальный сайд-эффект, требующий наличия cppo.  Мне это кажется кривым.
[11:14:01] ermine вошёл(а) в комнату
[11:17:42] ftrvxmtrx вышел(а) из комнаты
[11:21:29] Typhon вошёл(а) в комнату
[11:27:21] Kakadu вошёл(а) в комнату
[11:33:47] ygrek вышел(а) из комнаты
[11:34:25] <gds> подскажите, батареечники сейчас адекватны?  а то у меня http://paste.in.ua/2318/ и пичаль.
[11:36:34] <Typhon> это сборка самих батареек? если да, то несколько недель назад нормально собирал. да и с ними недавно что-то билдил
[11:37:59] <gds> самих, да.
[11:39:09] <gds> Typhon: make test qtest делал?
[11:39:23] ermine вчера написала одному из писателю eliom с жалобой на eliom, в ответ получила предложение продолжать строгать письма в мейллист и заодно в трекер добавлять и благодарность за "интенсивное тестирование"
[11:41:28] <Typhon> gds:     тесты гонял, кажется, вот camomile не помню, чтобы было там. если оно опциональное, имеет смысл без него собрать, и если всё ок, строгать багу им на гитхаб, например (или самому фиксить и патч)
[11:43:06] <gds> camomile фигня, асилил, а вот батарейки не тестятся.  ща настрогаю таки.
[11:48:33] <ermine> камомиль не нужен, юзай ocaml-text
[11:52:58] <gds> а в чём преимущества ocaml-text?
[11:54:00] <ermine> оно юзает только iconv и умеет искать по тексту
[11:54:16] <ermine> ну многое из функционала камомиля плюс еще чота
[11:54:33] <ermine> и при этом ращмером вдесятеро меньше
[11:55:27] <gds> учту на будущее, но пока никакого нового кода, требующего camomile / ocaml-text, я не пишу.
[11:56:23] <ermine> у меня тоже был свой камомиль, но я перешла на ocaml-text
[11:57:10] <ermine> там нашелся интерфейс, которого нет в камомиле - перекодировка на лету в кусочном потоке
[11:57:46] <ermine> и собственно из-за этого интерфейса я рожала свою библиотеку...
[11:58:05] <ermine> а с гитхуба можно удалять репы?
[11:59:16] <Typhon> можно, но аккуратно
[11:59:37] <Typhon> это необратимо + какие-то заморочки с форкнутыми репами — если их удалишь, то возможно ещё раз форкнуть не сможешь
[11:59:58] <Typhon> (раздел admin ссверху, при просмотре репки)
[12:01:28] <ermine> спасибо, учту
[12:01:38] <ermine> хотела удалить как раз ту либлу перекодировок :)
[12:05:49] ftrvxmtrx вошёл(а) в комнату
[12:17:21] <gds> https://github.com/ocaml-batteries-team/batteries-included/issues/142
[12:27:18] zert вошёл(а) в комнату
[13:09:36] <gds> а это, мать его, что за хрень http://paste.in.ua/2321/raw/ ?
[13:14:01] <Typhon> про доки у них были какие-то баги
[13:18:35] <gds> благодарен им за то, что они хотя бы make all + make install не поломали.
[13:19:31] <Typhon> а это они уже ломали :D я там вокруг немножко чинил
[13:26:23] komar вышел(а) из комнаты
[13:26:31] komar вошёл(а) в комнату
[13:29:30] <gds> есть идейка.  Но сначала расскажите, правильно ли я думаю, что из annot-файлов можно вытащить всю информацию о типах всех значений, включая location'ы этих значений, которые будут соответствовать location'ам, доступным на момент camlp4?
[13:30:17] <f[x]> вроде бы
[13:42:12] komar вышел(а) из комнаты: Replaced by new connection
[13:42:13] komar вошёл(а) в комнату
[15:24:21] <komar> zert: у меня подключен debian lenny, оттуда установлены нужные пакеты и сделан hold на них. Итого весь софт новый, только кеды старые и еще кое-что.
[15:41:49] Diggimortal вошёл(а) в комнату
[16:17:02] <Diggimortal> gds: а что за идейка?
[16:20:45] <gds> да блин, не могу сформулировать так, чтобы было и достаточно обще, и реализуемо без гемора.  А полуфабрикат давать не хочу, вообще известнокакой стыд.  Попробую сформулировать, сообщу обязательно.
[16:22:04] <Diggimortal> у меня была идея написать Hoogle для OCaml, но для этого надо сначала OCaml изучить
[16:22:48] <gds> да там вроде япошки постарались, я бы не брался до тех пор, пока не поглядел бы их работу.
[16:25:42] <zert> алсо: http://juick.com/1352705
[16:26:01] <Diggimortal> её и смотрю
[16:29:47] <f[x]> ocaml backend для ragel уже в svn
[16:33:24] <Kakadu> Diggimortal: в OCamlPro впиливают какие-то штучки в придачу к annot файлом. Думаю стоит последить
[16:33:25] Kakadu вышел(а) из комнаты
[16:36:59] Kakadu вошёл(а) в комнату
[16:46:39] <Diggimortal> Kakadu: а есть ссылка на где об этом почитать?
[16:48:10] <Kakadu> Diggimortal: https://github.com/OCamlPro/OCamlPro-OCaml-Branch/commit/1155528950598d4c4462030c6a030dfea748002a
[17:31:08] gds вышел(а) из комнаты
[18:24:00] ftrvxmtrx вышел(а) из комнаты
[18:24:11] ftrvxmtrx вошёл(а) в комнату
[18:24:36] ftrvxmtrx вышел(а) из комнаты
[18:24:44] ftrvxmtrx вошёл(а) в комнату
[18:25:13] ftrvxmtrx вышел(а) из комнаты
[18:25:19] ftrvxmtrx вошёл(а) в комнату
[18:25:39] ftrvxmtrx вышел(а) из комнаты
[18:25:45] ftrvxmtrx вошёл(а) в комнату
[18:53:53] gds вошёл(а) в комнату
[19:27:36] <gds> кто-нибудь глядел, во что компилируется выражение наподобие
let func M x = 123 + M.kva x
?  при условии, что M оформлен правильно (там вроде какой-то синтаксис есть при передаче модуля в функцию), и что оно сходится по типам.
[19:27:51] <gds> собственно, вопрос: если глядели -- расскажите, интересно.
[19:40:08] gds вышел(а) из комнаты
[19:58:11] gds вошёл(а) в комнату
[19:58:52] <gds> а почему ocaml setup.ml -configure берёт ocaml{,c,opt} из /usr/bin, а не первый попавшийся в PATH?
[19:59:36] <gds> то есть,
standard_runtime: .............................. /usr/bin/ocamlrun
, однако 'which ocamlrun' совершенно другое, где-то под /home/gds.
[19:59:47] <Kakadu> gds: знакомо
[20:00:25] <gds> пол-конфы велосипедистов -- конечно, кому-то точно знакомо :)
[20:00:45] <Kakadu> я lwt собирал под цигвином
[20:00:51] <Kakadu> там такое было
[20:02:34] <Kakadu> gds: ./configure --override ocamlc /usr/local/bin/ocamlc.opt
[20:02:37] <Typhon> в конфигурь можно сказать prefix, емним (если чо, всё можно поправить в setup.data потом). по идее, он же вызывает ocamlc -where или как там, какой первый попадётся, такой и должен взять
[20:04:51] <Typhon> можно у гилдора в ирц спросить, кстати :)
[20:04:59] <Typhon> (легала)
[20:20:56] <gds> я тут сознательно оставил убунтовское камло параллельно с локальным.  чую, буду граблехождением заниматься.
[20:21:05] <gds> первым попробую --override
[20:32:46] Diggimortal вышел(а) из комнаты
[20:54:34] ftrvxmtrx вышел(а) из комнаты
[21:02:41] <gds> судя по всему, у меня setup.data был залежавшийся.  удолил его, нашлись правильные пути.
[21:03:46] Typhon вышел(а) из комнаты
[21:35:02] ftrvxmtrx вошёл(а) в комнату
[21:42:52] ygrek вошёл(а) в комнату
[21:45:49] <ygrek> про модуль думаю будет как вызов функции из record'а
[21:47:58] <gds> тоже такое подозрение.
[23:56:14] ermine вышел(а) из комнаты