Objective Caml - Вторник, 13 сентября 2011

Objective Caml

ocaml@conference.jabber.ru

Вторник, 13 сентября 2011< ^ >

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

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

GMT+4
[00:05:02] gds вышел(а) из комнаты
[00:36:41] shaggie вышел(а) из комнаты
[00:37:40] Typhon вошёл(а) в комнату
[01:29:58] ftrvxmtrx вошёл(а) в комнату
[02:14:49] Typhon вышел(а) из комнаты
[02:15:02] Typhon вошёл(а) в комнату
[02:20:39] zert вышел(а) из комнаты
[02:44:26] ftrvxmtrx вышел(а) из комнаты
[02:45:48] ftrvxmtrx вошёл(а) в комнату
[02:54:28] Typhon вышел(а) из комнаты
[02:54:39] Typhon вошёл(а) в комнату
[03:13:16] Typhon вышел(а) из комнаты
[03:16:23] Typhon вошёл(а) в комнату
[03:36:55] letrec вошёл(а) в комнату
[04:04:04] Typhon вышел(а) из комнаты
[04:06:50] ftrvxmtrx вышел(а) из комнаты
[04:19:10] komar вышел(а) из комнаты: Replaced by new connection
[04:19:12] komar вошёл(а) в комнату
[04:41:43] letrec вышел(а) из комнаты
[06:09:42] gds вошёл(а) в комнату
[06:33:06] <gds> изучил, как сделать генерацию summary (мою вчерашнюю задачку) через ocamldoc.  сделать плагин, который будет по наличию опции командной строки (Odoc_args.add_option) создавать генератор, повторяя апи Odoc_html.html (то есть, разобраться, что и как ему на вход подают), указать там обработку только моего тега ("@summary some text"), и звать функции Odoc_html.html только для элементов документации, содержащих мой тег.  (ну или унаследовать Odoc_html.html и переопределить все нужные методы, что может быть либо чуть проще, либо чуть сложнее, но в целом пофиг.)
в общем, как-то слегка геморройно получается.
[07:06:22] komar вышел(а) из комнаты: Replaced by new connection
[07:06:22] komar вошёл(а) в комнату
[08:00:01] <gds> и опять я что-то делаю не так с mappable, хоть и упростил задачу.  http://paste.in.ua/3032/
[08:06:12] bobry вошёл(а) в комнату
[08:46:41] sceptik вошёл(а) в комнату
[08:46:45] sceptik вышел(а) из комнаты
[08:55:38] ftrvxmtrx вошёл(а) в комнату
[09:20:56] iNode вошёл(а) в комнату
[09:21:08] sceptik вошёл(а) в комнату
[09:21:10] sceptik вышел(а) из комнаты
[09:22:46] bobry- вошёл(а) в комнату
[09:58:46] <gds> а не думаете ли вы, что для кое-каких целей стоило бы написать синтаксическое расширение, которое все литералы превращало бы в вызовы Literal.of_{string,int,bool,char}?  Конечно, в простом случае там будет identity, да и модуль Literal для простых случаев вроде бы можно сделать так, чтобы не было рантайм-оверхеда от этого.
[10:43:56] zert вошёл(а) в комнату
[11:12:25] Kakadu вошёл(а) в комнату
[11:27:34] <f[x]> Kakadu: а колбэки на кнопки вешаются?
[11:29:34] <Kakadu> f[x]: да
[11:29:47] <f[x]> ну круто вообще
[11:30:06] <Kakadu> f[x]: https://github.com/Kakadu/lablqt/blob/master/test_gen/test4/main.ml#L27
[11:31:06] <Kakadu> надо собрать с новым  core и заставить кого-то затестить
[11:31:28] <Kakadu> там asmanur_ из ирки собирался
[11:31:38] <bobry-> каким образом затестить?
[11:32:05] <Kakadu> bobry-: заставить кого-то собрать и что-то попробовать написать
[11:32:37] bobry- готов поупражняться если что
[11:32:53] <Kakadu> bobry: А ты не боишься core?
[11:33:10] <bobry-> а чего его боятся?
[11:33:32] ermine вошёл(а) в комнату
[11:33:32] <bobry-> кто нибудь кстате имел практику удаления пакетов из AUR?
[11:35:03] <Kakadu> bobry: думаю тебе в #linux
[11:35:25] <bobry-> #archlinux скорей :)
[11:37:35] <Kakadu> bobry-: можешь и в #anime спросить :-)
[11:42:02] <komar> bobry-: удалить пакет из каталога AUR’а или удалить пакет, установленный из AUR’а?
[11:47:03] <bobry-> komar: из каталога AUR
[11:47:07] <bobry-> там с камло бардак полный
[11:47:18] <komar> Это потому что арч говно.
[11:47:23] <bobry-> я уже написал в aur-general, видимо это единственный способ
[11:47:25] <bobry-> komar: логично
[11:47:39] <komar> В честь камла в арче olegfink перелез куда-то, уже не помню куда.
[11:47:56] <komar> На фругу, да.
[11:48:01] <bobry-> арч хотя бы упрощает сборку пакетов
[11:48:11] <bobry-> в смысле написать PKGBUILD -- пара минут
[11:48:14] <bobry-> сделать деб, гм ...
[11:48:19] <bobry-> *чиста для примера*
[11:48:22] <komar> В долбияне все уже собрано.
[11:48:31] <komar> Но в страшных снах я собираю дебы, да.
[11:48:31] <bobry-> да-да, прям таки все
[11:48:53] <Kakadu> нада и мне научиться собирать дебы
[11:49:13] <Kakadu> для поднятия ЧСВ
[11:49:25] <komar> Вот есть арч и там со сборкой все просто и понятно, но он говно.
[11:49:36] <bobry-> Kakadu: сначала осиль 100500 страниц документации
[11:49:43] <komar> Есть никсось, в котором замечательно работает мультиверсиоонность, но он говно.
[11:49:46] <komar> Все говно.
[11:49:57] <Kakadu> bobry: да здравствует метод научного тыка
[11:49:58] <bobry-> komar: с чем же ты тогда сравниваешь :)
[11:50:13] <bobry-> Kakadu: там так не получится, слишком много договоренностей / стандартов и магии
[11:50:31] bobry- как то опустился даже до чтения перловых исходников debhelper'a
[11:55:29] iNode вышел(а) из комнаты
[12:16:29] Typhon вошёл(а) в комнату
[12:19:08] <bobry-> Typhon: я тут еще поигрался с cobsonом -- проблема явно не в quick check'e -- он падает с InvalidBSON на prop_parseunparse. Это может быть только когда Bson.encode вернул что то странное.
[12:21:34] <Typhon> bobry: :-( печально, забросил я его, вот он и начал разваливаться :D ну ничего, на десктопе теперь юбунту, emacs24 поставлен, ключи настроены, так что только в путь
[12:24:32] <bobry-> вот и замечательно :)
[12:24:43] <bobry-> вообще ладно InvalidBSON но откуда там сегфолты то ...
[12:24:59] <bobry-> у меня 1/5 проходов стабильно сегфолт
[12:25:22] <Typhon> байткод запусти
[12:26:53] <bobry-> а как оазису сказать что нужен байткод?
[12:26:59] <bobry-> у меня native только собирается
[12:27:29] <Typhon> в _oasis исправить target с best на byte
[12:27:42] <Typhon> емнип ( + может какой-нибудь флажок добавили)
[12:27:54] <Typhon> там бесконечная рекурсия может быть %)
[12:28:02] <bobry-> она и есть видимо :)
[12:28:05] <bobry-> где?
[12:28:10] <Typhon> в квикчеке
[12:28:31] <Typhon> насколько я помню %)
[12:29:02] <bobry-> $ ./test.byte
OK, passed 100 tests.
Fatal error: exception Stack_overflow
[12:29:08] <bobry-> вот и она :D
[12:29:51] <Typhon> гы, забавно, что он OK печатает. может вообще выкинуть ocaml-quickcheck и использовать что-то более взрослое? из капутта или ещё из чего-нибудь? может там и поудобнее даже будет
[12:30:18] <bobry-> ОК он печатает для prop_objectid
[12:30:24] <bobry-> который действительно не падает
[12:30:28] <Typhon> а, ну ок :-)
[12:30:48] bobry- пока только ounit попробовал, что за капутт?
[12:32:44] <Typhon> http://forge.ocamlcore.org/projects/kaputt/
[12:33:16] <Typhon> я только анонсы видел, сам не пробовал, потому что "machete dont test!"
[12:33:50] <bobry-> выглядит классно
[12:38:18] <bobry-> блин, капутт очень вкусный судя по туториалу -- кто нить его пользовал?
[12:39:56] <Typhon> """specification-based tests, inspired by the QuickCheck tool""" есть в нём %) предлагаю вкрутить в кобсон, заодно поиграться, если больше не на чем пока
[12:40:43] iNode вошёл(а) в комнату
[13:30:02] shaggie вошёл(а) в комнату
[13:34:21] <Kakadu> говорят сегодня день программиста
[13:34:50] <zert> ога
[13:39:12] bobry- вышел(а) из комнаты
[13:39:58] bobry- вошёл(а) в комнату
[13:41:34] <Typhon> по старым славянским обычаям надобно питаться пивом и блинами, а также сжечь чучело нодежс
[13:42:05] <zert> ггг
[13:42:12] <Kakadu> Typhon: а можно всем дуржно поздравить ermine
[13:43:05] bobry- бы сжег что нибудь кроме nodejs
[13:43:36] komar сжег бы bobry-
[13:43:39] bobry- вышел(а) из комнаты
[13:43:46] <f[x]> done?
[13:43:49] <komar> doen
[13:51:26] bobry- вошёл(а) в комнату
[13:51:30] <bobry-> komar: за что?
[13:54:22] <komar> Сегодня с нами ты не пьешь, а завтра Родину продашь!
[13:55:40] <Typhon> кстати, в мск про день погромиста говорят в метро по говорителям
[13:55:57] <bobry-> сколково пьет в полном составе надо думать
[13:56:00] <zert> предупреждают население о возможной опасности?
[13:56:14] <bobry-> через пару часов пьяные программисты потянутся в центр города
[13:56:29] <bobry-> для традиционного (для этого дня) купания
[14:01:49] <bobry-> «Removed both react and ocaml-aaa» -- AUR на два пакета чище, вуху
[14:04:54] Kakadu вышел(а) из комнаты
[14:06:12] <f[x]> пусть купаются, лишь бы к коду не подходили!
[14:06:30] Kakadu вошёл(а) в комнату
[14:59:20] zert вышел(а) из комнаты
[15:30:44] Kakadu готов поздравть мечом по шее погромистов, что писали доки к хаксу
[15:30:51] letrec вошёл(а) в комнату
[15:30:56] letrec вышел(а) из комнаты
[15:31:13] letrec вошёл(а) в комнату
[15:54:37] <letrec> кто-нибудь знает как давно существует lwt?
[15:55:30] <gds> google -> ocaml lwt -> repository -> first commit?
[16:00:01] <Kakadu> вроде janestreetовцы грозились своё lwt выложить
[16:00:29] <letrec> не уверен, что это корректно, т.к. если я ничего не путаю, то его Пирс изначально сделал для своего унисона, но не уверен
[16:01:01] <Kakadu> letrec: Пирс, который tapl?
[16:01:41] <Typhon> 3 years ago
<http://ocsigen.org/darcsweb/?r=lwt;a=commit;h=20080524180748-0445d-376c7e08ca4606283fd4e1d9768137d40f804138.gz>Initial import from Ocsigen repository
commit <http://ocsigen.org/darcsweb/?r=lwt;a=commit;h=20080524180748-0445d-376c7e08ca4606283fd4e1d9768137d40f804138.gz> | commitdiff <http://ocsigen.org/darcsweb/?r=lwt;a=commitdiff;h=20080524180748-0445d-376c7e08ca4606283fd4e1d9768137d40f804138.gz>
Stephane Glondu [Sat, 24 May 2008 20:07:48]
в репке такое
в юнисоне, кажется, раньше был, да
[16:02:57] <letrec> Kakadu: ага
[16:06:40] <Typhon> https://webdav.seas.upenn.edu/viewvc/unison/trunk/src/lwt/
https://webdav.seas.upenn.edu/viewvc/unison/trunk/src/lwt/?pathrev=1
[16:06:59] <Typhon> https://webdav.seas.upenn.edu/viewvc/unison/trunk/src/lwt/lwt.ml?revision=1&view=markup&pathrev=1
[16:07:16] <Typhon> судя по этом, 6 лет уже, и это был не пирс, а tjim некий
[16:11:43] <Typhon> bobry: а ocaml-binary — это из janestreet взятое или твоё что-то?
[16:12:20] <Typhon> btw, есть тема замувить в camlunity репку cobson ( когда оно падать не будут ^_^ )
[16:41:00] letrec вышел(а) из комнаты
[16:53:34] <bobry-> Typhon: из core ага, с минимальными изменениями
[16:54:08] bobry- сегодня вечером попробует перетащить часть тестов кобзона на капутт
[17:11:58] ftrvxmtrx вышел(а) из комнаты
[17:13:07] ftrvxmtrx вошёл(а) в комнату
[17:16:40] letrec вошёл(а) в комнату
[17:25:59] bobry- вышел(а) из комнаты
[18:33:08] <gds> Typhon: есть ещё идея про итераты (их можно скрыть для пользователя, если чо).  Помогу, так как вник в bson как-то раз недавно.  Подумалось, что pa_macro даже использовать можно при желании (когда профайлер покажет; что лучше бы заинлайнить лишний код).
[18:33:17] <gds> bobry-: есть ещё идея реально попробовать капут на том интерфейсе, который у кобзона уже вытащен наружу.  заодно и мне рассказать, если вдруг что интересное будет в капуте.  но вот думаю, может тот же deriving извратить для quickcheck-подобных тестов?  они неплохи, но надо знать, будет ли от них польза (и от их наличия в deriving).
[18:36:43] letrec вышел(а) из комнаты
[18:48:57] Kakadu вышел(а) из комнаты
[18:53:01] klapaucius вышел(а) из комнаты
[18:56:50] ftrvxmtrx вышел(а) из комнаты
[18:59:45] ftrvxmtrx вошёл(а) в комнату
[19:49:19] Kakadu вошёл(а) в комнату
[20:05:08] bobry вошёл(а) в комнату
[20:10:13] <komar> Потсоны.
[20:10:29] <komar> А какие обозначения для комбинаторов в окамле наиболее распрастранены?
[20:10:45] <komar> Композиция функций там и прочее.
[20:11:04] <Typhon> не важно, какие аспространены
[20:11:08] <Typhon> важно какие использует твоя партия!
[20:11:13] <Typhon> https://github.com/camlunity/kamlo_wiki/blob/master/InfixOperators.md
[20:11:24] <Typhon> камлунистическая
[20:11:57] <komar> Отлично.
[20:12:26] <gds> кстати, я бы поправил инфиксные, у меня чуть больше опыта сейчас.
[20:13:02] <Typhon> gds: смело правь, я верю опыту твоему и с радостью посмотрю чо как правильнее
[20:13:30] <gds> так давайте обсудим лучше.  сейчас выдвину.
[20:14:02] <komar> Начинается.
[20:14:07] <Typhon> можно по-модному на gist.github.com и там комментить %)
[20:14:35] <gds> Typhon: а можешь рассказать про gist?
[20:14:46] <gds> т.е. как там вынести "на обсуждение".
[20:14:58] <Typhon> https://gist.github.com/1214232
[20:15:03] <Typhon> там внизу комменты есть
[20:15:44] <Typhon> и по результатам можно редактировать
[20:16:11] <Typhon> не полноценная тулза для код ревью, конечно, но может быть удобно :-)
[20:17:10] <Typhon> ( есть gist.el )
[20:18:38] bobry вышел(а) из комнаты
[20:19:30] <gds> ну поехали.
[20:31:23] Typhon вышел(а) из комнаты
[20:44:06] <gds> оказалось, мне не очень много сказать: https://gist.github.com/1214232 -- корректируйте.
[21:06:51] <gds> вроде всё сказал по данной ссылке.  давайте идеи.
[21:07:06] shaggie вышел(а) из комнаты
[21:19:46] bobry вошёл(а) в комнату
[21:19:46] bobry вышел(а) из комнаты
[21:24:45] gds +1 в cwn
[21:43:23] ftrvxmtrx вышел(а) из комнаты
[21:44:37] ftrvxmtrx вошёл(а) в комнату
[21:45:53] ftrvxmtrx вошёл(а) в комнату
[21:46:07] ftrvxmtrx вышел(а) из комнаты
[22:15:27] ftrvxmtrx вышел(а) из комнаты
[22:18:25] shaggie вошёл(а) в комнату
[22:24:10] <Kakadu> кто знает где сейчас хостится type-conv?
[22:24:25] <Kakadu> надо версию больше 3.0.3
[22:28:31] ermine вышел(а) из комнаты
[22:33:37] iNode вышел(а) из комнаты
[22:35:33] <Kakadu> bobry: а у тебя какой type-conv?
[22:36:33] <bobry> Kakadu: 2.3.0 -- потому что odn пока с другим не заводится
[22:36:58] <bobry> последний 3.0.3 есть на hg.ocaml.info
[22:40:33] <Kakadu> bobry: не могу найти 3.0.3
[22:41:06] <Kakadu> там 3.0.1
[22:41:08] <bobry> наврал, хм ... вроде я где то видел его
[22:41:25] <Kakadu> они пишут что надо 3.0.3 а там 3.0.1
[22:41:41] <Kakadu> это бы мелочи, да после последнего коммита там что-то не компилится
[22:42:22] <bobry> а у меня вот этот собирается https://aur.archlinux.org/packages.php?ID=21556
[22:47:21] <Kakadu> там ссылка какая-то странная
[22:48:27] <Kakadu> ага
[22:48:32] <Kakadu> 3.0.1 не собирается
[22:49:28] <Kakadu> 3.0.0 собирается
[22:49:46] <Kakadu> сволочь bin-prot 2.0.5 хочет type-conv 3.0.3
[22:50:19] <Kakadu> bobry: ты ручками скрипты ему правил?
[22:50:51] <bobry> ниче не правил
[22:50:59] <bobry> bin_prot -- да, новый хочет
[22:51:05] <bobry> они вообще надоели со своими version mismatch
[22:51:22] <Kakadu> т.е. ты новый core не ставил?
[22:51:28] <bobry> ставил
[22:51:36] <Kakadu> со старым bin-prot?
[22:52:06] <bobry> секунду, я проконсультируюсь с пакетным менеджером
[22:52:37] <bobry> type-conv 2.3, bin-prot 2.0.3
[22:53:01] <Kakadu> ясно
[22:53:59] <bobry> hrm, а у тебя bin-prot со старым type-conv не собирается?
[22:55:03] <Kakadu> всё, я нашел 3.0.3
[22:55:30] <bobry> иде?
[22:55:51] <Kakadu> ocamlcore
[22:57:56] <Kakadu> https://forge.ocamlcore.org/frs/?group_id=252
[22:59:18] <bobry> круто, пасибо -- еще бы ле галл обновил odn
[23:01:15] <bobry> a bin_prot то уже 2.0.5
[23:01:17] <bobry> йома
[23:01:31] <Kakadu> bobry: он одновременно с новым коре появился
[23:01:44] <Kakadu> кстати type-conv всёравно не компиляется
[23:01:51] <Kakadu> где мо чучуло суслика
[23:01:54] <Kakadu> ?
[23:02:00] <Kakadu> моё*
[23:02:16] <bobry> покажи ошибку?
[23:02:39] <bobry> bin-prot-2.0.5.tar.gz <https://forge.ocamlcore.org/frs/download.php/693/bin-prot-2.0.5.tar.gz> 2011-09-07 00:46 -- с новым core? это же на прошлой неделе
[23:02:49] <Kakadu> http://paste.in.ua/3036/
[23:03:15] <Kakadu> ну не могли они выложить коре без бинпрота
[23:03:48] <bobry> http://ocaml.janestreet.com/?q=node/13 2.0.3
[23:04:07] <bobry> code 2 это же вроде exception?
[23:04:13] <bobry> может у тебя с findlib проблемы?
[23:04:47] <Kakadu> откуда я знаю
[23:10:09] <Kakadu> bobry: ты можешь потестить компилябельность у себя?
[23:10:44] <bobry> sure, как раз качаю
[23:11:26] <bobry> собралось
[23:12:18] <bobry> ты попробуй руками  ocamlfind ocamldep -package camlp4.quotations -package camlp4.extend -syntax camlp4o -modules lib/pa_type_conv.ml выполнить
[23:12:21] <bobry> посмотри на что он ругнется
[23:12:29] <Kakadu> While expanding quotation "module_type" in a position of "patt":
  Parse error: illegal begin of quotation of module type
Preprocessing error on file lib/pa_type_conv.ml
[23:12:37] <Kakadu> File "lib/pa_type_conv.ml", line 326, characters 23-29:
[23:13:22] <bobry> это 3.0.3? так, а камло 3.12?
[23:13:28] <Kakadu> да
[23:13:45] <Kakadu> может 3.12.1 нада
[23:14:25] <bobry> PR#5172: camlp4 support for 'module type of' construct
[23:14:27] <bobry> да, 3.12.1
[23:15:49] <bobry> могли бы в changelog'e и написать на самом деле, и в _oasis заодно
[23:17:11] <Kakadu> что значит `there you go`
[23:17:42] <bobry> конкретный перевод зависит от контекста
[23:18:25] <Kakadu> [23:16] <DimitryKakadu> we should fix README.txt
[23:16] <DimitryKakadu> ocaml 3.12.1 needed
[23:16] <DimitryKakadu>  PR#5172: camlp4 support for 'module type of' construct
[23:16] <thelema> there you go.
[23:19:00] <bobry> ну может быть "ну вот приехали" :)
[23:19:03] <bobry> или == вщту
[23:19:17] <bobry> хотя thelema к нему вроде отношения не имеет
[23:19:20] <bobry> *== done
[23:19:41] <Kakadu> главное чтобы он не предлагал мне это фиксить
[23:20:01] <Kakadu> мне ещё пулл реквесты надо делать к qt и qtjambi
[23:38:13] Typhon вошёл(а) в комнату
[23:47:49] <bobry> что то странное у меня с капутом
[23:49:00] <bobry> http://paste.in.ua/3039/
[23:53:59] <Kakadu> теперь такая же дурацкая ошибка камлобилда с core_extended
[23:54:29] <bobry> покеж?
[23:55:06] <Kakadu> http://paste.in.ua/3040/
[23:55:28] <bobry> а камло новое поставил?
[23:55:33] <Kakadu> lf
[23:55:34] <Kakadu> да
[23:55:40] <Kakadu> let rec format = function
  | Atom s -> Pp.text (Sexplib.Pre_sexp.maybe_esc_str s)
  | List l when List.for_all ~f:is_atom l -> Pp.fgrp (par l)
  | List l -> Pp.agrp (par l)
and par l =
  Pp.text "(" $ Pp.nest indent (Pp.list ~sep:Pp.break ~f:format l) $ Pp.text ")"
[23:55:46] <Kakadu> последняя строчка фейлится
[23:55:59] bobry в camlp4 не силен
[23:58:19] <bobry> сцуко, даже пример из туториала не работает -- нет модуля Kaputt и все тут