Objective Caml - Вторник, 14 февраля 2012

Objective Caml

ocaml@conference.jabber.ru

Вторник, 14 февраля 2012< ^ >

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

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

GMT+4
[00:01:55] Typhon вышел(а) из комнаты
[00:05:29] Typhon вошёл(а) в комнату
[00:27:17] Typhon вышел(а) из комнаты
[00:33:17] gds вышел(а) из комнаты
[00:33:22] gds вошёл(а) в комнату
[00:37:21] ftrvxmtrx вошёл(а) в комнату
[00:40:00] <gds> bobry: поздравляю.  Покажи сам рецепт, интересно.
[00:41:12] <bobry> gds: давай я еще сегодня-завтра это дело поковыряю а потом уже покажу?
[00:41:21] <bobry> пока очень сыро
[00:45:06] <gds> а, я-то думал, что уже доковырял.  Это не к спеху.  Покажи более-менее окончательный вариант, как определишься/додумаешь его.
[00:57:21] Typhon вошёл(а) в комнату
[00:59:02] <bobry> окидоки
[00:59:10] Typhon вошёл(а) в комнату
[01:18:20] Kakadu вышел(а) из комнаты
[01:27:06] Typhon вышел(а) из комнаты
[02:01:50] <bobry> вот бы мне какую нить граф либу полегче ocamlgraph, не хочется велосипедить свой toposort для Requires
[02:04:28] <gds> недавно говнокодил подобное, но с учётом кадастра.  навряд ли пригодится, но http://paste.in.ua/3867/
[02:11:36] bobry вышел(а) из комнаты
[03:33:29] letrec вошёл(а) в комнату
[03:36:21] ftrvxmtrx вышел(а) из комнаты
[03:38:12] ftrvxmtrx вошёл(а) в комнату
[03:39:44] ftrvxmtrx вышел(а) из комнаты
[03:41:26] ftrvxmtrx вошёл(а) в комнату
[03:41:48] ftrvxmtrx вышел(а) из комнаты
[03:43:26] ftrvxmtrx вошёл(а) в комнату
[03:55:44] f[x] вышел(а) из комнаты: Computer went to sleep
[04:11:31] dzhon вышел(а) из комнаты
[04:46:39] letrec вышел(а) из комнаты
[05:45:47] ftrvxmtrx вышел(а) из комнаты
[05:47:02] ftrvxmtrx вошёл(а) в комнату
[05:47:58] ftrvxmtrx вышел(а) из комнаты
[05:50:42] ftrvxmtrx вошёл(а) в комнату
[07:38:23] ermine вошёл(а) в комнату
[09:22:02] dzhon вошёл(а) в комнату
[09:56:16] bobry вошёл(а) в комнату
[10:12:31] <ermine> gds: plasmafs - годная штука?
[10:12:41] <ermine> by герд столпман
[10:27:38] bobry вышел(а) из комнаты
[10:50:58] dzhon вышел(а) из комнаты: Replaced by new connection
[10:50:58] dzhon вошёл(а) в комнату
[11:38:13] superbobry вошёл(а) в комнату
[12:02:50] ftrvxmtrx вышел(а) из комнаты
[12:18:45] Kakadu вошёл(а) в комнату
[12:24:39] Typhon вышел(а) из комнаты
[12:38:25] dzhon вышел(а) из комнаты
[13:32:01] ftrvxmtrx вошёл(а) в комнату
[13:35:49] <Kakadu> С++ доставляет своей наглостью. Он не падает! http://codepad.org/Yoi7tQmh
[13:36:22] <superbobry> Kakadu, как это не падает?
[13:36:44] <Kakadu> а вот так
[13:37:12] <superbobry> не понимаю как это работает
[13:37:41] <Kakadu> в #dotnet говорят что доступ к this не нужен, потому и не падает
[13:40:51] <ftrvxmtrx> всё правильно говорят
[13:48:50] Typhon вошёл(а) в комнату
[14:07:27] dzhon вошёл(а) в комнату
[14:15:42] shaggie вошёл(а) в комнату
[14:31:33] <gds> ermine: не знаю, не щупал.  кое-что там не понравилось, вроде синхронность.
[14:36:40] <ermine> gds: а в теории мапредуси шаришь? там всё сложно и печально?
[14:39:09] <gds> а чо там шарить, всё тупо.  в случаях, когда оно применимо, конечно.
кстати, гердушко опубликовал в последних изменениях "мегакомбинатор", штук 10 аргументов.  для полного понимания map-reduce достаточно изучить его тип.  (хотя он делает чуть более общую штуку, этот комбинатор.)
[14:42:47] <ermine> как всё-таки всё сложно и сиюминутно
[14:44:54] komar вышел(а) из комнаты
[14:45:00] komar вошёл(а) в комнату
[15:08:40] klapaucius вышел(а) из комнаты
[15:11:10] komar вышел(а) из комнаты
[15:11:14] komar вошёл(а) в комнату
[15:40:36] dzhon вышел(а) из комнаты: Replaced by new connection
[15:40:36] dzhon вошёл(а) в комнату
[16:02:00] superbobry думает о talk про камло на ADD :)
[16:03:54] <Kakadu> superbobry: эта фраза требует пояснений
[16:05:42] <superbobry> пояснений пока нет -- коллега сильно уговаривает придумать какой нибудь мини talk про функциональщину
[16:05:47] <superbobry> чтобы рассказать вот здесь http://www.addconf.ru/
[16:07:28] <Kakadu> не грузится
[16:07:33] <superbobry> правда пока не очень понятно зачем это ..
[16:09:17] letrec вошёл(а) в комнату
[17:05:29] Typhon вышел(а) из комнаты: Replaced by new connection
[17:05:49] Typhon вошёл(а) в комнату
[17:06:25] Typhon вышел(а) из комнаты: Replaced by new connection
[17:06:45] Typhon вошёл(а) в комнату
[17:15:26] dzhon вышел(а) из комнаты: Replaced by new connection
[17:15:26] dzhon вошёл(а) в комнату
[17:33:14] <gds> запилил протоколы в парвел.  https://bitbucket.org/gds/parvel/changeset/27b630ea0963 .  только локальный случай, так как в удалённом случае нужно как-то определиться с сериализацией, с допустимыми/разрешёнными/запрещёнными форматами.  например, для ненадёжного окружения надо будет явно запрещать маршал, для надёжного он вполне покатит.  ну и как-то декларировать "этот процесс принимает значение такого-то типа в json и xml, но предпочтителен json".
[17:50:25] <komar> gds: зерт отписался от меня и выпилился с псача.
[17:52:14] <gds> у меня была обратная история: покритиковал в жыжыцэ саксаульные меньшинства и от меня отписался один педераст.
[17:54:05] <Kakadu> gds: круто
[17:55:21] <komar> Запиливайся в псач.
[17:55:23] <komar> Будешь троллем.
[17:57:07] <superbobry> псач ваще какой то двач через xmpp
[17:57:14] <superbobry> или там теперь адекватные люди есть?
[17:57:30] <Kakadu> а что такое псач?
[17:59:55] <komar> psto.net
[17:59:56] <gds> komar: троллить неинтересно, я лет 10 назад из кащенки выпилился по этому поводу.  На хорошее трололо нужно время, ресурсы.  Есть более интересные дела.  Но про псачик подумаю.  Кстати, про псач -- если можешь, опиши (в жыжэкаменте или как-нибудь приватно; как бы не совсем в топик тут), что из моих требований (из последнего поста) он умеет, а что нет.  Лучше в каменте, чтобы инфа была доступна и другим жжфагам тоже.  То, что жаббер и rss умеет, я уже знаю.
[18:01:15] <superbobry> можно и здесь, я бы тоже почитал про бонусу псачика
[18:01:19] <superbobry> *бонусы
[18:02:13] <gds> superbobry: сделай там в клиенте "очистить формат", от тебя в последние пару дней сообщения идут с нехорошим шрифтом.
[18:02:31] <superbobry> увы не нашел где это можно сделать
[18:02:49] <superbobry> можно только "reformat incoming messages"
[18:03:32] <gds> а если послать сообщение, нажав в менюшках / на тулбарах что-то типа "очистить формат"?  в пиджине так.
[18:04:05] <superbobry> ага -- это и искал, не предусмотрено в iChat'e увы
[18:04:11] <superbobry> вернуться чтоли на adium
[18:06:05] <Kakadu> люди, а что всё-таки в камле с многопоточностью? а то я сейчас начну врать в #dotnet
[18:07:50] <gds> Kakadu: кое-что тут: https://github.com/camlunity/kamlo_wiki/blob/master/Threads.md
[18:08:07] <komar> gds: http://psto.net/oiiffe
[18:09:40] <Kakadu> gds: кажись там надо упоминать lwt хотьканибудь
[18:10:42] <f[x]> Threads.md это для тех кто в теме
[18:11:20] <Kakadu> да я понял, там сплошной FFI
[18:15:57] <gds> Kakadu: надо, конечно.  И прочее надо.
[18:16:33] <Kakadu> я просто сейчас с ужасом осознал, что в камле только зеленые потоки. Даже с лвт
[18:16:46] <gds> не только зелёные, есть и системные.
[18:17:46] <Kakadu> это c баттхертом сишечки?
[18:18:18] <superbobry> да не, Thread.create же
[18:18:25] <gds> Kakadu: нет.  Просто там ровно один камлопоток в каждый момент времени может выполняться.
а ты как думаешь, я парвел просто так пилю, от нечего делать?
[18:19:24] <gds> komar: требует регистрироваться для комментирования, поэтому спрошу тут.
люди, которые не в пстачике (просто жаббер-юзеры), могут подписаться на меня, если у меня есть аккаунт/бложек?  Вроде везде требует логиниться, "S @komar" не работает.  Так и задумано?
[18:20:34] <Kakadu> просто у меня тут вчера наступил мозговой кризис. Препрод сказал что норм работающих виртуалок с многопоточностью две: JVM и .NET. А сингулярити OS супер крутая, потому что они могут убедиться в том, что код хороший, и не гадит в адресное пространство другого потока, поэтому они экономят такты процессора при переключении потоков и получают работу на порядок быстрее чем в ядре линукс
[18:21:49] komar вышел(а) из комнаты
[18:21:52] komar вошёл(а) в комнату
[18:22:14] <komar> gds: это ты его поломал?
[18:22:29] <gds> komar: это я не зарегистрировался.
[18:22:36] komar вышел(а) из комнаты
[18:22:39] komar вошёл(а) в комнату
[18:22:49] <komar> Фигли он в оффлайне.
[18:23:13] <komar> gds: сделай register gds и все.
[18:23:26] <komar> Логиниться надо только для веб-интерфейса, который не нужен.
[18:23:54] <komar> А потом хоть S @komar, хоть HELP.
[18:24:00] <gds> либо совпадение, либо я поломал :[
[18:24:22] <komar> А, забыл очень важный момент: он на питоне.
[18:24:33] <superbobry> а что с питоном?
[18:24:53] <gds> обычно с питоном рантайм-ошибки.
[18:26:18] <superbobry> в камле рантайм ошибок не бывает? :)
[18:26:25] <superbobry> failwith "foobar"
[18:26:33] <komar> Везде бывают.
[18:26:35] <komar> Теоретически.
[18:26:41] <komar> На практике они бывают в питоне.
[18:27:29] <superbobry> suuuuure
[18:27:42] <komar> Сейчас покажу.
[18:27:45] <komar> Найду только.
[18:31:33] superbobry вышел(а) из комнаты
[18:32:43] superbobry вошёл(а) в комнату
[18:37:27] Kakadu вышел(а) из комнаты
[19:04:57] dzhon вышел(а) из комнаты
[19:21:42] ftrvxmtrx вышел(а) из комнаты
[19:25:56] <gds> по итогу, пстачик одобрен раввинатом.  если чо, присоединяйтесь.
[19:27:08] <superbobry> *want*
[19:27:15] <f[x]> ОХЩИ
[19:28:00] <gds> f[x]: я на тебя подписался тоже!111
[19:28:27] <f[x]> ккэм
[19:29:24] <gds> superbobry: http://gdsfh.dreamwidth.org/15449.html
[19:30:16] <superbobry> gds, я смотрю ты хорошо вписался
[19:30:46] <gds> superbobry: непонимэ
[19:31:18] <superbobry> ну, сдобрил матами первый пост -- все как полагается :)
[19:31:43] <superbobry> какой jid то у этого чуда?
[19:32:10] <superbobry> сори, вижу в твоем посте
[19:34:45] <gds> я пишу ровно так, как чувствую!
[19:34:54] <superbobry> :)
[19:47:29] Kakadu вошёл(а) в комнату
[19:51:30] letrec вышел(а) из комнаты
[20:03:42] superbobry вышел(а) из комнаты
[20:05:10] <ermine> Kakadu: как парсир поживает?
[20:38:56] <Kakadu> ermine: научник сказал написать что сделал
[20:42:11] <ermine> Kakadu: а что сделал? :)
[20:43:15] Typhon вышел(а) из комнаты
[21:01:01] <Kakadu> а у тебя гуглодок брауер читает?
[21:02:56] <Kakadu> я б ссылку на писанину дал
[21:08:56] bobry вошёл(а) в комнату
[21:29:29] <ermine> неа
[21:29:47] ermine в данный момент тоже пилит свой парсер
[21:37:29] Savik вошёл(а) в комнату
[21:40:07] Savik вышел(а) из комнаты: Disconnected: connection closed
[21:41:18] ftrvxmtrx вошёл(а) в комнату
[21:54:46] <bobry> а кто тут даркс умеет?
[21:54:58] komar зоныкалсо.
[21:55:17] <bobry> komar: а расскажи как мне коммит получить в виде патча?
[21:55:21] <bobry> я вообще даркс ни разу :)
[21:57:29] <komar> darcs send
[21:57:36] <komar> -o patch
[21:57:38] <komar> Вроде бы.
[22:01:38] <bobry> мда, даркс даже круче гита по невменяемости
[22:12:04] <Kakadu> даркс ещё может реверт делать не весь файло уеликом
[22:12:07] <Kakadu> целиком*
[22:12:23] <komar> Угу.
[22:12:28] <komar> Кусками спрашивать будет.
[22:12:32] <komar> Но это ерунда.
[22:12:39] <komar> Он умеет деать УНРЕВЕРТ.
[22:12:53] <komar> По крайней мере один раз пригодилось, кстати.
[22:29:03] klapaucius вошёл(а) в комнату
[22:34:54] bobry вышел(а) из комнаты
[22:35:11] bobry вошёл(а) в комнату
[22:48:54] bobry думает хранить граф зависимостей списком смежности в hashtbl, отговорите?
[22:49:36] <bobry> можно запихать в Array, но тогда не ясна ситуация со вставкой, плюс придется возвращать по мимо графа какую то key function : int -> vertex
[22:52:03] <gds> незачем отговаривать.  ну и hashtbl vs map, сам решай.
[22:54:52] <gds> хочу унаследовать класс, но при этом спрятать кое-какие методы.  не получается сходу: http://paste.in.ua/3873/ .  есть идеи?
[22:55:58] <bobry> гм, странная какая то штука
[23:05:01] <gds> хотя вот, по сообщению "public method cannot be hidden" как бы догадываюсь о том, что это "не положено".
[23:10:59] <bobry> интересно почему не положено
[23:11:03] <bobry> тредик бы чтоли по теме
[23:11:07] <bobry> с модулями так можно же
[23:15:40] shaggie вышел(а) из комнаты: Replaced by new connection
[23:15:40] shaggie вошёл(а) в комнату
[23:16:41] shaggie вышел(а) из комнаты
[23:17:33] shaggie вошёл(а) в комнату
[23:31:08] ermine вышел(а) из комнаты
[23:32:03] ftrvxmtrx вышел(а) из комнаты
[23:32:17] ftrvxmtrx вошёл(а) в комнату
[23:36:46] shaggie вышел(а) из комнаты
[23:54:34] <bobry> а можно как нить полиморфный set поиметь?
[23:54:38] <bobry> очень хочется ..
[23:54:43] <bobry> чтобы без Set.Make
[23:59:28] <Kakadu> батарейки или кора
[23:59:35] <bobry> none