Objective Caml - Пятница, 24 декабря 2010

Objective Caml

ocaml@conference.jabber.ru

Пятница, 24 декабря 2010< ^ >

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

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

GMT+3
[00:42:10] <gds> на днях переезжаю на другую хатку -- ждите вику в оффлайне.  (меня вообще в последнее время не ждали бы -- все эти вещи, сумки, пакеты, компы, бардак, транспорт...)
[00:55:35] arhibot вышел(а) из комнаты
[01:05:05] komar вошёл(а) в комнату
[01:16:53] vshender вышел(а) из комнаты
[01:18:05] vshender вошёл(а) в комнату
[01:30:08] komar вышел(а) из комнаты
[01:41:10] ftrvxmtrx вышел(а) из комнаты
[01:41:24] ftrvxmtrx вошёл(а) в комнату
[01:56:21] ermine вышел(а) из комнаты
[02:25:01] vshender вышел(а) из комнаты
[03:50:14] zert вышел(а) из комнаты
[04:50:51] Typhon вышел(а) из комнаты
[07:21:50] iNode вышел(а) из комнаты
[08:09:15] iNode вошёл(а) в комнату
[08:31:52] vshender вошёл(а) в комнату
[09:22:01] adept вышел(а) из комнаты: Replaced by new connection
[09:31:00] ftrvxmtrx вышел(а) из комнаты
[09:31:14] ftrvxmtrx вошёл(а) в комнату
[10:32:13] serp256 вошёл(а) в комнату
[10:34:13] ftrvxmtrx вышел(а) из комнаты
[10:35:00] ftrvxmtrx вошёл(а) в комнату
[10:43:57] komar вошёл(а) в комнату
[11:17:16] zert вошёл(а) в комнату
[11:24:37] vshender вышел(а) из комнаты
[11:24:51] adept вошёл(а) в комнату
[12:06:11] komar вышел(а) из комнаты
[12:11:44] vshender вошёл(а) в комнату
[12:33:38] ffinder вошёл(а) в комнату
[12:36:44] Kakadu вошёл(а) в комнату
[13:02:28] ffinder вышел(а) из комнаты
[13:04:04] ermine вошёл(а) в комнату
[13:07:49] <f[x]> > Чтобы, глядя на код с кучей "open"-ов, быстро понять, откуда втащился тот или иной символ.
опция -annot у компиляторово генерит .annot файлы, вменяемые редакторы используют эту инфу чтобы показывать тип и место определения любой функции в коде
[13:10:17] gds вышел(а) из комнаты
[13:21:56] ftrvxmtrx вышел(а) из комнаты
[13:24:39] <f[x]> http://community.livejournal.com/ru_lambda/122414.html?thread=1829678#t1829678
[13:25:57] <adept> f[x]: спасибо!
[13:26:46] <f[x]> насчёт cabal install это точно godi, т.е. как бы похожие куски инфраструктуры есть, но они не универсально распостранены
[13:27:23] f[x] надеется что oasis станет более-менее универсальным, потому что таки да - разброд и шатание немного напрягает
[13:27:45] <f[x]> особенно на винде, автор каждой либы умудряется наступить на известные гшрабли как-нибудь по-особенному
[13:27:51] <adept> :)))
[13:29:23] <f[x]> а кстати, кто-то мне может объяснить нафига все используют вызов ocamlfind из myocamlbuild, вместо Findlib либы?
[13:30:37] <serp256> а ее туда хрен подключишь :-)
[13:31:30] <serp256> когда пускаешь ocamlbuild - он плагин сам компилит и никак не подсунешь ему чтобы он еще findlib туда подставлял сцука
[13:31:52] <f[x]> хм
[13:32:04] <f[x]> ну как костыль есть -ocamlc -ocamlopt
[13:32:15] <f[x]> но вообще да, понятно
[13:32:54] <serp256> в 3.12 появилась поддержка findlib в myocamlbuild, но....
[13:33:14] <serp256> добавился модуль Ocamlfind по моему ну или как-то так
[13:33:27] <serp256> но он опятьже ocamlfind пускает и парсит ответы
[13:33:42] <f[x]> мужики не подумали просто наверное
[13:33:50] <f[x]> скопировали решение с вики
[13:33:55] <serp256> не хочешь николя чтобы окамл зависил от окамлфайнда
[13:34:30] <serp256> так как окамлбуилд идет вместе с окамлом, то получаеца что и файндлиб должен идти вместе с окамлом если напрямую будет юзать
[13:34:34] <f[x]> а, это ж билд тайм зависимость
[13:34:36] <f[x]> угу
[13:34:49] <f[x]> безблагодатность
[13:34:59] <serp256> тут бы вопрос если бы заюзать механизм динамических плагинов
[13:35:15] <serp256> решился бы вопрос, но чего-то как-то никак
[13:35:22] <f[x]> какой забавный тролль в жж треде нарисовался, f# на mono, гг
[13:40:27] <adept> f[x]: "это не тролль, это орк" :)
[13:40:36] <f[x]> (c)
[13:41:27] <f[x]> т.е. он не специально троллит, а у него естественным образом получается
[13:42:05] f[x] кстати вчера на fsharp-встрече видел живого J-программиста!
[13:42:46] <f[x]> ну и N-ое кол-во питонщиков которых травил по мере сил
[13:43:19] <adept> f[x]: это кто это живой программист на J?
[13:44:41] <f[x]> если я правильно расслышал то он из zorallabs, то ли был, то ли и сейчас там
[13:45:09] <f[x]> а, у них даже на сайте упомянуто
[14:11:30] ermine пытается фолдить клозуры
[14:14:15] <ermine> adept: ты уже выучил adge?
[14:14:24] <adept> ermine: а это что?
[14:14:43] <ermine> adept: какой-то язык следующей парадигмы
[14:14:50] <adept> ermine: agda
[14:14:58] <ermine> а может и вру с названием
[14:14:58] <adept> dependent typing
[14:15:02] <ermine> ах да
[14:15:24] <ermine> adept: судя по всему, таки выучил
[14:16:00] f[x] тоже выучил название, козыряет при случае
[14:16:24] <f[x]> вероятность нарваться на собесеника который сможет поддержать разговор всё равно пренебрежимо мала
[14:17:52] <ermine> жаль его нет в портах
[14:19:13] <ermine> f[x]: че там форт, может лучше сбацать конфу по агде и учить язык по два слова в день?
[14:19:53] <ermine> а форт - дохлая латынь
[14:31:53] <adept> ermine: не, только названия слышал
[14:37:05] Kakadu вышел(а) из комнаты
[14:38:35] <ermine> блин, как в фолде же можно накапливать недокомплект аргументов
[14:41:26] <ermine> http://unit.aist.go.jp/cvs/Agda/tutorial/
[14:41:36] <ermine> можно начинать новую жизнь в новом году
[14:42:39] <ermine> ну и оглавленьице
[14:43:11] komar вошёл(а) в комнату
[14:48:21] komar вышел(а) из комнаты
[15:11:24] Kakadu вошёл(а) в комнату
[15:16:44] <adept> ermine: а что такое недокомплект аргументов?
[15:33:48] <ermine> adept: fun k -> f k, когда у f сигнатура требует еще аргументов, а я хочу в фолде скомпоновать много (f (f (f (f (f ..))))), где f сами имеют разные типы последнего своего аргумента (или даже его отсутствие)
[15:33:59] <ermine> без фолда построить такое угребище можно
[15:34:54] <adept> ermine: эээ. а что у тебя тут функция, которой ты фолдишь, а что - список?
[15:35:48] <ermine>   print_endline (format
                   (lit "qwe " %int %lit " " %int %lit " abc " %string %bool %nl)
                   10 20 "mama" true)
[15:36:03] <ermine> adept: ну ты видел вчерашнее мое троллство в хаскеле про принтф
[15:36:23] <ermine> вот этот формат хочу завернуть теперь в фолд, чтобы строить из списка токенов
[15:39:17] <ermine> чота озарения не хватает
[15:43:22] <adept> ermine: сорри, ты в материали и разговариваешь полуфразами, а я не в материале и мне полуфраз не хватает
[15:45:31] <f[x]> обычное дело :)
[15:48:01] <ermine> а куда бы пастбинить?
[15:50:26] <ermine> не мудрствуя лукаво
[15:50:40] <ermine> http://yo.jabber.ru/~ermine/a.ml
[15:56:49] <ermine> наверное надо избавиться от библиотечного фолда и чота свое наваять
[16:41:33] ftrvxmtrx вошёл(а) в комнату
[17:53:32] Kakadu вышел(а) из комнаты
[18:20:37] iNode вышел(а) из комнаты
[19:02:33] ftrvxmtrx вышел(а) из комнаты
[19:07:54] ermine бродит в потемках с вытянутыми вперед руками вокруг замысловатого фолдинга
[19:32:16] serp256 вышел(а) из комнаты
[20:05:36] iNode вошёл(а) в комнату
[20:41:11] ftrvxmtrx вошёл(а) в комнату
[21:33:48] Typhon вошёл(а) в комнату
[21:53:26] Kakadu вошёл(а) в комнату
[22:29:42] Typhon вышел(а) из комнаты: Replaced by new connection
[22:29:45] Typhon вошёл(а) в комнату
[22:55:58] Typhon вышел(а) из комнаты: Replaced by new connection
[22:56:01] Typhon вошёл(а) в комнату
[22:56:19] arhibot вошёл(а) в комнату
[22:58:14] ygrek вошёл(а) в комнату
[23:11:02] <ygrek> а кто сколько видит сообщений в треде wrapping c++? я вижу 2, а в гугль группе вижу ещё одно которое мне на почту не пришло, странно
[23:13:43] ygrek вышел(а) из комнаты
[23:13:45] ygrek вошёл(а) в комнату
[23:32:07] serp256 вошёл(а) в комнату
[23:58:10] arhibot вышел(а) из комнаты