Objective Caml - Пятница, 23 октября 2009

Objective Caml

ocaml@conference.jabber.ru

Пятница, 23 октября 2009< ^ >

f[x] установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Верблюды грязи не боятся! | release crap

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

GMT+4
[00:01:06] ygrek вышел(а) из комнаты
[01:05:50] gds вышел(а) из комнаты
[02:06:02] Typhon вышел(а) из комнаты
[06:48:48] john вошёл(а) в комнату
[11:06:17] f[x] вошёл(а) в комнату
[12:52:15] f[x] думает может пройтись по своим багам и хоть какой-нибудь патч для каждого нарисовать - может у них что-нибудь шевельнётся унутре, и пофиксят
[13:06:39] gds вошёл(а) в комнату
[13:08:20] <gds> ой не знаю, пофиксят ли. код, в целом, не принимают. франция, копирайты, всё такое.
[13:09:38] <f[x]> ну почему, принимают же
[13:09:46] <f[x]> формально надо копирайт просто им отдавать
[13:10:47] <sceptic> оно же gpl, или не?
[13:10:57] <f[x]> даже major фичи, например natdynlink (впрочем это внутриконсорциумные штучки)
[13:10:58] <gds> не gpl.
[13:20:46] <ermine> что патчим?
[13:21:02] ermine как обычно проснулась посреди разгоревшейся беседы
[13:21:37] <ermine> судя по слову "франция", то патчим само камло?
[13:24:59] <f[x]> ermine: листай выше до ссылки :)
[13:25:54] <f[x]> обсуждаем^W константируем плачевное состояние багов в мантисе
[13:27:14] <ermine> а как ты находишь столько багов?
[13:27:27] ermine в своей жизни ни разу не нашла багов в самом камле
[13:29:06] <f[x]> это они меня находят
[13:30:33] <ermine> наверное, ты пишешь код не как полагается у фпрограммистов
[13:33:10] john вышел(а) из комнаты
[13:37:20] <f[x]> gds: сколько у тебя багов в мантисе? у меня 7
[13:37:26] <f[x]> и пофиксили 1
[13:40:27] <gds> всего 2, пофиксили 0.
[13:41:18] <gds> но у меня мелочи -- сборка падвендой и camlp4 -I +dir, поэтому понятно, почему они забивают.
[13:41:55] ermine корежит центральное тело сульци и скептически смотрит на результат: если раньше была кучка type ..., то теперь их пришлось объединить в type .. and ..
[13:43:57] <f[x]> ну меня половина тоже ocaml+msvc, остальное мелочи камлобилда + wishlist'ы
[13:47:10] <gds> о, надо бы потом как-нибудь попробовать собрать ocaml/mingw не через makefiles как обычно, а через ocamlbuild'овскую процедуру, и тупо, не разбираясь, настрочить описание встреченной баги.
[13:47:31] <ermine> я знаю только про одну багу - с компиляцией камла для использования в качестве драйвера
[13:47:47] <ermine> тоже не фиксят
[13:48:48] <f[x]> ermine: это где такой ужас?
[13:48:57] <f[x]> или драйвер чего?
[13:49:08] <ermine> плохо что камла всего одна реализация, конкурировать не с кем
[13:49:50] ygrek вошёл(а) в комнату
[13:49:58] <ermine> f[x]: ну на 64-разрядной машине в нативе, там требуется чтобы выходной ассемблерный код компилялся с -fPIC
[13:50:05] ygrek вышел(а) из комнаты
[13:50:16] <ermine> на 32-разрядной проблемы нет
[13:50:27] <gds> ermine: ну давай сделай ещё одну реализацию, хехе
[13:50:32] <f[x]> ermine: драйвер чего?
[13:50:41] ygrek вошёл(а) в комнату
[13:51:00] <ermine> f[x]: как разница чего, просто сошка
[13:51:21] <ermine> f[x]: из камла можно сделать сошку, которую можно в других языках подгружать
[13:52:19] <ermine> gds: не потянешь ведь
[13:52:48] <gds> так я и не собираюсь тянуть.
[13:52:59] <gds> и почти любой на моём месте не собрался бы.
[13:53:16] <ermine> ага
[13:53:23] <ermine> надо переходить на хаскиль
[13:53:28] <gds> вон, наш бизнесмен пытается завести ocaml/llvm, вот поглядим.
[13:53:34] <gds> кому надо?
[13:54:23] <ermine> тем кому не нравится, что баги не фиксятся :)
[13:55:04] <f[x]> ermine: я думал ядрёный драйвер
[13:55:09] <gds> почему сразу на хаскель? разве мало других тормозных языков?
[13:55:15] <f[x]> :)
[13:55:50] <ermine> gds: нативная компиляция функционального кода?
[13:56:12] <ermine> ну, я знаю, что многие на с++ умудряются писать функционально
[13:56:13] <gds> в scheme тоже есть :)
[13:56:22] <ermine> можно и на с++ переходить тогда
[13:56:48] <gds> на C++ -- могу дать ложку, известно что зачерпывать.
[13:56:51] <ermine> ну давай на схему валить
[13:57:37] <ermine> а еще можно придумать новый язык
[13:58:33] <ermine> и назвать его уже официально "камло"
[13:58:42] f[x] установил(а) тему: http://schemers.org/ | Обсуждения камля переехало в haskell@
[13:59:09] gds валяется
[14:03:29] f[x] установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Верблюды грязи не боятся! | release crap
[14:09:36] <sevenov> >[01:58:12 PM] f[x] has set the subject to http://schemers.org/ | Обсуждения камля переехало в haskell@
Э? Камль таки умирает?
[14:10:11] <f[x]> уже, уже
[14:10:16] <gds> он уже умер в наших душах. Всё, непофиксенный баг, висящий три года в багтрекере, был последней каплей.
[14:11:13] <sevenov> Ну и правильно.
[14:11:15] ermine запустила процесс в конфе аскеля и пошла кодить дальше
[14:12:00] gds пошёл писать конвертер ocaml -> scheme
[14:12:11] f[x] отдаёт права овнера первому встречному scheme'щику
[14:12:40] <f[x]> заимплементившему камло на схеме
[14:12:51] <f[x]> ermine знатно потроллила, да
[14:13:23] <gds> верно :) бурление хорошее получилось. а сейчас ещё и хаскеллистам накинем на вентилятор.
[14:13:41] <sevenov> [14:05:53] <ǝuıɯɹǝ> я предлагаю камловодам перелезти на хаскиль!
[14:06:06] <ǝuıɯɹǝ> а они хотят на какую-то оффтопичную schema
[14:13:50] <sevenov> Это из хаскеля?
[14:14:05] <sevenov> гыгы )
[14:16:10] <gds> картина неполная. у нас есть конфа схемщиков?
[14:16:28] <ermine> gds: не, имхо про партиал аппликешн было удачнее
[14:17:19] <gds> да, верно, named arguments это сильная штука окамла. а в схеме таки есть они, в каком-то из её вариантов. правда вот не знаю, как там с каррингом, но это меня не волнует ни разу.
[14:51:08] sceptic вышел(а) из комнаты
[14:52:56] sceptic вошёл(а) в комнату
[17:09:56] <f[x]> gds: в каком состоянии твоя система документооборота?
[17:10:49] <gds> концепции лично мне чотко понятны, начал кодить.
[17:10:59] <gds> то есть, в никаком состоянии.
[17:11:52] <gds> однако, с планированием у меня нормально в этом проекте -- знаю точно, что уже сделано и что ещё надо сделать.
[17:12:20] <gds> (в других проектах не всё так хорошо с планированием -- прогресс, какой-никакой)
[17:14:28] <gds> а почему ви таки спрашиваете?
[17:21:02] <f[x]> я в перманентном фоновом поиске способа генерации сайта (из человеческого синтаксиса в пачку html) (с надстройкой для проверки валидности кросслинков), генерации документации (с логической разбивкой на страницы, индексом, вставкой кода из файлов итп). т.е. в основе лежит простая разметка для которой можно написать тулзу и перегнав в ast делать с контентом разные перечисленные выше вещи. пока что вариант это simple_markup.ml
[17:23:08] <gds> а, я тоже был в поиске. и тоже с такими же целями.
в результате решил делать с контентом вещи не только из окамла, а из самого языка. то есть, получается не просто разметка, а ещё вдобавок язык программирования, записываемый с этим же синтаксисом. у тебя -- проще, у меня -- универсальнее.
[17:24:09] <f[x]> может мне тоже такой способ подойдёт
[17:24:16] <f[x]> ты главное документацию пиши :)
[17:24:45] <f[x]> с другой стороны я так понял раз рекрсии в этом языке нет, то и интересных штук на нём особо не сделаешь?
[17:26:22] <gds> доку написал, надо доформатировать и выложить. на вики где-нибудь может?
[17:26:57] <f[x]> доку написал в самом языке? ;)
[17:27:37] <f[x]> мне не спешно, но интересно
[17:28:49] <gds> рекурсии нет, но есть fold по спискам списков. для практических целей -- всё разумное делается. если сходу видишь какую-нибудь штуку, которая не делается без рекурсии, сообщи сразу же, чтобы я вовремя переобдумал концепции.
[17:29:14] <gds> дока, разумеется, в txt. потом перепишу :)
[17:30:26] gds вышел(а) из комнаты
[17:36:37] DangerMan вошёл(а) в комнату
[18:07:42] gds вошёл(а) в комнату
[18:27:50] ygrek вышел(а) из комнаты
[19:54:04] sceptic вышел(а) из комнаты
[19:57:13] sceptic вошёл(а) в комнату
[20:33:43] john вошёл(а) в комнату
[20:34:40] f[x] вышел(а) из комнаты
[20:53:53] DangerMan вышел(а) из комнаты
[21:09:08] john вышел(а) из комнаты
[22:16:54] john вошёл(а) в комнату
[22:20:44] Typhon вошёл(а) в комнату
[22:24:24] sceptic вышел(а) из комнаты
[22:27:26] sceptic вошёл(а) в комнату
[22:33:30] john вышел(а) из комнаты
[23:07:40] <sceptic> http://hades.name/blog/2009/05/23/the-git-parable-ru/
[23:09:52] <gds> почитать будет интересно. в ответ побояню: http://los-t.livejournal.com/tag/git+guts