Objective Caml - Вторник, 21 февраля 2012

Objective Caml

ocaml@conference.jabber.ru

Вторник, 21 февраля 2012< ^ >

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

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

GMT+4
[00:38:29] Typhon вошёл(а) в комнату
[01:08:50] <gds> какой у меня кадастр умный...
$ echo '[]' | curl http://myurl --data-binary @- -D -
HTTP/1.1 500 Internal Server Error
Content-length: 102
Content-Type: application/json
["error","can't convert reply to json: Cdt.No: method \"json.to\" on type \"list (res_str(int64))\""]
и вообще, потихоньку избавляюсь от json-static.  заодно в процессе всего этого приобретаю плюшки, которые затрахался бы реализовывать через препроцессор (начнём с original syntax...).
библиотека всё-таки честнее синтаксических расширений.  которые можно прикрутить поверх библиотеки, кстати, а с обратным вас ждёт фейл.
и парвел уже при делах, с его "протоколами" (тоже поверх rtti, то есть, независимо от препроцессора).
[01:48:07] ftrvxmtrx вышел(а) из комнаты
[01:48:33] ftrvxmtrx вошёл(а) в комнату
[02:03:59] f[x] вышел(а) из комнаты
[02:33:17] dzhon вышел(а) из комнаты
[02:35:46] Typhon вышел(а) из комнаты: Replaced by new connection
[02:36:06] Typhon вошёл(а) в комнату
[02:45:35] Kakadu вышел(а) из комнаты
[03:12:44] ftrvxmtrx вышел(а) из комнаты
[03:21:19] Typhon вышел(а) из комнаты
[03:37:55] letrec вошёл(а) в комнату
[03:50:08] ftrvxmtrx вышел(а) из комнаты
[03:51:03] ftrvxmtrx вошёл(а) в комнату
[04:32:32] gds вышел(а) из комнаты: Replaced by new connection
[04:32:34] gds вошёл(а) в комнату
[04:47:38] letrec вышел(а) из комнаты
[05:09:07] komar вышел(а) из комнаты
[05:11:08] komar вошёл(а) в комнату
[06:51:27] ermine вошёл(а) в комнату
[07:01:06] ftrvxmtrx вышел(а) из комнаты
[07:04:06] ftrvxmtrx вошёл(а) в комнату
[07:06:50] ftrvxmtrx вышел(а) из комнаты
[07:07:39] ftrvxmtrx вошёл(а) в комнату
[07:08:37] ftrvxmtrx вышел(а) из комнаты
[07:09:20] ftrvxmtrx вошёл(а) в комнату
[07:10:34] ftrvxmtrx вышел(а) из комнаты
[07:12:33] ftrvxmtrx вошёл(а) в комнату
[07:14:55] ftrvxmtrx вышел(а) из комнаты
[07:21:14] ftrvxmtrx вошёл(а) в комнату
[07:22:12] ftrvxmtrx вышел(а) из комнаты
[08:39:20] ftrvxmtrx вошёл(а) в комнату
[08:48:10] ftrvxmtrx вышел(а) из комнаты
[08:51:52] ftrvxmtrx вошёл(а) в комнату
[08:54:37] ftrvxmtrx вышел(а) из комнаты
[09:00:29] ftrvxmtrx вошёл(а) в комнату
[09:02:30] ftrvxmtrx вышел(а) из комнаты
[09:03:55] ftrvxmtrx вошёл(а) в комнату
[09:25:33] superbobry вошёл(а) в комнату
[09:25:56] ftrvxmtrx вышел(а) из комнаты
[09:38:19] ftrvxmtrx вошёл(а) в комнату
[09:46:59] ftrvxmtrx вышел(а) из комнаты
[09:47:32] ftrvxmtrx вошёл(а) в комнату
[09:50:44] ftrvxmtrx вышел(а) из комнаты
[09:51:34] ftrvxmtrx вошёл(а) в комнату
[10:04:32] ftrvxmtrx вышел(а) из комнаты
[10:05:17] ftrvxmtrx вошёл(а) в комнату
[10:06:50] ftrvxmtrx вышел(а) из комнаты
[10:07:48] ftrvxmtrx вошёл(а) в комнату
[10:08:07] ftrvxmtrx вышел(а) из комнаты
[10:08:51] ftrvxmtrx вошёл(а) в комнату
[10:20:21] ftrvxmtrx вышел(а) из комнаты
[10:21:05] ftrvxmtrx вошёл(а) в комнату
[10:22:14] ftrvxmtrx вышел(а) из комнаты
[10:23:12] ftrvxmtrx вошёл(а) в комнату
[11:11:20] <superbobry> gds: sexy!
[11:11:59] <gds> superbobry: ХДЕ???
[11:12:13] <superbobry> та я про твой пример вчерашний
[11:13:09] <gds> понял.  кстати, метод уже добавил, если чо :)
[11:44:20] ftrvxmtrx вышел(а) из комнаты
[12:17:40] ftrvxmtrx вошёл(а) в комнату
[12:59:32] Kakadu вошёл(а) в комнату
[13:08:34] shaggie вошёл(а) в комнату
[13:33:25] <Kakadu> ermine: а это правда что Одерский написал первый JIT для джавы, работая при этом на майкрософак?
[13:38:49] ermine не шарит в истории явы
[13:40:13] <Kakadu> просто препод в универе конечно же слишеком фанат явы, но порою говорит норм вещи
[13:40:41] <Kakadu> например он сказал что джава создавалась чтобы программисты не знающие нихрена могли быстро клепать что-то работающее
[13:41:17] <Kakadu> (типа джава проще крестов, вроде даже верно это)
[13:41:54] <Kakadu> я его пробовал троллить тем, что еклипсы, идеи, и нетбинсы дико тормозят, что он парировал тем, что они тормозят из-за архитектуры, а не из-за джавы
[13:42:11] <Kakadu> пробовал его троллить тем, что компании отказываются от явы и дотнета (js)
[13:42:20] <Kakadu> JSC*
[13:42:47] <Kakadu> что он парировал тем, что функциональщина хороша всем, только один большой минус --- программисты жутко дорогие
[13:44:44] <ermine> быстро склепать - это helloworld написать и скомпилить?
[13:45:05] <ftrvxmtrx> javascript тоже ФЯП
[13:45:16] <superbobry> лол?
[13:45:24] <ftrvxmtrx> программисты на нём вполне дешёвые
[13:45:28] <ftrvxmtrx> почему лол?
[13:45:42] <Kakadu> потому что лол
[13:45:51] <f[x]> везде одно и то же
[13:45:52] <superbobry> точно также питон и руби ФЯП
[13:45:54] <f[x]> код пишите
[13:46:19] <ermine> не, яваскрипт действительно фяп
[13:46:29] <ermine> там функции можно передавать как значения
[13:46:34] <superbobry> питон-руби?
[13:46:45] <Kakadu> ermine: в си тоже можно?
[13:46:52] <ermine> ну да
[13:47:07] <ermine> все фяп, стыдно не уметь передавать функции как значения
[13:47:11] <Kakadu> т.е. си тоже фяп
[13:47:16] <ermine> а вот система типов - это другое
[13:47:24] Typhon вошёл(а) в комнату
[13:47:30] <ermine> в си так не получицо
[13:47:47] <ermine> в си указатель надо заранее мухлевать и где-то сохранять
[14:26:55] DZhon вошёл(а) в комнату
[14:36:16] <klapaucius> Не специалист по истории явы, но первый JIT для джавы, насколько я помню, действительно написан майкрософтом. Не знаю, какое отношение Одерски к нему имел. Вот в разработке дженериков для явы он точно принимал участие. сановский JIT - хотспот разрабатывали купленные авторы стронгтока - лонгвью. К ним Одерски тоже, насколько я знаю, никакого отношения не имеет.
[15:08:42] ftrvxmtrx вышел(а) из комнаты
[15:14:14] ftrvxmtrx вошёл(а) в комнату
[15:26:43] gnusf вошёл(а) в комнату
[15:29:20] DZhon вышел(а) из комнаты: Replaced by new connection
[15:29:22] DZhon вошёл(а) в комнату
[15:41:11] letrec вошёл(а) в комнату
[16:03:07] gnusf вышел(а) из комнаты
[16:35:31] klapaucius вышел(а) из комнаты
[17:16:43] DZhon вышел(а) из комнаты
[17:40:50] klapaucius вошёл(а) в комнату
[17:44:57] superbobry вышел(а) из комнаты
[18:00:07] <ermine> хаскиль рулит
[18:00:20] <f[x]> /ban ermine
[18:00:28] ermine зело страдает, что функции в камле в модулях не рекурсивны взаимно
[18:02:22] <ermine> неужто придется сварганить модуль с 500 взаимно рекурсивными функциями
[18:02:47] <ermine> интересно, как такое на перформанс скажется
[18:06:08] <Kakadu> не должно сказаться
[18:18:07] <ermine> а пчу так думаешь?
[18:23:26] <Kakadu> по хорошему в байткоде инфа о рекурсивных типах должна стереться, ибо это надо для проверки типов, а не для исполнения кода.
[18:23:34] <Kakadu> вернее так правильнее было бы сделать
[18:26:47] <ermine> камло не хаскиль
[18:27:00] <ermine> чота gds молчит
[18:27:41] <ermine> gds: 500 страусов бегают медленее чем 500 фазанов?
[18:34:07] <Kakadu> ermine: не знаю, но какаду летает выше них всех
[18:51:34] dzhon вошёл(а) в комнату
[19:09:00] Kakadu вышел(а) из комнаты
[19:35:43] dzhon вышел(а) из комнаты: Replaced by new connection
[19:35:44] dzhon вошёл(а) в комнату
[19:40:44] dzhon вышел(а) из комнаты
[19:58:47] <gds> ermine: либо let rec f1 = .. and f2 = .., либо module rec R : sig .. end = struct let f1 x = R.f2 x .. end.  если генеришь это, рекомендовал бы второе, так как чото помню, были какие-то проблемы в больших блоках let rec, с производительностью что-то.  если руками, то только первое.  а ещё можно нагенерить тестовых взаимно-рекурсивных (через let rec) и посмотреть хотя бы на -dlambda или подобное, который будет генериться как для инициализации модуля, содержащего их, так и для вызова.  впрочем, скорее всего либо была не особо большая проблема, либо починили, но я бы проверил на всякий случай.
[20:00:31] Kakadu вошёл(а) в комнату
[20:17:48] ermine все еще долбается головой об стол
[20:21:22] <ermine> если чужую грамматику не получается вчистую сконвертить в свою - то своя никуда не годится
[20:24:25] ftrvxmtrx вышел(а) из комнаты
[20:32:45] Kakadu вышел(а) из комнаты
[20:40:11] Kakadu вошёл(а) в комнату
[20:46:18] Typhon вышел(а) из комнаты
[20:52:41] letrec вышел(а) из комнаты
[21:17:47] shaggie вышел(а) из комнаты
[21:22:11] dzhon вошёл(а) в комнату
[21:42:28] bobry вошёл(а) в комнату
[21:57:39] ftrvxmtrx вошёл(а) в комнату
[21:58:11] <Kakadu> а в конфиге барбры флаг это типа флаг для ./configure?
[21:58:24] <bobry> Kakadu: ага
[21:58:38] <bobry> Kakadu: а выложи brb.conf с которым у тебя креш?
[21:59:12] <bobry> стоп, это с дефолтным? О_О
[22:00:29] <Kakadu> я же выложил
[22:00:32] <Kakadu> я там дописал чутка
[22:02:08] <bobry> Kakadu: у меня не крешится
[22:02:28] <bobry> вру, Not_found там
[22:02:51] <bobry> щас покушаю и поправлю, вообще неплохо бы заюзать ocamlgraph, но это видимо после bundles
[22:52:37] <gds> bobry: готов поразмять мозги?  я для тебя нямочку приготовил :)
[22:53:01] <bobry> gds: можно попробовать, правда я слегка вареный после работы и учебы :)
[22:53:04] <bobry> Kakadu: fixed
[22:53:33] <bobry> Kakadu: мы разрешаем несколько install-targets?
[22:53:37] <Kakadu> я тут пытаюсь рассказать про камлёвые объекты в #dotnet. Получаю
> <Gebb> Например, мне кажется, что такая запись меньше поясняет намерения разработчика. Чо это за вася здесь используется с методами DoThis и DoThat? Я понимаю, что васин тип можно и указать, но это опять же если повезёт с совестливым программистом. Зачем нам лишний способ выстрелить себе в ногу?
[22:54:46] <gds> Kakadu: для nominal subtyping / nominal inheritance используются модули и их типы.
[22:54:56] bobry сегодня послушал темы НИРов по биоинформатике, совсем с ними печаль. если не NP-complete проблем, то скриптик на питоне а ля "выкачай то и положи туда"
[22:55:40] <bobry> никто кстате не хочет на cupf скататься?
[22:56:11] <gds> bobry: вот тебе: http://paste.in.ua/3901/
[22:57:58] <gds> (вопрос с циклами решается элементарно, вместо стандартного Lazy делается функтором модуль, который выдаёт в специальном исключении все элементы цикла по порядку, в том порядке, в котором они привели к циклу.)
[22:58:41] <Kakadu> bobry: я забыл что это такое cupf? тебя туда хотели послать про функциональщину рассказывать?
[22:59:54] <bobry> *cufp
[23:00:05] <bobry> не, cufp это такой workshop на icfp
[23:00:17] <bobry> comercial users of functional programming
[23:00:22] <bobry> мински туда все время зазывает
[23:02:08] <bobry> gds: #34-36 ооочень круто
[23:02:17] <bobry> #32 т.е.
[23:03:30] <gds> bobry: я знал, что тебе хоть что-то, да понравится :]
[23:03:54] <bobry> я еще не понял как оно все работает, но сам финт впечатляет
[23:04:03] <bobry> это ты фо фан такое наваял? или есть rl-motivation?
[23:04:20] <gds> как работает...  "уроборос" в гуглокартинках поищи :]
[23:04:21] <bobry> Kakadu: так что ты думаешь про ограничение на один эл-т в Build / Install?
[23:05:33] <Kakadu> bobry: думаю положительно, только мне надо немного продебажить то, что есть сейчас
[23:05:46] <bobry> ок, я просто не родил как это в парсере запилить
[23:07:25] <bobry> Kakadu: кстати ты не ходишь в compsci club?
[23:07:44] <gds> bobry: фофан в основном.  точнее, знал, что это делается просто и быстро, вот и решил.  в качестве толчка ещё были проблемы, поднятые сегодня в чятике, и особенно, почему-то, упоминание ocamlgraph.
а вот почему знал, что "просто и быстро" -- потому что с громатеками так работал, когда стродал над парсером, и вот это уже нужно было по работе.  и там нужна была диагностика хорошая, циклы ловить надо было, потому и разобрался в вопросе более-менее полностью.
[23:16:51] <Kakadu> bobry: можешь смотреть
[23:18:48] <Kakadu> собственно сейчас
Build "./build"
Make a
Make b
Make c
Install "./build install"
вызовет при сборке
"./build a b c && ./build install"
[23:19:32] <bobry> вроде ок, но я думаю что надо выпилить Make в пользу Build
[23:19:52] <Kakadu> скорее переименовать Make в Target
[23:21:17] <bobry> а когда это мб удобно?
[23:22:47] <Kakadu> потому что в текущем моем варианте то что помечано как Make будет параметром того , что написано под Build
[23:24:59] <bobry> ну да, но это недолго исправить
[23:25:11] <Kakadu> мне уже сегодня лень
[23:46:54] ermine вышел(а) из комнаты
[23:59:30] komar вышел(а) из комнаты