Objective Caml - Среда, 3 августа 2011

Objective Caml

ocaml@conference.jabber.ru

Среда, 3 августа 2011< ^ >

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

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

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

GMT+4
[00:32:56] Typhon_ вошёл(а) в комнату
[00:38:33] ermine вышел(а) из комнаты
[00:43:08] ftrvxmtrx вышел(а) из комнаты
[00:45:15] komar вышел(а) из комнаты: Replaced by new connection
[00:45:15] komar вошёл(а) в комнату
[01:48:24] shaggie вышел(а) из комнаты
[02:19:35] ftrvxmtrx вошёл(а) в комнату
[03:33:27] Typhon_ вышел(а) из комнаты
[04:16:53] komar вышел(а) из комнаты: Replaced by new connection
[04:16:54] komar вошёл(а) в комнату
[04:29:24] ftrvxmtrx вышел(а) из комнаты
[04:29:36] ftrvxmtrx вошёл(а) в комнату
[05:36:31] zinid вошёл(а) в комнату
[06:09:25] delete_ вошёл(а) в комнату
[06:11:46] delete_ вышел(а) из комнаты
[06:47:06] Twice вошёл(а) в комнату
[08:23:46] Twice вышел(а) из комнаты
[08:54:59] mrm вошёл(а) в комнату
[08:59:51] <komar> zert, тревога, угнич учит эрланг
[09:18:40] ermine вошёл(а) в комнату
[09:39:47] delete_ вошёл(а) в комнату
[09:40:03] delete_ вышел(а) из комнаты
[10:03:41] gds вошёл(а) в комнату
[10:04:20] avysk вошёл(а) в комнату
[10:15:36] <gds> новый оверблд на статическом хттп: http://overbld.ygrek.org.ua/
если кто потестит, будет хорошо.
[10:29:35] Twice вошёл(а) в комнату
[10:30:21] <mrm> Качаю. Завтра попробую
[10:30:43] <mrm> Сегодня сходил с ума из-за сегфолтов на старом. Проблема оказалась в batteries :-)
[10:31:41] <mrm> Уже не в первый раз сегфолты из-за батареек. Там местами используется опасная магия. К счастью, всё оперативно исправляется
[10:42:35] komar вышел(а) из комнаты
[10:51:19] komar вошёл(а) в комнату
[11:23:43] Twice вышел(а) из комнаты
[11:26:44] komar вышел(а) из комнаты: Replaced by new connection
[11:26:51] komar вошёл(а) в комнату
[11:27:06] komar вышел(а) из комнаты
[11:27:42] komar вошёл(а) в комнату
[11:27:57] komar вышел(а) из комнаты
[11:29:08] komar вошёл(а) в комнату
[11:29:23] komar вышел(а) из комнаты
[11:30:41] komar вошёл(а) в комнату
[11:34:49] ftrvxmtrx вышел(а) из комнаты
[11:56:45] ermine читает свежую статью на janestreet о том, как надо не ржаветь с камлом в обнимку
[11:56:47] <ermine> ых
[11:57:15] <ermine> там описание хитрой шняги использования дефолтных значений в опциональных аргументах
[11:57:27] <ermine> дело довели до фантомов с фирст классями
[11:57:47] <ermine> еще немножко, и будет гадт новомодный
[11:59:43] <ermine> а еще неожиданности в виде синтаксиса типа
include struct ... end прямо в топлевеле файла
[12:00:27] <ermine> gds: ты так тоже умеешь?
[12:01:48] <ermine> из хаскеллизма встретился только оператор (!!) для переопределения дефаульта
[12:01:56] <ermine> ых-ых
[12:04:22] <f[x]> !! это обычно Lazy.force
[12:05:00] <ermine> гы
[12:05:08] Typhon вышел(а) из комнаты
[12:05:42] <ermine> ну, по смыслу там тоже форсирует
[12:06:11] komar вышел(а) из комнаты
[12:06:13] <ermine> вообще радостная статья - о том, как надо программить на камле с минимальной оглядкой на х-ль
[12:08:34] Typhon вошёл(а) в комнату
[12:20:35] <mrm> Знакомый фанат хаскелла юзает на работе вот это: http://www.cc.gatech.edu/~yannis/fc++/
[12:20:54] <mrm> <cps-bat1r> особенно рулят монадки которые позволяют мне писать на плюсах но думать на хаскеле
<cps-bat1r> таким образом эффекивно использовать мощь свого интеллекта
<cps-bat1r> и весьма выйгрышно выгледеть на фоне недалеких императивных коллег (калек?)
[12:21:22] <zinid> чсв
[12:23:05] <gds> ermine: начал читать статью, не дочитал пока.
[12:24:26] Twice вошёл(а) в комнату
[12:26:41] ftrvxmtrx вошёл(а) в комнату
[12:27:44] <Typhon> """эффекивно использовать мощь свого интеллекта""" — мощно
[12:28:09] ftrvxmtrx вышел(а) из комнаты
[12:28:35] komar вошёл(а) в комнату
[12:28:39] ftrvxmtrx вошёл(а) в комнату
[12:29:56] <Typhon> """особенно рулят монадки которые позволяют мне""" замкнуть на себя весь проект и уменьшить бас фактор до одного человека
[12:30:24] <ftrvxmtrx> выйгрышный войн
[12:30:25] ftrvxmtrx вышел(а) из комнаты
[12:31:11] <mrm> Это чтобы мозг не расслаблялся и постоянно буксовал на "вот как бы тут извернуться и сделать всё как илита?" :-)
[12:31:44] <mrm> Закалка для будущих лямбда-военов :-)
[12:31:53] <ermine> монады не нужны
[12:32:07] <ermine> они нифига не полиморфные даже
[12:32:19] ftrvxmtrx вошёл(а) в комнату
[12:34:03] <Typhon> mrm: лябмда-воены это ребята с lambda.org, лучше в приличном обществе не упоминать же ^_^
[12:36:54] <mrm> Я уже показывал его эпилептический бустокод: http://slexy.org/view/s2EQMr65oY. Теперь пишет -
[12:37:03] <mrm> <cps-bat1r> кстати надо было замутить через std::multiplies
<cps-bat1r> и сложение этих квадратов организовать через std::plus
<cps-bat1r> как-то можно сделать из бинарного функтора n-арный и тогда вообще без тупой императивщины можно было обойтись
[12:37:36] <mrm> Я себя чувствую тупым императивщиком :-(
[12:40:22] <gds> охщи.  это слишком умный человек.  мощь видно даже отсюда.
[12:43:24] <mrm> Он ещё три года изучает Template Haskell по туториалам, и постоянно говорит, что вот-вот при помощи TH ускорится во много раз и будет "писать программы не как кодер, а как художник" :-)
[12:43:49] <mrm> Надо ему Piet показать
[13:31:56] Twice вышел(а) из комнаты
[13:44:45] shaggie вошёл(а) в комнату
[15:20:22] ad1862 вошёл(а) в комнату
[15:31:20] <ad1862> для себя подкрасил синтаксис в шпорах от ocamlpro.com , чтоб легче читалось, им отправил - они проигнорили, можно выложить на здешний камлсайт camlunity или еще какой...
[15:31:55] <gds> а чего они написали?
[15:32:08] <ad1862> ничего, проигнорили
[15:32:57] <f[x]> а исходник есть?
[15:33:28] <f[x]> ad1862: проблема в том что никакого вменяемого сайта camlunity нет, но надо же когда-то начинать :)
[15:33:36] <ad1862> исходник чего, PDF ? я просто подкрасил код, чтоб всё вместе не сливалось
[15:33:57] <f[x]> ну да, там по-моему из TeX'а сгенерено?
[15:34:16] <f[x]> т.е. выложить стоит и объявить в рассылке
[15:34:29] <gds> логично.
[15:34:37] <ad1862> так куда ?
[15:34:51] <gds> так подкрасил в .tex?
[15:35:47] <ad1862> нет, другой прогой, сделал темно-зеленым, намного легче читается
[15:35:53] <f[x]> ermine: даёшь какой-нибудь доступ на camlunity.ru?
[15:36:17] <f[x]> хорошо бы git репо с авточекаут хуком
[15:36:54] <gds> понимаю, почему они не приняли -- видимо, сочли, что изменения потеряются при следующих перегенерациях.
[15:37:36] <f[x]> угу, но всё равно это болото нужно шевелить! :)
[15:37:55] <ad1862> ну может быть, еще по jocaml собрал всяких пдфок и вообще по окамлу, если надо кому
[15:38:27] <f[x]> хм, как индекс документации с локальным бэкапами - ок!
[15:38:47] <f[x]> короче нужен веб-space
[15:41:40] <f[x]> gds, Typhon, ermine: предлагаю начинать хостить контент на camlunity. Делаем git repo и выдаём ssh-ключи тем кому нужен доступ
[15:42:07] <f[x]> могу у себя захостить
[15:43:12] <ad1862> централизовать окамл, на подобие хаскеля
[15:43:28] <gds> уже заняты сайтом, но чото результата ноль.
[15:43:48] <gds> ermine: ты влоделитса домена camlunity.ru -- может осилишь вписать в крон что-то типа "git стянуть-с-урла && git обновить-рабочую-копию-по-ветке-такой-то"?
[15:45:38] <f[x]> проще
$ cat public_html/.git/hooks/post-update
#! /bin/sh
unset GIT_DIR
cd ..
git diff-index -R --name-status HEAD >&2
git reset --hard HEAD
[15:47:00] <gds> ну, если так проще, то ок.  кстати, можно и pdf туда же положить.
[15:47:18] <f[x]> дык!
[15:48:00] <gds> только как бы не наехали хвранцузы на camlunity, в связи с этим их переименованием.
[15:48:10] <f[x]> чего это?
[15:48:14] <Typhon> ну сделать, действительно, o.camlunity.ru
[15:48:20] <Typhon> с редиректорм на camlunity
[15:48:51] <ad1862> да главное хост, домен уж прикрутить потом по вкусу
[15:49:15] <gds> они намекают, что как бы "без знаков между первыми буквами".
хотя вот, если везде на сайте прописать правильное название, сказать, что домен это фигня, что это аллюзия на "коммунити" и всё такое?
[15:49:32] <Typhon> на коммунити и на камлунизм
[15:49:48] <Typhon> бтв, раз оверблд теперь заимел хостинг, стоит может попеареть его чуток?
[15:49:57] <f[x]> я ничего не понял, какую вы проблему видите со стороны французов?
[15:50:01] Typhon вышел(а) из комнаты
[15:50:11] <gds> проблема -- "caml", а не "OCaml" в урле!11111
[15:50:11] Typhon вошёл(а) в комнату
[15:50:17] <f[x]> caml же не торговая марка
[15:50:22] <f[x]> ну и что
[15:51:21] <f[x]> это ж не офсайт, а местная тусовка - плюс офсайт тоже caml. :)
[15:51:28] <gds> Typhon: про оверблд -- идея хорошая.  Но надо потестить сначала его нормально.  И сейчас там странная ситуация с версиями, 3.13.
[15:51:45] <gds> f[x]: вообще согласен, аргумент "тусовка" катит.
[15:51:54] <ad1862> camlcity.org немец зарегал и ничо..
[15:52:09] <Typhon> ну то до Большого Переименования было :-)
[15:52:11] <f[x]> ad1862: хост есть, домен тоже есть, ща скоординируемся
[15:52:13] <ad1862> правда он в инриа работает, ему может можно..
[15:52:24] <f[x]> у нас тоже до переименования было!
[15:52:24] <Typhon> герд? в инриа?
[15:52:33] <f[x]> слава байтам нет
[15:52:37] <Typhon> он же "ocaml consultant"
[15:52:51] <ad1862> ну не работает... а вот вот , консультант
[15:56:06] <f[x]> вообщем ждём ermine
[16:00:34] <gds> у меня даже возникла идея поводить гердушку за нос, раз уж сейчас он ищет работу :)
[16:00:51] <gds> но трудоёмко, забил.
[16:06:52] <ad1862> http://blog.camlcity.org/blog/search1.html тагично
[16:07:00] <ad1862> *трагично
[16:08:55] <ad1862> начал ковырять ATS , синтаксис от ML, так что можете посмотреть, он как раз на зависимых типах основан, это кто по agda фанатеет, но поддерживается одним автором, то есть повторяет судьбу окамл =)
[16:09:50] <gds> а разве окамл одним автором поддерживается?
[16:10:13] <ad1862> ну как бы одна контора рулит
[16:11:39] <f[x]> много фич в 3.12 и транке писали не в inria
[16:12:47] <ad1862> ну всё убедили.  камл жил, камл жив, камл будет жить
[16:13:28] <gds> топик не согласен!
[16:13:40] <f[x]> это было подозрительно слишком просто
[16:15:48] <mrm> gds: Новый overbld работает. Из коробки собрался проект в 15к строк, использующий несколько ocamlfind пакеты. Некоторые тесты сначала валились с segmentation fault, но проблема была в батарейках, которые я обновил до 1.4.0
[16:15:58] <mrm> Теперь: Tests ran: 6419
Failed: 14
[16:16:09] <mrm> Всё как в старом overbld (11.2)
[16:16:35] <gds> mrm: благодарю за тестирование!  Тем более, на твоих суровых индустриальных задачах.
[16:16:37] <mrm> Но пока рисковать не буду и разработку продолжаю на 11.2 :-)
[16:17:19] <mrm> Точнее, продолжаю с его помощью делать финальные сборки под винду
[16:17:41] <gds> во, было бы хорошо, если бы разработку вёл на самом новом.
[16:18:13] <mrm> А зачем? Вдруг несоответствие возникнет?
[16:18:31] <mrm> Возможностей 3.11.2 хватает.
[16:18:45] <gds> а, ну да, там ещё и фишки добавились.  тогда логично 3.11.2 использовать для той задачи.
[16:18:52] <mrm> О! Сейчас проверю, заработает ли выгрузка DLL в 3.13.0
[16:19:07] <f[x]> 6к тестов, сурово
[16:19:52] <mrm> Ну это у меня столько готовых программ, написанных за 10+ лет
[16:20:01] <mrm> на которых я тестирую компилятор
[16:28:26] <mrm> Каждая программа компилируется с 4 разными наборами параметров оптимизации и загружается в VM. Корректность выполнения не проверяется. Вот такие дурацкие тесты :-)
[16:29:00] <mrm> Позволяют выявить проблемы вида "что-то не компилируется; что-то не загружается; происходит разрушительный сбой"
[16:30:34] <f[x]> норм
[16:43:40] <mrm> gds: HUGE SUCCESS
[16:43:45] <mrm> DLL теперь выгружается!
[16:43:53] <mrm> Вот она, смерть Кощеева:
[16:43:57] <mrm> http://caml.inria.fr/mantis/bug_view_advanced_page.php?bug_id=4702
[16:44:47] <mrm> Исправили то, из-за чего "Otherwise DLL-embedded Ocaml would crash after DLL unloading"
[16:47:52] <gds> срань господня!  Круто!
[16:48:23] <mrm> Пойду напьюсь
[16:48:25] <mrm> шутка
[16:49:21] <mrm> Это была единственная проблема, про которую я боялся, что так и не смогу её решить
[16:49:39] <gds> и да, г-н белый таки крут.
[16:50:13] <gds> и это кроме того, что он виндовый Unix.select написал.
[16:50:40] <mrm> Соотечественник? Круто!
[16:51:27] <f[x]> и виндовый ocamldebug
[16:52:12] <gds> https://encrypted.google.com/search?q="Dmitry+Bely"+ocaml <https://encrypted.google.com/search?q=>
[16:53:12] <gds> тут мне в самую пору спросить -- "а что, для камла есть/нужен дебагер?"
[16:54:11] <mrm> Я его поначалу активно юзал, когда слишком много использовал императивных структур
[16:54:23] <mrm> Особенно прокрутка назад помогала
[16:54:39] <mrm> А потом дебаггер стал не нужен благодаря модульности и обильным тестам
[16:55:22] <mrm> В нём очень плохо то, что он почти никакие значения не может показать
[16:55:40] <mrm> Только всяких примивных типов (int, string)
[16:56:17] <mrm> А нужно было заглядывать во всякие мапы, сеты, хеш-таблицы
[16:57:02] <gds> понял, буду знать.
[16:58:01] <mrm> С дебаггером было просто локализовывать места, в которых неожиданно выпадали исключения вида "Not_found"
[16:58:38] <mrm> Со стек-трейсами я не разобрался и вместо этого просто начал использовать Exceptionless версии функции для работы со многими структурами
[16:58:59] <mrm> Которые внутри ловят эксепшн и возвращают option type
[17:00:01] <mrm> Сейчас кто-нибудь опять мне напомнит, что не надо в Камл пропихивать Хаскеллизмы :-)
[17:01:22] <mrm> в ocamldebug можно откатывать выполнение назад даже после того, как программа завершила работу (после непойманного исключения, например). Очень крутая фича, нигде такого больше не видел
[17:06:57] ad1862 вышел(а) из комнаты
[17:24:58] <f[x]> в новом gdb есть walkback
[17:26:28] <mrm> Мне интересно, а каким образом это работает? Есть куча необратимых операций, значит куда-то по ходу выполнения сохраняется миллион состояний. Как иначе?
[17:31:13] <mrm> Сейчас как раз пишу простенький дебаггер :-)
[17:44:59] mrm вышел(а) из комнаты
[17:47:33] <f[x]> я так думаю - делается слепок памяти раз в N шагов, cow немного уменьшает оверхед
[18:24:06] avysk вышел(а) из комнаты
[18:31:45] zinid вышел(а) из комнаты
[19:38:18] Typhon вышел(а) из комнаты
[21:23:38] ftrvxmtrx вышел(а) из комнаты
[21:48:42] avysk вошёл(а) в комнату
[21:49:33] avysk вышел(а) из комнаты
[21:59:02] shaggie вышел(а) из комнаты
[22:26:19] ftrvxmtrx вошёл(а) в комнату
[22:48:46] ftrvxmtrx вышел(а) из комнаты
[22:49:07] ftrvxmtrx вошёл(а) в комнату
[22:49:55] shaggie вошёл(а) в комнату
[22:54:44] ftrvxmtrx вышел(а) из комнаты
[22:55:17] ftrvxmtrx вошёл(а) в комнату
[23:31:18] ygrek вошёл(а) в комнату