Objective Caml - Среда, 14 марта 2012

Objective Caml

ocaml@conference.jabber.ru

Среда, 14 марта 2012< ^ >

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

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

GMT+4
[00:00:14] <ermine> так на каком языке надо скриптовать скриптик, который делает for i in paht; do md2html $i /newpath/(basename $i - .extension).html; done ?
[00:01:17] <gds> на баше проще.
[00:01:23] <gds> на sh -- тоже ок.
[00:02:11] <ermine> а где твой патриотизм?
[00:02:28] <gds> ой, сейчас поищу.
[00:03:27] <gds> о, да, точно, это на coq надо делать, а генерить в камло!
[00:03:55] <gds> а оттуда через ocaml-shell-dsl генерить в sh!
[00:05:43] <ermine> а вот как это делается в ocamlbuild - красиво, там отнимать расширение - path / file - ".ml"
[00:05:53] <ermine> не
[00:05:59] <ermine> -.-
[00:06:21] <ermine> file -.- ".ml" вроде
[00:06:50] ermine уже подзабыла
[00:06:51] <gds> однако, что я скажу.  проект с shell dsl -- это годно, хотя бы потому, что бывает нужно, а руками елозить -- либо надоест, либо будет некорректно.  мне шелл точно пригодится (хоть и не сейчас), поэтому буду дописывать по нужде.  да и сторонним людям дописать не сложно будет, будь желание.
[00:07:55] <ermine> gds: а годно на него ставить депендс в оазисе?
[00:09:17] <gds> ermine: не знаю, думай.  Если чо -- как "разовью" его, так может и релизну.  Тебя что волнует -- тарболы, репка, _oasis?
[00:11:41] <ermine> та я слегка поерничать из лесу вылезла
[00:12:04] <ermine> но вообще можно попробовать завязаться на всё экстремальное
[00:13:06] letrec вошёл(а) в комнату
[00:13:11] letrec вышел(а) из комнаты
[00:13:27] letrec вошёл(а) в комнату
[00:14:37] <ermine> и также начать юзать барбу
[00:15:54] <bobry> yeah!
[00:17:37] <gds> bobry: зря пеарили, теперь вам пипец.
[00:18:17] <bobry> почему?
[00:21:27] <gds> потому что загрызёт с этими вашими багами, которые есть, но которые я не контролирую.
[00:22:35] <bobry> так пусть
[00:24:05] <ermine> а там дока есть?
[00:24:14] <ermine> только не посылать в гуглдок
[00:25:06] <Kakadu> bobry: из меня перья выдерет, а из тебя воротник сделает
[00:25:23] <Kakadu> ermine: некоторая дока есть. а-ля ридме
[00:26:02] <ermine> ну ридми покатило бы наверное
[00:43:41] bobry готов выслушать любую критику :)
[00:43:42] <bobry> если что
[00:53:45] <gds> bobry: не "если что", у тебя вариантов нет.  вот, через 3..4 недели, предполагаю, будем новую софтину в дело вставлять.  ну и вот, представь.  а ридми специально не буду читать до тех пор, пока не придётся использовать барбру "на объекте", и всё будет в рамках дедлайна.  будет клёво!
[00:54:03] <bobry> :)
[00:54:17] <bobry> gds: ну я сам барбару запили в наши три проекта на камло
[00:54:22] <bobry> пока полет нормальный
[00:54:50] <gds> учитывая, что я за кодом не слежу вообще, меня скорее отзывы должны радовать, а они радуют.
[00:54:55] komar вышел(а) из комнаты
[00:55:51] <bobry> вроде еще никто не отзывался :)
[00:56:04] <gds> ты вот отзывался, это ок.
[00:59:45] dzhon вышел(а) из комнаты
[01:09:24] bobry вышел(а) из комнаты
[01:16:04] <ermine> уф
[01:16:11] <ermine> сгенерила я ваши хтмлы
[01:16:17] <ermine> но не покажу
[01:16:40] <ermine> завтра надо будет решить как засунуть в tyxml пляйн хтмл из строчек
[01:19:04] <ermine> а конфликт с фантомными типами решается только копипастой
[01:19:33] <ermine> в смысле дублированием кода для каждой группы типов
[01:20:41] ermine вышел(а) из комнаты
[01:31:01] <f[x]> > On a related note: My bachelor student Colin Benner almost got his LLVM backend for ocamlopt working and will be preparing a talk on his work for the OUD. Just in case you're interested. :-)
[02:04:59] Kakadu вышел(а) из комнаты
[03:12:20] vshender вышел(а) из комнаты
[03:25:52] Typhon вышел(а) из комнаты
[05:12:54] f[x] вышел(а) из комнаты: Computer went to sleep
[07:47:05] letrec вышел(а) из комнаты
[09:08:29] bobry вошёл(а) в комнату
[09:47:09] letrec вошёл(а) в комнату
[09:47:19] letrec вышел(а) из комнаты
[09:47:35] letrec вошёл(а) в комнату
[09:53:38] Kakadu вошёл(а) в комнату
[10:36:31] komar вошёл(а) в комнату
[10:37:00] superbobry вошёл(а) в комнату
[10:37:17] <superbobry> вах
[10:38:50] <superbobry> товарищи, вопрос на засыпку -- стоит ли связываться с ocamlnet если мне нужен только pop3 клиент?
[11:05:03] ermine вошёл(а) в комнату
[11:11:28] ftrvxmtrx вышел(а) из комнаты
[11:11:48] Kakadu вышел(а) из комнаты
[11:17:18] vshender вошёл(а) в комнату
[11:19:37] komar вышел(а) из комнаты
[11:24:05] <f[x]> superbobry: а с чем ты ещё можешь связаться если нужен pop3? ну curl наверное
[11:24:35] <superbobry> ну есть вариант навелосипедить его на э-ге
[11:24:46] <superbobry> или вынести в камло в виде порта
[11:31:38] ftrvxmtrx вошёл(а) в комнату
[11:34:31] ftrvxmtrx вышел(а) из комнаты
[11:38:22] komar вошёл(а) в комнату
[11:40:09] ftrvxmtrx вошёл(а) в комнату
[11:41:29] ftrvxmtrx вышел(а) из комнаты
[11:46:31] ftrvxmtrx вошёл(а) в комнату
[11:48:26] ftrvxmtrx вышел(а) из комнаты
[11:51:04] ftrvxmtrx вошёл(а) в комнату
[11:53:03] ftrvxmtrx вошёл(а) в комнату
[11:53:08] ftrvxmtrx вышел(а) из комнаты
[11:53:12] ftrvxmtrx вошёл(а) в комнату
[11:53:20] ftrvxmtrx вышел(а) из комнаты
[11:55:15] ftrvxmtrx вышел(а) из комнаты
[11:56:29] ftrvxmtrx вошёл(а) в комнату
[12:12:01] letrec вышел(а) из комнаты
[12:29:08] <f[x]> one more - https://lwn.net/Articles/479653/
[12:48:00] ermine расстраивается - как же в tyxml впендюрить пляйн хтмл в статически типизированный хтмл
[12:55:01] komar вышел(а) из комнаты
[13:23:15] Typhon вошёл(а) в комнату
[13:31:14] shaggie вошёл(а) в комнату
[13:43:46] komar вошёл(а) в комнату
[14:44:04] <ermine> bobry: какой версии ocamlnet у вас в arch?
[14:44:43] <ermine> мне тут с гитхуба свалился странный патч для решения проблемы компиляции в arch, там в netdate видимо появилось еще одно поле в структуре даты
[14:45:19] <superbobry> видимо последней
[14:45:22] <superbobry> 3.5.1 чтоли
[14:46:04] <ermine> и тупой вопрос - как писать код для библиотеки разных версий, отличающихся набором полей в рекорде?
[14:47:10] <ermine> решение в лоб - требовать в оазисе конкретную версию и забивать на всё остальное
[14:47:31] vshender вышел(а) из комнаты
[14:48:41] <ermine> может ктонить знает shizeeg?
[14:56:52] gds вышел(а) из комнаты: Replaced by new connection
[14:56:53] gds вошёл(а) в комнату
[15:09:08] <ermine> хороший вариант - избавиться от зависимости от ocamlnet, если найти альтернативу для функции печати mail-style даты
[15:12:05] <superbobry> ermine, в extunix же было strftime?
[15:18:34] <ermine> было бы клево, если еще и с локалью
[15:18:50] <superbobry> так функции в libc есть
[15:24:05] <ermine> superbobry: ну это локаль юзера процесса, но вряд ли имеет смысл в сетях
[15:24:39] <ermine> а все время дергать setlocale перед вызовом strftime - хм
[15:24:50] <ermine> или даже три раза хм
[15:25:49] <ermine> setlocale разумеется нету в либле
[15:36:33] gds вышел(а) из комнаты: Replaced by new connection
[15:36:34] gds вошёл(а) в комнату
[15:42:15] vshender вошёл(а) в комнату
[15:46:25] letrec вошёл(а) в комнату
[15:46:31] letrec вышел(а) из комнаты
[15:46:46] letrec вошёл(а) в комнату
[16:23:54] komar вышел(а) из комнаты: Replaced by new connection
[16:23:54] komar вошёл(а) в комнату
[16:56:01] vshender вышел(а) из комнаты
[16:56:20] vshender вошёл(а) в комнату
[17:36:15] vshender вышел(а) из комнаты
[17:36:29] vshender вошёл(а) в комнату
[17:40:47] komar вышел(а) из комнаты
[17:42:03] Typhon вышел(а) из комнаты
[17:43:30] komar вошёл(а) в комнату
[17:44:14] ftrvxmtrx вошёл(а) в комнату
[18:03:12] superbobry вышел(а) из комнаты
[18:18:57] f[x] вышел(а) из комнаты
[18:41:04] f[x] вошёл(а) в комнату
[18:58:45] <gds> в #coq irc -- помогают.  проблему как рукой сняло.  только одна фатальная недоработка -- телепатии там нет, поэтому надо чётко формулировать вопрос :[
пока не понимаю, как подступиться к kademlia в coq, в основном из-за своей тупости, но задачу не выбросил из головы.
пока тренирую своё знание coq на простых примерах, некоторые из которых будут вполне применимы при разработке на окамле.
но моск не справляется.  с другой стороны, верхнее образование, которое я так и не получил, не помогло бы, меня подобным вещам не научили бы.
[19:15:57] <ermine> gds: ну на любую проблему надо наскакивать с разных сторон, пока она не продавится под ногами
[19:16:39] <ermine> мышление у нас ассоциативное, поэтому просто палюбому надо набирать базу ассоциаций
[19:25:47] <gds> ermine: ага, у меня-то точно ассоциативное.  вот и долбаюсь.
[19:28:48] <ermine> gds: да оно ассоциативное у всех людей по определению, а тупость - просто отсутствие нажитых ассоциаций
[19:29:56] <ermine> так что можешь не оправдываться, неучей :)
[19:41:50] f[x] вышел(а) из комнаты
[19:42:57] klapaucius вышел(а) из комнаты
[19:47:28] f[x] вошёл(а) в комнату
[19:52:49] <ermine> хде тифон, задать бы ему вопрос
[19:54:25] ermine думает, что лучше - подправить парсер маркдауна, чтобы жевал случай тифона, или подправить его маркдауны в вики, чтобы убрать случай тифона
[19:54:42] bobry вышел(а) из комнаты
[19:56:06] <komar> Ололо.
[19:56:09] <komar> Что за случай?
[19:56:44] bobry вошёл(а) в комнату
[19:58:58] f[x] вышел(а) из комнаты
[20:00:31] f[x] вошёл(а) в комнату
[20:18:14] klapaucius вошёл(а) в комнату
[20:34:58] dzhon вошёл(а) в комнату
[20:38:18] <gds> кто там говорил, что от композиции функций в окамле какой-то оверхед?  http://paste.in.ua/4006/
[20:41:01] Typhon вошёл(а) в комнату
[20:42:11] <dzhon> gds: кто такое мог сказать ? о_О
[20:43:54] f[x] вышел(а) из комнаты
[20:45:20] <gds> dzhon: ну, если честно, реально есть оверхед.  не знаю, во всех ли случаях, или компилятор иногда умеет оптимизировать это.
[20:46:40] f[x] вошёл(а) в комнату
[20:51:00] <ermine> Typhon: йо!
[20:51:18] <ermine> Typhon: ты на чем-нить тестил файлы в камловики?
[20:51:47] ermine дописала случай тифона в парсер... но все же интересно
[20:52:26] <Typhon> што? :-) не понял вопроса
[20:53:23] shaggie вышел(а) из комнаты
[20:55:24] <ermine> Typhon: вроде в спеке маркдауна говорится, что надо отделять код от текста пустой строкой, а в нескольких файлах камловики код просто сдвинут вправо, но не отделен от текста сверху пустой строкой
[20:55:46] <Typhon> а, ну гитхуб-флаворед-маркдаун показывает вроде хорошо
[20:55:59] <Typhon> а "спека маркдауна" — это та страница на сайте чувака? :)
[20:56:02] <ermine> ну я чуток напрягла моск и добавила одно слово в одном месте грамматики, понадеявшись, что не сломала всё остальное
[20:56:46] <ermine> осталось как-нить решить проблему с пляйн хтмлем
[20:57:13] <gds> ermine: можешь выдать текущее состояние проблемы с хтмл?
[20:57:20] <ermine> Typhon: ну да, а есть еще другая спека? :)
[20:59:22] <ermine> gds: текущее - если это инлайн, то обертка выпадает из генерируемого хтмла
[20:59:39] <ermine> а если блок, то тем хуже
[21:00:09] <ermine> инлайн - <sub>2</sub>, в результат просто 2 попадает
[21:00:32] <ermine> а блок - это таблица
[21:01:41] <ermine> для инлайна решение в лоб - делать хмл-подобную структуру и вручную конвертить тэги
[21:02:09] <ermine> для блоков пока не напрягала моск, и чота не хочется
[21:03:22] f[x] вышел(а) из комнаты
[21:06:01] f[x] вошёл(а) в комнату
[21:13:57] letrec вышел(а) из комнаты
[21:14:37] dzhon вышел(а) из комнаты: Replaced by new connection
[21:14:37] dzhon вошёл(а) в комнату
[21:15:55] <ermine> f[x]: я не смогу нагадить в камлунити - видимо у тебя сменился ssh печать
[21:18:26] <ermine> а, это у меня надо удалить в known_hosts
[21:27:05] <ermine> нагадила
[21:28:14] ermine полезла на camlunity.ru/w и видит фигу
[21:28:55] <ermine> чем бы генерить index.html
[21:30:17] <ermine> gds: можешь смотреть на camlunity.ru/w/Typing.html
[21:30:57] <gds> ermine: посмотрел, вроде грамотно.
[21:31:56] <ermine> и нету css
[21:32:03] <ermine> кто бы его написал
[21:35:15] ermine с интересом читает Res.html
[21:35:56] <ermine> я думала там про фришов res будет рассказ
[21:39:17] <ermine> шота в OCamlFAQ.html не все ссылки обработались
[21:39:26] <ermine> наверное опять случай Typhon'a
[21:47:19] <ermine> а, я кажись поняла почему в ссылку не превратилось
[21:47:31] <ermine> текст сдвинут вправо как для случая кода
[21:47:43] <ermine> Typhon: ты тестил и на чем?
[21:49:14] <ermine> вообще печаль полная
[21:49:45] <Typhon> если я и тестил где то, помимо гитхаба, то это M-x markdown-preview, который просто бинарь markdown дёргает
[21:51:26] <ermine> я просто не понимаю как процессить OCamlFAQ.md
[21:51:46] <ermine> там первый абзац выделен минусом, всё остальное сдвигом
[21:52:14] <ermine> посмотри на camlunity.ru/w/OCamlFAQ.html
[21:57:44] <ermine> бардак интересный
[21:57:46] <ermine> ладно
[21:59:36] vshender вышел(а) из комнаты
[22:00:53] <ermine> Typhon: а как тестить на гитхубе?
[22:01:11] <Typhon> написать и сохранить только если %)
[22:02:35] <ermine> у, его даже кто-то правил позавчера
[22:07:29] <ermine> мда, мой результат выглядит бледно на фоне достижений гитхуба
[22:10:32] <ermine> бага в обработке списков пунктов
[22:10:44] Typhon вышел(а) из комнаты
[22:11:18] Typhon вошёл(а) в комнату
[22:11:19] Typhon вышел(а) из комнаты
[22:13:13] <ermine> у, а вот гитхуб тоже не обрабатывает "од", если он не отделен от текста пустой строкой, как это видно в Typing.md на гитхубе
[22:13:23] <ermine> в конце файла
[22:13:40] <ermine> это чуток приподняло мне настроение
[22:15:57] <komar> Не баг же.
[22:16:22] <komar> У меня в текстайле так же.
[22:20:20] <ermine> с другой стороны, не могу представить себе нормальный текст, который в середине вдруг с левого края отступается на четыре пробела
[22:37:02] <ermine> поняла причину проблемы с ocamlfaq.md, ету проблему создало как раз мое решение для вышеописанной проблемы с неотделенным от текста кода
[22:37:05] <ermine> ну и попа
[22:48:19] ermine вышел(а) из комнаты
[22:49:31] vshender вошёл(а) в комнату
[23:12:47] dzhon вышел(а) из комнаты: Replaced by new connection
[23:12:47] dzhon вошёл(а) в комнату
[23:34:58] Typhon вошёл(а) в комнату
[23:40:54] <bobry> мда, вот это функциональщики пошли ..
[23:41:00] bobry только вернулся с spb hug
[23:43:35] <komar> Зефиров был?
[23:45:25] <gds> дада, интересно, он штангу дёргал?
и вообще, как чо было?
[23:46:21] <komar> Он штангу на хугах не дергает, он сидит на стуле, пиздит все выступление с докладчиком и нихуя не понятно.
[23:47:04] <gds> коварный зависимый тип.
[23:49:16] <bobry> не было зефирова
[23:49:27] <bobry> два из трех докладов вообще не понятно зачем и о чем
[23:49:42] <bobry> "мы написали проект на эрланге, потому что он круче явы и похапе"
[23:50:01] <bobry> "я написал три формочки на yesod'e -- template haskell это круто"
[23:50:05] <komar> Так и знал.
[23:50:07] <komar> Хуита.
[23:50:22] <bobry> komar: полнейшая, только доклад про авиатренажеры еще как то
[23:56:23] <gds> х-ь загнивает.
[23:57:57] <bobry> gds: да дело тут не в языке
[23:58:08] <gds> я понимаю :]
[23:58:17] <bobry> хотя мы с Kakadu знатно поржали от кол-ва слов монада в talk'e про yesod
[23:58:45] <bobry> "код на х-ле не нужно тестировать, если он компилируется -- он работает"
[23:58:45] dzhon вышел(а) из комнаты
[23:58:48] <bobry> fucking lawl
[23:58:53] dzhon вошёл(а) в комнату
[23:59:12] <gds> тримонадотрасформер твою комонаду!111
[23:59:23] <bobry> :))
[23:59:44] <bobry> я бы там про барбру рассказал, как она будет готова
[23:59:47] <bobry> попеарил камло