Objective Caml - Среда, 11 апреля 2012

Objective Caml

ocaml@conference.jabber.ru

Среда, 11 апреля 2012< ^ >

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

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

GMT+4
[00:00:49] ftrvxmtrx вошёл(а) в комнату
[00:01:06] ftrvxmtrx вышел(а) из комнаты
[00:22:07] Typhon вошёл(а) в комнату
[00:57:19] bobry вышел(а) из комнаты
[01:05:08] bobry вошёл(а) в комнату
[01:18:31] f[x] вышел(а) из комнаты: Computer went to sleep
[01:20:23] Kakadu вышел(а) из комнаты
[02:21:56] ftrvxmtrx вышел(а) из комнаты
[02:23:26] ftrvxmtrx вошёл(а) в комнату
[02:23:41] Typhon вышел(а) из комнаты
[03:11:02] tilarids вышел(а) из комнаты: Computer went to sleep
[03:19:04] bobry вышел(а) из комнаты
[03:34:22] letrec вошёл(а) в комнату
[04:39:33] letrec вышел(а) из комнаты
[05:00:50] ftrvxmtrx вышел(а) из комнаты
[07:56:56] ermine вошёл(а) в комнату
[07:59:44] Typhon вошёл(а) в комнату
[08:56:00] tilarids вошёл(а) в комнату
[09:37:32] ermine вышел(а) из комнаты
[09:40:14] ftrvxmtrx вошёл(а) в комнату
[09:51:35] Sun][ вошёл(а) в комнату
[10:06:59] Typhon вышел(а) из комнаты
[10:19:26] ftrvxmtrx вышел(а) из комнаты
[10:29:05] tilarids вышел(а) из комнаты: Computer went to sleep
[10:29:37] ftrvxmtrx вошёл(а) в комнату
[10:40:06] ftrvxmtrx вышел(а) из комнаты
[10:40:18] ftrvxmtrx вошёл(а) в комнату
[10:40:56] ftrvxmtrx вышел(а) из комнаты
[10:41:28] ftrvxmtrx вошёл(а) в комнату
[10:52:18] ftrvxmtrx вышел(а) из комнаты
[10:54:31] tilarids вошёл(а) в комнату
[10:58:13] ftrvxmtrx вошёл(а) в комнату
[10:59:03] ftrvxmtrx вошёл(а) в комнату
[11:05:21] ftrvxmtrx вышел(а) из комнаты
[11:06:32] Typhon вошёл(а) в комнату
[11:16:15] ftrvxmtrx вошёл(а) в комнату
[11:16:47] Kakadu вошёл(а) в комнату
[11:42:34] ftrvxmtrx вышел(а) из комнаты
[12:01:35] tilarids вышел(а) из комнаты: Computer went to sleep
[12:02:50] tilarids вошёл(а) в комнату
[12:03:10] tilarids вышел(а) из комнаты: Computer went to sleep
[13:03:18] tilarids вошёл(а) в комнату
[13:33:57] bobry вошёл(а) в комнату
[13:49:06] shaggie вошёл(а) в комнату
[14:15:23] ermine вошёл(а) в комнату
[14:38:15] <bobry> Kakadu: где рассказывать?
[14:40:15] <Kakadu> на sc2tv вчера в полночь было
[14:40:33] <bobry> это что такое?
[14:41:34] <Kakadu> сайт про киберспорт (и всё остальное с тех пор как открыли "реал-стримы", по инсайдерской информации там скоро бедт как пропатчить КДЕ2 под фрибсд)
[15:08:41] bobry вышел(а) из комнаты
[15:16:14] bobry вошёл(а) в комнату
[15:20:10] letrec вошёл(а) в комнату
[15:21:31] <Kakadu> # #require "test2";;
/usr/local/lib/ocaml/3.12.1/test1: added to search path
/usr/local/lib/ocaml/3.12.1/test1/a.cma: loaded
Cannot load required shared library dlla.
[15:21:39] <Kakadu> почему камлофайнд начинает хотеть shared object?
[15:35:46] <Kakadu> да фиг с ним
[16:44:06] <f[x]> в gray_vals лежат имена exception'ов - это так надо?
[16:53:34] <gds> хороший вопрос, интересно поглядеть, но оно мешает?  не в blue же :)
[16:55:45] <f[x]> насколько я знаю в gray_vals попадают мутабельные значения во время модификации?
[16:55:58] <f[x]> чтобы трекать ссылки с minor в major
[17:03:09] <f[x]> а, не, попутал
[17:03:21] <f[x]> это для инкрментального gc
[17:03:27] <f[x]> тогда не так интересно
[17:14:45] komar вышел(а) из комнаты
[17:14:49] komar вошёл(а) в комнату
[17:23:38] tilarids вышел(а) из комнаты
[17:27:50] ermine уткнулась во чередное несовершенство парсера и опечалилась
[17:37:24] tilarids вошёл(а) в комнату
[17:42:33] komar прочитал «опечаталась»
[17:49:14] ftrvxmtrx вошёл(а) в комнату
[17:55:21] ftrvxmtrx вышел(а) из комнаты
[17:57:28] ftrvxmtrx вошёл(а) в комнату
[18:01:54] ftrvxmtrx вышел(а) из комнаты
[18:11:44] ftrvxmtrx вошёл(а) в комнату
[18:11:56] ftrvxmtrx вышел(а) из комнаты
[18:26:14] bobry вышел(а) из комнаты
[18:36:36] Sun][ вышел(а) из комнаты
[18:58:10] komar вышел(а) из комнаты
[19:14:37] komar вошёл(а) в комнату
[19:33:35] <ermine> освоить бы камлевый форматтер, есть ли туториал для тупых дур на эту тему?
[19:34:55] <gds> ermine: http://caml.inria.fr/resources/doc/guides/format.en.html
[19:36:23] <ermine> gds: я там запущила последние изменения в комбайне, у маркдауна строк кода кстати сильно меньше чем у xml и на сотню меньше чем у yaml
[19:37:04] <ermine> у xml 1200 строк кода парсера, жуть
[19:37:26] <gds> ermine: понел.  пока смесь реаллайфа и разборок с coq, там таки можно более-менее разумные edsl делать, но кое-какие мелочи надо внимательно прочитать, чтобы применить.
[19:38:09] <ermine> gds: реаллайф рулез!!!
[19:38:30] <gds> ermine: не всякий.  у меня 50/50.
[19:40:00] <ermine> за ссылку на guide format - пасиб, годится
[19:41:03] <f[x]> gds: правильная ссылка - http://mjambon.com/easy-format.html
[19:42:44] <gds> f[x]: когда пару лет назад смотрел, оно совершенно не умело того, что мне было нужно (не помню, что именно).  Поэтому для тупых вещей Изя-Форматирует подойдёт, а дальше -- хз.
[19:43:06] <ermine> а какая правильная для совсем тупых?
[19:43:29] f[x] format не осилил, тем более у него интрфейс для вывода в строку уродский
[19:44:09] <ermine> а я вот осилю, некуда деваться
[19:44:34] <ermine> надо красиво печатать грамматику обратно из комбайна
[19:45:38] <ermine> может и даже накалякаю вики по мере освоения
[19:45:53] <ermine> тем более что маркдаун выучен изнутри
[19:46:18] ftrvxmtrx вышел(а) из комнаты
[19:47:02] <gds> но даже format кое-где не справится, если совершенно дебильно-эстетские требования по форматированию предъявлять к нему.  Поэтому не стал предъявлять.
[19:50:58] <ermine> какие капризные кодеры
[19:51:32] <gds> эстетствующие, я бы сказал.  Как показала практика, это нафиг не нужно было, но хотелось "как покрасивше".
[19:52:47] <ermine> (быдло)кодеры?
[19:55:28] <gds> нет я
[19:57:17] <gds> постоянно выдавливаю из себя эстетство (главное, чтобы не случилось "был человек и весь вышел"), вот это был один из примеров.  Не было мне нужно слишком гламурно оформлять pretty-printing.
[19:57:31] <ermine> а еще бы освоить git bisect для сравнения скорости парсинга
[19:58:57] <gds> bisect для бисекции.  для сравнений -- просто по всем ревизиям шагай.
[20:00:19] <gds> бисекция -- штука, нужная для поиска точек/точки изменения монотонной булевой функции, определённой на дереве ревизий.
[20:01:43] <ermine> его юзают чтобы найти "тут падает, а в перед этим коммитом не падает"
[20:02:26] <ermine> заменяем на "тут выполнялось n часов, а перед этим коммитом - m дней"
[20:03:29] <gds> если время монотонно зависит от продвижения по ревизиям, то покатит.
[20:11:59] Typhon вышел(а) из комнаты
[20:13:52] <ermine> да оно закэшируется сразу после компиляции
[20:17:30] bobry вошёл(а) в комнату
[20:17:33] <ermine> мда, Format даже в guide мало тянет на простоту
[20:44:58] <ermine> интересно, можно ли комбайном распарсить asn.1 и сгенерить соответствующий код?
[20:55:34] <ermine> а форматтер-то не такой уж и академически сложный, освоить таки можно
[20:57:02] <ermine> надо только разумно расставить боксы
[20:59:36] <gds> это так.
[21:05:38] shaggie вышел(а) из комнаты
[21:10:45] letrec вышел(а) из комнаты
[21:12:59] tilarids вышел(а) из комнаты
[21:32:36] tilarids вошёл(а) в комнату
[21:35:35] ftrvxmtrx вошёл(а) в комнату
[21:51:26] <bobry> ermine: asn.1? это ты серьезно?
[21:51:36] <bobry> там же 100500 стандартов которые надо осилить
[21:51:42] <bobry> или ты только подмножество хочешь парсить?
[21:53:08] <ermine> нотацию
[21:53:42] <bobry> а, только разбирать
[21:54:21] <ermine> и сгенеривать соответствующий код, в том числе беры и деры всякие или как еще
[21:55:00] <ermine> bobry: посмотри на asn.1 компилятор в ырланке
[21:58:21] <bobry> ermine: ну я особо внимательно не смотрел, но общее впечатление было ужасающее -- слишком много праивл
[21:58:22] <bobry> *правил
[22:00:51] <ermine> bobry: поэтому придумывают всякие xml и xsd
[22:01:09] <ermine> что не могут осиливать asn.1
[22:01:20] <ermine> и поэтому в программах полная лажа
[22:01:36] bobry пользует себе protobuf и не жалуется
[22:01:39] <bobry> правда он не такой крутой
[22:02:42] <ermine> да, протобуф - тоже для тех, кто не осилил asn.1
[22:02:43] Andrey Popp вошёл(а) в комнату
[22:03:13] <bobry> ну asn.1 компайлеров раз два и обчелся
[22:03:22] ermine еще не осилила ни asn.1, ни protobuf, но верит тем кто осилил asn.1
[22:03:54] <ermine> bobry: компиляторы есть везде кроме на камле
[22:03:54] <bobry> это кто например?
[22:04:20] <bobry> я видел только для сей, написанный валкиным и в э-ге искаробки
[22:04:32] <ermine> bobry: как минимум два разраба ежика
[22:04:46] <bobry> не понял?
[22:05:00] <ermine> bobry: ежик = ejabberd
[22:05:18] <ermine> а разрабы  = разработчики (слэнг малолеток)
[22:05:36] <ermine> они говорят, что xml - полное г-но
[22:05:51] <ermine> и надо было xmpp протокол описывать на asn.1
[22:06:54] ermine прошлась по своему pretty printer сверху вниз пять раз, сокращая код
[22:07:13] <ermine> интересно, сколько раз его переделывать придется
[22:07:41] <bobry> вот разрабы ежика взяли бы и запилили свой XEP
[22:07:43] <bobry> на эту тему
[22:09:05] <ermine> bobry: это не от них зависит, а от XSF
[23:22:50] komar вышел(а) из комнаты: Replaced by new connection
[23:22:50] komar вошёл(а) в комнату
[23:29:25] ermine вышел(а) из комнаты