Objective Caml - Вторник, 13 марта 2012

Objective Caml

ocaml@conference.jabber.ru

Вторник, 13 марта 2012< ^ >

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

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

GMT+4
[00:01:15] shaggie вышел(а) из комнаты
[00:34:59] vshender вошёл(а) в комнату
[00:42:45] ftrvxmtrx вошёл(а) в комнату
[01:18:48] komar вышел(а) из комнаты
[01:19:05] letrec вошёл(а) в комнату
[01:49:41] Kakadu вышел(а) из комнаты
[01:52:08] Typhon вошёл(а) в комнату
[01:52:30] dzhon вышел(а) из комнаты
[02:11:09] letrec вышел(а) из комнаты
[02:21:12] gds вышел(а) из комнаты
[03:02:36] tilarids вышел(а) из комнаты
[03:28:22] vshender вышел(а) из комнаты
[07:08:54] Typhon вышел(а) из комнаты
[09:05:09] bobry вошёл(а) в комнату
[09:15:43] bobry вышел(а) из комнаты
[10:11:15] superbobry вошёл(а) в комнату
[11:21:13] ftrvxmtrx вышел(а) из комнаты
[11:26:13] tilarids вошёл(а) в комнату
[11:31:51] ftrvxmtrx вошёл(а) в комнату
[11:35:35] ermine вошёл(а) в комнату
[11:37:44] ftrvxmtrx вышел(а) из комнаты
[11:39:52] komar вошёл(а) в комнату
[11:53:25] ftrvxmtrx вошёл(а) в комнату
[12:07:22] Kakadu вошёл(а) в комнату
[12:08:38] vshender вошёл(а) в комнату
[12:26:09] <superbobry> кто нить собирал OASIS 0.3rc2?
[12:26:31] <superbobry> у меня там вот такая штука после 'make' пишется:
OCamlDarcsPrecommit
make: OCamlDarcsPrecommit: No such file or directory
make: [default] Error 1 (ignored)
[12:26:34] <superbobry> wtf?
[12:26:34] tilarids вышел(а) из комнаты
[12:26:53] <f[x]> superbobry: трц пацаны собирают из git'а
[12:27:05] <f[x]> релизы с багами для слабаков
[12:29:59] <superbobry> там же darcs? :)
[12:30:32] <superbobry> Kakadu, go? http://spbhug.folding-maps.org/wiki
[12:32:49] <Kakadu> superbobry: ты хоть понял в каком чатике ты это указал? :)
[12:33:17] <superbobry> ага, какая разница та
[12:33:30] <superbobry> один из докладов ваще про erlang :)
[12:33:59] <Kakadu> итак, мне надо будет с 4 часов до 7 убить время
[12:34:11] <superbobry> а что в 4 дня?
[12:34:16] <Kakadu> пардон, с трех
[12:34:23] <Kakadu> в 3:15 кончается пара
[12:34:31] <superbobry> в петергофе?
[12:34:35] <Kakadu> не, на ваське
[12:34:49] <superbobry> f[x]: у меня и в версии из даркса такая же ошибка, гм
[12:36:35] <Kakadu> короче очень заманчиво
[12:36:48] <Kakadu> а где офис яндекса ты знаещь?
[12:37:03] <superbobry> один раз там был, ехать на автобусе от пл. Ленина
[12:37:24] <superbobry> даешь доклад про камло на SPbHUG :D
[12:37:35] <superbobry> там вроде пишут шо можно про любой язык вещать
[12:38:44] <Kakadu> у меня и так 28 конфа. мне пока не до этого
[12:41:15] shaggie вошёл(а) в комнату
[12:42:36] <f[x]> superbobry: ну тогда хз
[12:43:28] Typhon вошёл(а) в комнату
[13:11:39] tilarids вошёл(а) в комнату
[13:59:39] gds вошёл(а) в комнату
[14:09:58] <superbobry> Kakadu, ./brb.byte run ./configure --enable-foo
[14:45:21] vshender вышел(а) из комнаты
[14:47:16] vshender вошёл(а) в комнату
[14:53:01] <Kakadu> superbobry: и чо?
[14:53:33] <superbobry> так баг был -- вот чо :)
[14:54:47] <Kakadu> $ ./brb.byte run ocamlfind list
I: Running command "list ocamlfind"
E: Command "list ocamlfind" not found (terminated with exit code 127)
[14:55:10] <Kakadu> я понимаю что надо в кавычках писать, но то что сейчас он такое репортит как-то странно
[14:55:27] <Kakadu> и у меня свежая версия
[15:06:49] vshender вышел(а) из комнаты
[15:08:54] vshender вошёл(а) в комнату
[15:09:18] letrec вошёл(а) в комнату
[15:13:24] vshender вышел(а) из комнаты
[15:15:36] vshender вошёл(а) в комнату
[15:16:10] vshender вышел(а) из комнаты
[15:17:05] vshender вошёл(а) в комнату
[15:20:21] vshender вышел(а) из комнаты
[15:20:34] vshender вошёл(а) в комнату
[15:21:10] vshender вышел(а) из комнаты
[15:21:55] vshender вошёл(а) в комнату
[15:22:12] vshender вышел(а) из комнаты
[15:23:17] vshender вошёл(а) в комнату
[15:25:00] vshender вышел(а) из комнаты
[15:26:56] vshender вошёл(а) в комнату
[15:28:00] <Kakadu> gds: http://spbhug.folding-maps.org/wiki/Coq слайды и упражнения про coq от Кирпичева если надо
[15:30:40] <gds> Kakadu: благодарю.  Сколько его жыжыцу читаю -- не видел, чтобы он про это дело писал.  Скрытный.
[15:31:08] <Kakadu> а жжца у  него _darkus_ ?
[15:31:19] <gds> "antilamer"
[15:34:12] <Kakadu> что-то он всё про реаллайф пишет
[15:35:52] <Typhon> про политоту даже, что ещё хуже :(
[15:36:08] vshender вышел(а) из комнаты
[15:36:35] vshender вошёл(а) в комнату
[15:39:17] <gds> про реаллайф ещё ничо, а вот политота -- пичалька.
но, может, смирится с политической обстановкой или сядет на трактор, может попустит его.
[15:39:38] vshender вышел(а) из комнаты
[15:40:47] vshender вошёл(а) в комнату
[15:47:09] vshender вышел(а) из комнаты
[15:48:33] Kakadu вышел(а) из комнаты
[15:52:53] Kakadu вошёл(а) в комнату
[15:53:14] <tilarids> кстати, раз я уже здесь. Под веб на окамле тут пишут? Я правильно в сторону ocsigen смотрю?
[15:53:47] <Kakadu> прально
[15:55:55] <tilarids> хорошо. Будем надеяться, мне понравится
[15:56:33] <tilarids> а для сборки что правильно юзать? Как я понимаю, сборка - это одна из самых больных тем в камлесообществе
[15:56:50] <Kakadu> оазис
[15:57:06] <Kakadu> но когда я ковырял оксиген там была сборка без оазиса
[15:57:45] <Kakadu> tilarids: но если ты хочешь оазис и генерить исходные файлы при компиляции, то тебе надо кунг-фу которым я не владею
[15:58:46] <tilarids> ок, посмотрим. Если у оксигена какой-то свой подход к сборке, то им и воспользуюсь
[16:04:52] <letrec> tilarids: оно ещё нормально ставится из godi
[16:05:50] superbobry вышел(а) из комнаты
[16:09:29] Kakadu вышел(а) из комнаты: Replaced by new connection
[16:09:29] Kakadu вошёл(а) в комнату
[16:10:55] <tilarids> сам оксиген? У меня он вроде в ебилдах есть
[16:11:41] <tilarids> меня больше интересовал вопрос сборки проектов с оксигеном
[16:13:50] <Kakadu> можно посмотреть на примеры в дарксе
[16:14:14] <f[x]> tilarids: ты не обольщайся - тут сплошные теоретики
[16:14:46] <f[x]> хотя komar вроде щупал ocsigen руками
[16:16:21] <tilarids> f[x], мне начальное приближение нужно, а дальше я уже методом наискорейшего спуска найду наилучшее для меня решение
[16:17:08] superbobry вошёл(а) в комнату
[16:17:30] <superbobry> даешь рецепт для оксигена!
[16:20:41] <Kakadu> ну зделайте, что
[16:20:51] <Kakadu> отпиарь tilardisy барбру
[16:21:00] <Kakadu> сделайте*
[16:21:08] Kakadu совсем русский забыл ТТ
[16:23:04] <tilarids> надо менять ник, никто не запоминает, как он пишется
[16:23:09] <tilarids> к тому же он и так ничего не означает
[16:24:05] <superbobry> да, я тоже буквы местами путал по началу :)
[16:26:16] <Kakadu> люди, а это плохо если я не помню почему у меня такой ник?
[16:26:27] <superbobry> лол
[16:30:49] <ermine> блин, хтмлизация через tyxml - занятие загадочное
[16:31:01] <Kakadu> почему?
[16:32:30] <ermine> когда пытаешься в рекурсивном фолде завернуть всё что лежало под рукой в элемент хтмла - жуешь кактус "строгой типизации хтмла"
[16:33:33] <ermine> интересно, как в рантайме узнать, может быть вон этот эелмент чилдом другого или нет
[16:33:33] <Kakadu> у меня приятель писал расширение синтаксиса, где для таких алгебраческих типов генерятся функции фолда, маппинга и прочая
[16:33:51] <ermine> имея на руках фантомные типы
[16:34:08] <Kakadu> может в рантайме не надо. Камло же
[16:35:27] <ermine> Kakadu: а как в рантайме узнать, может ли <a/> быть внутри <span/> или нет?
[16:36:04] <ermine> я тут дошла до хтмлизации марка дауна и теперь сама сползаю в глубокий даун
[16:36:05] <Kakadu> не нужно узнавать в рантайме
[16:36:39] <Kakadu> а, я понял что тебе надо
[16:37:41] <ermine> ну да, мне надо чтобы код хтмлизации скомпилился :)
[16:38:19] <ermine> или :(
[16:39:56] <Kakadu> я не смогу сейчас над этим подумать
[16:41:41] <ermine> пиши диплом
[16:41:51] <Kakadu> сейчас я пишу в латехе реферат
[16:41:54] <ermine> а то скоро будет атататата!
[16:42:04] <Kakadu> перегоняю джавюшку в текст
[16:42:14] <Kakadu> а через 20 минут митинг по диплому
[16:42:48] <ermine> про что реферат?
[16:43:03] <Kakadu> Нейросети и нечеткая логика
[16:44:04] <ermine> про нечеткие множества знаю, про нечеткую логику - нет, хотя подоздреваю что она существует
[16:45:03] <ermine> как-то хотела припахать к делу FANN, но так и не дошли лапки
[16:49:04] Kakadu вышел(а) из комнаты: Replaced by new connection
[16:49:04] Kakadu вошёл(а) в комнату
[16:59:32] tilarids вышел(а) из комнаты
[16:59:59] tilarids вошёл(а) в комнату
[17:09:40] shaggie вышел(а) из комнаты
[17:11:06] shaggie вошёл(а) в комнату
[17:37:18] Typhon вышел(а) из комнаты: Replaced by new connection
[17:37:38] Typhon вошёл(а) в комнату
[18:02:12] <gds> ви таки только поглядите на последние записи -- http://antilamer.livejournal.com/ -- google alerts detected :)
[18:03:28] <superbobry> gds: эт на какие?
[18:03:32] <superbobry> eff?
[18:03:38] <gds> и ещё две
[18:03:46] <superbobry> АФТУ?
[18:04:01] <gds> _не палетота_
[18:04:08] <superbobry> ах :)
[18:15:20] <superbobry> Kakadu, зарегаешь барбару на forge?
[18:17:14] <superbobry> вуху https://github.com/OCamlPro/typerex/commit/c0e5a9f6f390adabc8488ade41a9b7467d754624
[18:21:25] <gds> а тут -- только одна из моих пожелалок.  сдаю :[
[18:28:47] superbobry вышел(а) из комнаты
[18:29:19] <ermine> gds: что сдаешь?
[18:29:57] <gds> позиции багрепортёра.
[18:36:11] <Kakadu> superbobry: напомни чтобы я это сделал
[18:40:29] Typhon вышел(а) из комнаты: Replaced by new connection
[18:40:48] Typhon вошёл(а) в комнату
[18:42:38] Typhon вышел(а) из комнаты
[19:19:21] tilarids вышел(а) из комнаты: offline
[19:28:35] <f[x]> таки следующее камло будет 4.00
[19:28:48] tilarids вошёл(а) в комнату
[19:30:09] <gds> f[x]: выдай терм, являющийся доказательством утверждения!
[19:30:45] <Kakadu> айда догонять файрфокс
[19:33:41] <ermine> Kakadu: файрфокс небось пишут не нищие энтузиасты, а индусы за приличные деньги
[19:34:52] <ftrvxmtrx> http://caml.inria.fr/cgi-bin/viewvc.cgi/ocaml/version/
[19:34:52] <gds> у нищих емаксеров уже 23ая версия, это не показатель.
[19:34:56] <ftrvxmtrx> тут доказательство
[19:36:24] <gds> увидел, впечатлился.
[19:37:30] <ftrvxmtrx> судя по http://caml.inria.fr/mantis/roadmap_page.php остался один баг до релиза :)
[19:38:17] <gds> roadmap?  вообще шок.
[19:38:30] <ermine> ура французским индусам!
[19:39:30] ermine подергала CWN, а там фига
[19:41:03] <ermine> gds: а ты успел выучить все фичи 3.12.x, чтобы перейди к новой версии?
[19:41:28] <gds> ermine: а что их там "учить".
[19:42:01] <ermine> изучить и широко использовать
[19:43:24] <gds> да вроде достаточно широко использую там, где нужны.  Но не везде они нужны.
[19:43:58] <gds> кто бы мне с coq помог, вот что больше волнует.  новую версию камла я как-то переживу, спокоен.
[19:44:14] Kakadu вышел(а) из комнаты
[19:46:30] <ermine> напиши аффтарам coq
[20:30:04] dzhon вошёл(а) в комнату
[20:39:20] Kakadu вошёл(а) в комнату
[20:59:26] <ermine> кто бы писал код за меня
[21:38:05] ftrvxmtrx вышел(а) из комнаты
[21:46:35] Typhon вошёл(а) в комнату
[21:58:03] shaggie вышел(а) из комнаты
[21:58:11] bobry вошёл(а) в комнату
[22:01:53] <Kakadu> что-то мне время не нравится. http://paste.in.ua/3998/
[22:07:30] ermine сгенерила первый хтмл из Res.md в камловики и боязливо смотрт на него в броузере
[22:09:13] tilarids вышел(а) из комнаты
[22:10:36] <ermine> Kakadu: там у тебя сплошные какаду летают!
[22:17:02] <ermine> f[x]: куда на camlunity.ru можно нагадить этими хтмлями?
[22:17:14] <f[x]> ermine: git
[22:17:25] <ermine> перегенеривать видимо часто буду по мере подправления кода
[22:17:28] <f[x]> или в swap по rsync'у
[22:17:46] <f[x]> ну если это полезныйф контент то лучше в git
[22:17:54] <f[x]> ну и что что часто
[22:18:49] <ermine> это камловики
[22:19:07] <ermine> ну точнее хтмл от kamlo_wiki/*.md
[22:19:49] <ermine> проще в git camlunity в отдельный каталог нагадить :)
[22:19:49] <f[x]> отлично, у нас будет цивильная камловики?
[22:19:55] <f[x]> ermine: ну да
[22:20:34] <ermine> да я даже хз насколько цивильно у меня получилось, но уже хочется нагадить
[22:21:37] <ermine> пошла искать у себя эту репу и создавать каталочег
[22:22:03] <f[x]> git@camlunity.ru:camlunity.git
[22:22:14] f[x] afk 1h
[22:22:56] <ermine> Typhon: как назвать этот самый каталочег?
[22:23:22] <ermine> f[x]: да я уже нашла нужную репу у себя именно с git@... :)
[22:25:03] <ermine> Typhon: не спать!
[22:26:39] <Typhon> а, какой каталог? %)
[22:26:57] <Typhon> public, чо
[22:27:21] vshender вошёл(а) в комнату
[22:28:16] <ermine> не
[22:28:24] <ermine> я пока создала "k"
[22:30:05] <ermine> Typhon: имхо http://camlunity.ru/public/res.html - это не рульный урль
[22:30:37] <Typhon> а, это наружу торчит, ну тогда да, k круто
[22:30:43] <Typhon> или w
[22:33:15] <ermine> ну давай w
[22:34:33] <bobry> у меня не открывается :(
[22:35:04] <ermine> ну надо бы еще сгенерить хтмлы
[22:35:08] ftrvxmtrx вошёл(а) в комнату
[22:35:52] <ermine> и иметь соображение как заюзать функцию шелла basename в цикле for
[22:38:06] <ermine> и еще какую функцию бы заюзать, чтобы оторвать .md
[22:38:11] <ermine> от имени файла
[22:42:49] <Typhon> echo "res.md" | cut -d. -f1
[22:43:44] <Typhon> а, или вот чуваки рекомендуют http://stackoverflow.com/a/965072
[23:01:46] <bobry> ftrvxmtrx: у тебя в typerex checksum не сходится, поправишь?
[23:03:20] <ermine> Typhon: клево, надо закопать полезную ссылку
[23:03:22] <ftrvxmtrx> прикольно, они видимо тарбол два раза делали
[23:05:00] ermine напоролась на недочет в своей генерилке хтмля, так что праздник пока отклазывается
[23:07:41] f[x] вошёл(а) в комнату
[23:17:25] letrec вышел(а) из комнаты
[23:46:28] <gds> ermine: на самом деле, самая полезная ссылка по шеллу -- http://pubs.opengroup.org/onlinepubs/009695399/utilities/xcu_chap02.html ( f[x] показал).
[23:49:23] <ermine> и что там советуют по поводу отгрызания расширения?
[23:49:58] ermine расстраивается тут из-за конфликтов типов [> ...], [< ...]
[23:50:35] <gds> там советуют по поводу отгрызания расширения.
[23:52:00] ermine закопала и эту ссылку
[23:53:11] <ermine> gds: а еще у меня в закромах была ссылка на твой же пост :)
[23:53:32] <ermine> про шеллы и программераж
[23:53:38] <ermine> пост я так и не прочитала
[23:56:05] <gds> ermine: пост -- если именно _кодить_ на баше.  Это печально, поэтому лучше не кодить (я так и предупреждал в посте).  А вот на ocaml-shell-dsl -- вполне можно таки и покодить.
[23:59:15] <ermine> хм