Objective Caml - Пятница, 19 марта 2010

Objective Caml

ocaml@conference.jabber.ru

Пятница, 19 марта 2010< ^ >

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

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

GMT+3
[00:05:30] gds вышел(а) из комнаты
[00:15:22] <ermine> traffic rate limit - это антифлуд
[00:15:53] <ygrek> а флуд был из двух сообщений :)
[00:16:25] <ermine> ну слишком быстро одно за другим следовавших
[00:17:10] <sceptic> А на админов сервера антифлуд не распространяется?
[00:17:18] <ermine> пришлось попотеть над сульцей, чтобы не нарывался на traffic rate limit Ж)
[00:17:40] <ermine> распространяется
[00:17:52] <ermine> а то как еще проверишь, что он вдруг не отвалился
[00:18:12] <sceptic> второй JID :) JID простого смертного
[00:52:57] gds вошёл(а) в комнату
[00:55:44] <gds> вроде торрент слепил, поглядим на результат?  http://gdsfh.dyndns.org/gds/ov-src-201003181622.torrent
[00:57:29] <ermine> фильмы будем качать?
[00:58:33] <gds> угу, пр0н -- камло под мингвом.  такого вы ещё не видели.
[00:59:56] <Typhon> это отлично, а то мне пришлось закачку убить, а докачивать оно не захотело и сейчас только 60мб.
[01:00:03] <Typhon> btw, пиры не находятся в торренте
[01:01:05] <Typhon> на udp://tracker.openbittorrent.com:80/announce bittorrent оригинальный говорит invalid url чего то :(
[01:03:20] sceptic вышел(а) из комнаты
[01:03:26] sceptic вошёл(а) в комнату
[01:05:11] <gds> вроде нормальный урл.  про пиров -- понял, ща попробую пофиксить (заодно ребутну модем).
[01:07:49] <Typhon> урл подцепил, не знаю, чего сначала ругался.
[01:10:28] <Typhon> 1 пир есть, наверное ygrek :)
[01:12:28] ermine вышел(а) из комнаты
[01:12:41] <sceptic> а магнет кто-нибудь даст?
[01:13:01] <Typhon> magnet:?xt=urn:btih:PIMR3374T2QXQZJCQNQIJGC2VQKC3KNO ?
[01:13:36] gds вышел(а) из комнаты: Replaced by new connection
[01:13:39] gds вошёл(а) в комнату
[01:15:09] <sceptic> ага, нашло.
[01:16:23] <gds> Mainline + Azureus.  Есть контакт.
[01:16:34] <sceptic> vuze я.
[01:21:17] <gds> хехе, торренты клёвые.  но я ленился разбираться с созданием торрент-файлов, вот в чём дело.  теперь идея понятна, вопросов насчёт хостинга будет меньше.
[01:22:24] gds вышел(а) из комнаты
[02:36:33] ygrek пофиксил отправку неверной статистики на трекеры в mldonkey
[02:42:33] ygrek вышел(а) из комнаты
[02:49:28] <Typhon> make[1]: Leaving directory `/c/wrkdr/work-directory/src'
all overbld packages were installed.  fantastic!
[02:51:32] digital_curse вышел(а) из комнаты
[02:54:59] <Typhon> батарейки не поставились (так задумано, видимо)
[02:56:41] <Typhon> #require "lwt.unix" -- топлевел падает с ошибкой (может куда-то складывать баги найденные?)
[03:03:24] daapp вошёл(а) в комнату
[03:04:28] <Typhon> #require "netplex";;  -- не находит libpcre.dll, ругается. +
Cannot load required shared library dllpcre_stubs.
Reason: C:\wrkdr\ocaml\lib\site-lib\pcre\dllpcre_stubs.dll
[03:12:03] Typhon вышел(а) из комнаты
[03:18:05] Typhon вошёл(а) в комнату
[03:20:16] <Typhon> ну правильно: set-vars действуют на "сессию" в кмд. мне не очевидно было, я думал оно переменные среды правит надолго :)
[03:22:01] <Typhon> ткж, если в топлевеле сделать #list -- потом нельзя загрузить ни один пакет -- ругается на отсутствие json-wheel, требуемового json-static'ом.
[06:55:29] <Typhon> добавил json-wheel, произвел изменения необходимые, пересобрал. хочется, чтобы set-vars глобально меняли переменные окружения. ocamlforgey не дает изменения запушить (403 forbidden).
[07:24:30] <Typhon> какой к черту ocamlforge -- sourceforge, конечно.
[07:24:49] daapp вышел(а) из комнаты
[07:34:39] <Typhon> выложил bundle : http://acs.cuprum.ru/upload/json_wheel.bundle (вроде не накосячил :) )
[07:40:25] Typhon вышел(а) из комнаты
[08:05:22] gds вошёл(а) в комнату
[08:06:46] gds вышел(а) из комнаты
[08:29:05] daapp вошёл(а) в комнату
[09:01:26] gds вошёл(а) в комнату
[09:14:02] iNode вышел(а) из комнаты
[09:46:38] sceptic вышел(а) из комнаты
[09:48:49] <gds> Typhon: батарейки пока не в оверблде -- только вчера начал пробовать их, наткнулся на проблемы.
Насчёт членства в проекте -- пока не знаю, как всё обставить лучше.  Сейчас тупак: на камлофорже не было анонимного пулла (может и сейчас нет) и админ не хотел его включать (то есть, пулл только для зарегистрированных разработчиков).  По этой причине (и по причине скорости -- sf.net в три раза шустрее) я работаю с sf.net.  По идее, если всё делать в одной репке, и кидать эти же changeset'ы в другую репку, история не "разойдётся", будет одна ветка и там и там, и из этих соображений я решил работать с sf.net и иногда кидать изменения на forge.ocamlcore.org.
Не знаю, как правильно сделать.  Предлагаю использовать sf.net как основу, а я периодически буду делать (хоть на кроне даже) hg pull http://sf.net/.. && hg push ssh://hg.forge.ocamlcore.org/..
[09:50:07] <gds> то есть, предлагаю присоединиться к разработке на sf.net (там у них даже есть openid, может удобно будет).
[09:58:46] <gds> править переменные окружения глобально -- ссыкотно.  Лучше пока так оставить.  Прибить гвоздями при необходимости проще, чем отдирать прибитое (зависимость от того, что для любого процесса будет изменённое окружение -- не всегда ок).
[10:04:56] serp256 вошёл(а) в комнату
[10:20:25] ygrek вошёл(а) в комнату
[10:34:29] <gds> > #require "lwt.unix" -- топлевел падает с ошибкой
а у меня #list вообще не выдаёт lwt.unix -- только lwt.{,extra,preemptive,ssl}.
[10:36:15] <gds> и json-wheel везде хочет.  http://acs.cuprum.ru/upload/json_wheel.bundle не открывается (а чужим трудом воспользоваться ой как хочется!).
[11:23:55] valexey_ вошёл(а) в комнату
[11:30:39] ermine вошёл(а) в комнату
[11:44:54] Typhon вошёл(а) в комнату
[11:46:09] <Typhon> gds: а чтобы запулить на sf что нужно? я уж говорил, что с 403 меня посылают :(
[11:46:45] <Typhon> а бандл не открывается, потому что я дурак и с ссылкой ошибся: http://acs.cuprum.ru/upload/json-wheel.bundle вот правильная
[11:48:08] <Typhon> gds: с lwt.unix та же фигня -- его нет, но первый раз оно именно что упало.
[11:52:21] <gds> Typhon: для sf.net -- регистрация тамошняя нужна, и лично меня ссш пускает по поролю.  Но я там честно зарегистрировался, у меня там юзернейм есть.  Глянь в overbld/.hg/hgrc строку "default = ssh://gdsfh@overbld.hg.sourceforge.net/hgroot/overbld/overbld" -- вот я в эту репку пушить могу.  У тебя будет не "gdsfh", а что-то другое.
[11:53:42] <Typhon> ага, я там регистрируюсь как раз. с json-wheel пулить изменения или бандлом воспользуешься?
[11:54:01] <Typhon> а да, забыл сказать: оверблд -- круто! :)
[11:54:35] <valexey_> кстати, а что такое этот самый оверблдъ, и чем оно лучше нежели стандартный комплект для венды камловый?
[11:55:10] <Typhon> valexey_: это самодельный haskell platform практически ^_^ (если я правильно помню, что такое х-л пл-рм)
[11:56:33] <gds> Typhon: давай я кое-что ещё запушу на сорсфорж, сообщу, потом сделаешь pull+update+push (мы изменения в разных файлах будем делать, точно).
[11:56:46] <gds> не хочу мержы всякие делать :)  пока это не необходимо.
[11:57:17] <gds> > а да, забыл сказать: оверблд -- круто!
спасибо :)  будем работать.
[11:57:19] <Typhon> я packages-dep или как его там правил, если что (а остальное -- добавка)
[12:01:36] <Typhon> gds: а мне чтоб получить возможность пулить в репозиторий не надо заджойнится к проекту? или тебя не надо в правах указать мой юзернейм (как в каком-нибудь битбакете)
[12:02:31] <Typhon> блин, пушить, а не пулить, конечно.
[12:02:48] <gds> надо вроде.  давай юзернейм или оставь заявку на http://sf.net/projects/overbld/
[12:03:34] <gds> кстати, мержить придётся, т.к. мы независимо вносили изменения.  но не беда.
[12:05:53] <Typhon> gds: larhat (но вообще, мне говорят, что read/write на репо)
[12:08:03] <gds> интересно, а попробуй пушнуть, что будет?
[12:10:03] <Typhon> пока не могу, шота сорсфорж мой пароль не принимает. не могу найти, где у них на сайте ssh ключи забить можно?
[12:10:42] <gds> народ, если кого-то раздражает флуд, сообщите.
почему сразу в приватную беседу не переходим, потому что надеюсь, что тут знающие люди подскажут/предостерегут, если я что-то буду "админить" криво.  Ну, знаете, как при игре в карты сначала все играют с открытыми картами, учатся.
[12:12:23] <gds> https://sourceforge.net/account/ssh
[12:13:13] <Typhon> офигеть, а ссылок нет, очень спасибо :)
[12:14:33] <gds> account -> services -> "Edit SSH Keys for  Shell/CVS"
тоже удивился, что сходу ссылок на это нет -- важный аспект ведь.
[12:16:17] <Typhon> у меня нету, ей-богу :) ты не внес меня в список крутых парней?
[12:18:50] <Typhon> (а, они тут еще раз в 10 минут ключи обновляют, жду)
[12:18:52] <gds> внёс
[12:36:07] iNode вошёл(а) в комнату
[12:38:33] <Typhon> gds: запушил.
[12:42:46] Typhon вышел(а) из комнаты: Replaced by new connection
[12:42:46] Typhon вошёл(а) в комнату
[12:45:49] <gds> посмотрел, вполне кошерно.
в качестве баг-трекера, думается, покатит тот, что на sf.net дают.  Если будут сугубо технические штуки, не требующие обсуждений (т.е. всё понятно, как и что делать), если они не слишком интересны сами по себе, и если хочется, чтобы я что-то добавил/исправил, то лучше писать в багтрекер, чтобы не создавать лишнего шума в чятике.
[12:46:46] <valexey_> а sf.net нужен? ибо есть же google code
[12:48:29] <Typhon> оба, по-моему -- гуано, а в gc еще и hg нет, а svn -- это мука и ад :)
[12:48:44] <valexey_> вроде как есть же.
[12:48:50] <valexey_> по кр. мере какая-то распределенка была.
[12:48:55] <valexey_> не только svn
[12:49:06] <olegfink> есть там hg
[12:49:44] <valexey_> sf.net какое-то уж слишком сложнонавороченное-тормозное. в google code как-то проще и удобней. и вики есть сразу.
[12:49:47] <valexey_> весьма удобно.
[12:50:10] <olegfink> мне вот нравится indefero.net, но там как раз hg нет, только git и svn
[12:50:27] <gds> когда смотрел google code, что-то с лицензиями не срослось.
[12:50:29] <olegfink> они честно говорят, что они клон googlecode
[12:50:49] <valexey_> гм. надо будет глянуть.
[12:52:13] <olegfink> indefero разве что не совсем удобно тем, что ты получаешь целый forge, а не проект
[12:52:33] <valexey_> гм. в смысле?
[12:52:36] <gds> типа "только одна лицензия", а у меня же "сборная солянка", штук 20 софтин с их лицензиями.  был вариант "поговорить с гугломэнами", был вариант "зарегиться на sf.net".  выбрал второе, так как социопат и всё такое.
[12:53:00] <olegfink> а, а там hg-то есть
[12:53:42] <olegfink> valexey_, ну, при регистрации тебе дается поддомен (name.indefero.net), по смыслу эквивалентный сразу всему sf.net или code.google.com, в нем ты уже создаешь свои проекты
[12:54:02] <valexey_> о как!
[12:54:16] <Typhon> разве в битбакете/гитхабе не так же?
[12:54:21] <valexey_> гм. что может быть вообще говоря, удобно. ибо у меня бывает ворох всяких утилей.
[12:54:31] <valexey_> как-то связанных общей тематикой, но довольно самостоятельных
[12:55:14] <olegfink> гитхабы слишком социально-вебдванольные для меня
[13:29:18] valexey_ вышел(а) из комнаты
[13:35:36] valexey_ вошёл(а) в комнату
[14:07:02] daapp вышел(а) из комнаты
[17:35:21] gds вышел(а) из комнаты
[18:15:01] valexey_ вышел(а) из комнаты
[18:26:14] gds вошёл(а) в комнату
[18:51:16] gds вышел(а) из комнаты
[19:22:09] <f[x]> http://blogs.msdn.com/csharpfaq/archive/2010/02/16/covariance-and-contravariance-faq.aspx
[19:37:18] serp256 вышел(а) из комнаты
[19:37:50] f[x] вышел(а) из комнаты
[19:38:50] Kakadu вошёл(а) в комнату
[19:43:12] gds вошёл(а) в комнату
[19:50:14] gds вышел(а) из комнаты: Replaced by new connection
[19:50:15] gds вошёл(а) в комнату
[20:13:37] Kakadu вышел(а) из комнаты: Replaced by new connection
[20:13:46] Kakadu вошёл(а) в комнату
[20:23:06] Kakadu вышел(а) из комнаты
[20:41:37] digital_curse вошёл(а) в комнату
[20:44:36] valexey вошёл(а) в комнату
[20:50:28] <valexey> что-то 10 мегабайт на indefero.net как-то маловато будет :-)
[20:50:55] <olegfink> ну, чувак денег хочет
[20:51:25] <valexey> угу. жаль. было бы метров хоть 50 бесплатно, можно было бы посмотреть.
[20:51:54] Typhon имеет гигабайт на битбакете
[20:51:56] <olegfink> но в принципе по опыту общения (так как я с indefero познакомился достаточно рано, то некоторое время был и.о. бесплатного бетатестера) можно предположить, что если его спокойно попросить добавить места во имя
[20:51:57] <olegfink> спасения мира, то он даст
[21:03:34] <valexey> Ж-)
[21:44:18] <ygrek> суровые русские программисты - опенсорцят код мегабайтами
[21:48:47] Typhon вышел(а) из комнаты
[22:02:05] sceptic вошёл(а) в комнату
[22:17:31] ermine генерит мегабайты биндинга к bdb копипастой и думает, насколько это грешно
[22:21:26] <ygrek> учитывая наличие существующих рабочих биндингов - это полная аннигиляция заработанной кармы
[22:22:49] <ermine> я видела только один биндинг
[22:24:23] <ygrek> одного достаточно (вообще-то их два, но там оченб древний)
[22:26:32] <ermine> ну я второго так и не нашла
[22:26:55] <ermine> а в sks только малая часть функций bdb задействована - те, что были нужны аффтару
[22:27:30] <ermine> а я щас генерчу полный биндинг, ну или на 90% полный, если научусь калбэки совать
[22:38:33] <olegfink> эх, все-таки совершенно ужасный это недостаток, что высокоуровневые языки не могут по-человечески интерфейситься с си
[22:42:26] <ermine> дык, нет интерфейса к инструкциям процессора :)
[22:42:54] <olegfink> почему нету?
[22:43:13] <olegfink> вон нынче ж llvm в моде
[22:44:08] <ermine> я все еще не знаю, что это такое и лень смотреть
[22:44:56] <olegfink> это древнее африканское слово, означающее "нам не хотят продать gcc"
[22:45:12] <valexey> а они, эти высокоуровневые языки и между собой нормально интерфейситься не умеют :-)
[22:45:42] <sceptic> .net же
[22:45:49] <sceptic> просто уникс убогий
[22:46:13] <ygrek> sceptic: для бедных
[22:46:14] <olegfink> ну не такой уж и убогий, скорее просто более сложный
[22:46:24] <valexey> а что .нет?
[22:46:39] <valexey> в .нете интерфейсится и реализуется нормально только то что уже заложено в .нете
[22:47:00] <valexey> шаг вправо, шаг влево, и огребаем жопу похлеще чем внативненьких кодах
[22:47:06] <ygrek> например?
[22:47:14] <olegfink> в частности, типосистема там одна
[22:47:26] <valexey> угу.
[22:47:33] <valexey> объектики на стеке там бывают? ;-)
[22:47:40] <olegfink> камлевые классы ты туда никак не втщишь
[22:47:53] <ygrek> а камля там и нету
[22:48:00] <valexey> ну, f# как-то втащили...
[22:48:10] <valexey> или там с т.з. классов извратили всё?
[22:48:16] <ygrek> откуда втащили? мозг включи. его писали под ,net
[22:48:18] <olegfink> в f# совсем другое все
[22:48:33] <olegfink> т.е. не все, а то, что вокруг классов
[22:49:07] <ygrek> при чём тут объектики на стеке к интероперабельнсоти языков я так и не понял
[22:49:18] Typhon вошёл(а) в комнату
[22:50:37] <ygrek> а вот то что биндинги к winapi там пишутся сравнительно легко и их одинаково легко использовать из c# и f# - факт
[22:51:04] <olegfink> мне вот интересно, насколько реально написать что-нибудь типа плугина для мсвс на f#
[22:51:19] <valexey> что значит при чем? передача объектов через стек, ы? как интерфейсить будем?
[22:51:49] <valexey> мне интересно другое -- как будут выглядеть из c# рекурсивные f# типы?
[22:52:00] <valexey> навроде дерева или списка, или ещё чаво.
[22:53:00] ermine приступила к первой функции bdb, которая хочет юзер-дефинед калбэк и задумалась - проблема в том, что напрямую калбэк из камля в сишнюю функцию не сунешь - аргументы всяко конвертить надо
[22:53:01] <ygrek> какая передача объектов через стек? какие ещё объекты?
[22:53:30] <ygrek> наверное так же как и обычный рекурсивный класс?
[22:54:35] <ermine> да бросайте вы теологическую тему
[22:54:38] <ygrek> olegfink: а почему нет? .net же, на c# пишут, значит так же легко и на c#
[22:54:45] <ygrek> * и на f#
[22:55:31] <olegfink> ну, это теория, которую распространяет ms
[22:55:49] <olegfink> особенно сомнительна она в пункте ".net же"
[22:56:01] <ygrek> btw про http://redlizards.com/ в курсе? статический анализатор плюсового кода, похоже будет в дефолтной поставке студии, и там каким-то боком камль
[22:56:43] <ygrek> olegfink: все интерфейсы которые студия экспозит для плагинов в .net одинаково доступны для всех .net языков
[22:56:47] <olegfink> нет, спасибо, оценим
[22:57:13] <olegfink> ну вот в "...которые студия экспозит" и заключается корень моего скепсиса
[22:57:29] <ygrek> конечно lowest common denominator
[22:57:35] <olegfink> у меня создалось впечатление, что далеко на managed vsx api не уедешь
[22:57:41] <olegfink> а умеет ли f# com? :-)
[22:58:10] <ygrek> olegfink: ну не знаю насколько далеко - плагины для version control'ов пишут
[22:58:26] <olegfink> это в общем-то поверхностная фигня
[22:58:56] <ygrek> ну тогда звыняйте, я не лазил :)
[22:59:02] <ygrek> не в курсе что там есть
[22:59:19] <olegfink> ладно, что-то это оффтопик
[22:59:27] <ygrek> вечер пятницы - можно
[22:59:27] <olegfink> а в каком месте в гоанне камль?
[22:59:38] <valexey> думается мне что плюгины пишутся на неком подмножестве.
[22:59:46] <ygrek> ну видно используют для чего-то - в блоге есть посты
[22:59:58] <valexey> и то что умеет какой-нибудь фшарп делеко не всё тривиально можно втащить в какой-нибудь vb.net
[23:00:02] <valexey> например
[23:00:18] <olegfink> Paul Steckler is responsible for product development at Red Lizard Software.
[23:00:21] <olegfink> Dr Steckler is interested in programming languages, especially functional programming languages, type systems, software engineering, static analysis, and the Web. Dr Steckler has been writing software for over 20 years at various locations around the world.
[23:00:41] <olegfink> ну, в общем понятно
[23:00:44] <valexey> я, кстати, собираюсь это попробовать. f# либа -> с# код.
[23:01:02] <olegfink> кстати, хваленый intellisense в msvs2010 для c++ -- фигня полная
[23:01:10] <sceptic> olegfink: VAX
[23:01:58] <olegfink> фигня полнейшная
[23:02:03] <sceptic> нифига
[23:02:06] <ygrek> vax тоже тормозная фигня вообщем-то
[23:02:11] <sceptic> есть конечно проблемы
[23:02:12] <ygrek> с++ вообще фигня
[23:02:15] <ygrek> :)
[23:02:24] <sceptic> но в целом это очень мощный инструмент
[23:02:43] <olegfink> расскажи, пожалуйста, для чего он мощный
[23:02:44] <sceptic> стандартная студия после VAX вводит меня в ярость
[23:03:06] <sceptic> olegfink: почитай сайтец и попробуй
[23:03:10] <olegfink> я не специалист, я пару раз нажал в нем refactor, посмотрел на результат, нажал на goto definition, посмотрел на результат, загрустил
[23:03:25] <olegfink> s/refactor/rename/
[23:03:36] <sceptic> там много приятных фишек, начиная с рефакторингов, заканчивая более умным переходом к функциям/классам
[23:04:23] <olegfink> ну вот я вроде как раз это и пробовал
[23:04:33] <olegfink> даже близко оно не похоже на понимание кода
[23:04:38] <sceptic> я часто использую комментирование кода одной кнопкой `/'
[23:04:41] <ygrek> имхо рефакторинг там достаточно убогий, просто нормальный find references и goto definition
[23:05:13] <sceptic> А вообще стараюсь больше Gvim под вендой использовать :)
[23:05:17] <olegfink> ну, я не пользователь студии, поэтому функционал костылей для недоредактора в составе vax меня не интересовал
[23:05:39] <olegfink> а интересовали имено связанные с code assistance вещи
[23:05:45] <olegfink> *именно
[23:05:56] <olegfink> и впечатление они произвели достаточно тяжелое
[23:06:07] <sceptic> всё равно до ReSharper и IDEA далеко :)
[23:06:29] <ygrek> ну плюсы парсить (в реальном времени, да ещё с бустом) это вам не хухры-мухры
[23:06:32] <olegfink> ну так c++ non penis canina est
[23:06:46] <ygrek> :))
[23:08:10] <olegfink> ну вещей, умеющих буст, я еще не видел
[23:08:49] <olegfink> вещи, умеющие почти все то, что проще буста -- видел
[23:08:56] <ygrek> его собственно и компилятор с трудом парсит :))
[23:09:51] <olegfink> ух ты, а у меня vax издох
[23:11:28] <valexey> студия для плюсов даже более убога нежели еклипса с cdt
[23:12:25] <valexey> необходимость кликать правой кнопкой мышки для того чтобы перейти к определению/объявлению данного идентификатора выбешивает.
[23:12:35] <valexey> доллбанные менюшки!
[23:14:30] <valexey> переключения между хедером и cpp'шником на хоткее тоже нету.
[23:17:00] <valexey> кстати, про .net -- нормально реализовать C++ на .net'e похоже просто не возможно. Поэтому имеется некий мутант-огрызок под названием C++/cli
[23:17:51] <valexey> так что общих методик взаимодействия высокоуровневых языков природе не известно.
[23:19:19] <ygrek> и тем не менее они взаимодействуют
[23:19:52] <ygrek> привести интерфейсы к общим типам это фигня, основные проблемы ffi - память и ресурсы
[23:20:33] <ygrek> а они на .net общие, отчего всё становится гораздо проще чем рисование сишных биндингов и ублажение разных gc
[23:22:18] <ermine> ежели щас не решу проблему с калбэками, то все пойдет котику под хвостик
[23:22:30] ermine депрессивно копается в исходниках lablgtk
[23:23:32] <ygrek> ermine: на камлевой стороне хэштаблица с колбэками, на сишной стороне статическая функция - в opaque параметре - число-ключ в хэштаблицу
[23:24:02] <ygrek> либо register_generational_root, сколько там тех колбэков будет?
[23:24:08] <valexey> кто взаимодействует с кем? С++ под .нет просто нет.
[23:24:32] <valexey> Есть мутант у котрого нет множественного наследования, нормальных шаблонов и т.п.
[23:24:52] <valexey> Также под .нет не удалось полностью портировать Аду.
[23:25:02] <ermine> ygrek: а где видел?
[23:25:03] <ygrek> valexey: мы кажется говорили про интероперабельнсоть высокоуровневых языков, каким боком ты сюда с++ присунул?
[23:25:05] <valexey> А ведь это даже не хаскель какой-нибудь.
[23:25:26] <valexey> С++ имеет тот же уровень что и c# :-)
[23:26:59] <valexey> причем проблемы не с интероперабельностью низкоуровневых фенечек, проблемы просто в реализации высокоуровневых сущностей С++ в .нете.
[23:27:08] <valexey> и их экспорт куда-то ещё.
[23:27:21] <ygrek> чушь, first class функций в C++ нет, управление памятью ручное
[23:27:55] <valexey> управление памятью там любое, в т.ч. и через сборщик мусора, если нужно.
[23:27:56] <ygrek> вопрос не в интеоперабельности всего с .net, а ин-сти всего в дотнете
[23:28:28] Kakadu вошёл(а) в комнату
[23:28:36] <ygrek> пример сборщика мусора в плюсах
[23:28:38] <valexey> ну да, давайте всё сведем к фиксированному числу примитивов (будь то сишная система типов, или шарповая, или хаскельная) и тогда да, всё будет хорошо.
[23:28:45] <valexey> богемный например.
[23:29:00] <valexey> http://www.hpl.hp.com/personal/Hans_Boehm/gc/
[23:29:53] <ygrek> википедии обчитался?
[23:30:02] <ygrek> ты код на нём пробовал писать?:
[23:30:32] <olegfink> я сейчас гляжу на ~50ksloc кода на c++, написанного на boeh gc
[23:30:35] <olegfink> и они даже работают
[23:30:38] <olegfink> *boehm
[23:30:57] <ygrek> valexey: а ты хочешь интероперабельность фортрана с хаскеллем и забесплатно?
[23:31:11] <ygrek> естественно что будут ограничения, вопрос в выборе этих ограничений
[23:31:19] <ygrek> olegfink: и что это за проект?
[23:32:32] <ermine> ygrek: про хэштаблицу ты сам придумал?
[23:32:34] <olegfink> сервер с кучей всякой логики
[23:32:51] <ygrek> у меня впечатления абсолютно отрицательное про консервативный gc - а именно утечки памяти
[23:33:22] <ygrek> и он работает 24x7? сколько памяти потребляет?
[23:33:56] <olegfink> честно говоря, я этот код еще не очень здорово понимаю
[23:34:07] <olegfink> т.е. сказать, где утечка, а где нет, не смогу
[23:34:14] <ygrek> ermine: нет, это стандартное решение, посмотри например обвязку к libevent
[23:34:19] <olegfink> ай, ну вот я хочу ключ к vax!
[23:35:17] <ermine> ygrek: а второе решение где посмотреть?
[23:35:53] <ygrek> даже если по стечению обстоятельств оно работает - очевидно что консервативный gc это не выход, т.е. я просто делаю (size_t)ptr и складываю его куда-нибудь, а потом зануляю поинтер, и получаю лик
[23:36:21] <ygrek> второе - с рутами? например ocurl
[23:36:55] <ermine> йасно, буду смотреть на оба решения
[23:37:00] <ygrek> а неконсервативных gc для плюсов что-то не видно
[23:37:05] <ygrek> жду опровержений
[23:37:08] ermine ломанулась за libevent
[23:39:10] valexey вышел(а) из комнаты
[23:39:11] valexey вошёл(а) в комнату
[23:39:39] <valexey> я что-то пропустил?
[23:40:33] <valexey> ygrek: да, я пробовал этот gc. работает как минимум не хуже скажем моновского. и да, посмотри как там это реализовано. там сборка мусора идет по тому по чему скажешь а не по всему подряд, поэтому оно точнее.
[23:40:49] <valexey> не консервативный сборщик мусора -- см. например тот же .нет для c++/cli :-)
[23:40:59] <ygrek> valexey: не хуже моновского это приговор
[23:41:10] <ygrek> c++/cli это не c++ как ты сам выше заметил
[23:41:24] <valexey> да, а консервативные сборщики мусора как бэ используются и в других языках (разработаных изначально для сборщиков мусора). и ничего и ничего и ничего. ой.
[23:41:25] <ygrek> дальше будешь продолжать упорствовать?
[23:42:11] <valexey> так что ручное управление памятью суть опция, равно как и автоматическое управление памятью или плуавтоматическое.
[23:43:55] <ygrek> почему ты всё время спрыгиваешь с темы? при чём тут другие языки?
[23:44:45] <valexey> о высокоуровневости будем судить по наличию не консервативного сборщика мусора? :-)
[23:45:16] <ermine> ygrek: чмоке!
[23:45:30] ermine решила, что на сегодня с нее хватит цэ
[23:45:54] <ermine> биндингу жить, хотя непонятно какая потеря скорости будет
[23:46:14] <ygrek> консервативный gc не работает
[23:46:22] <ygrek> почитай хотя бы ту сслыку что ты привёл
[23:46:31] <valexey> расскажи это тем кто этим регулярно пользуется :-)
[23:47:35] <ygrek> частные случаи ничего не значат
[23:48:10] <valexey> частные случаи говорят о применимости данного решения для данных, частных, да, задачь
[23:48:48] <ygrek> ermine: make it run, make it right, make it fast
[23:49:02] <ermine> ygrek: в libevent всего один вид калбэков, у меня их видимо будет дофига
[23:49:23] <ygrek> valexey: итого - консервативнй gc в общем случае не работает
[23:49:27] <ygrek> qed
[23:50:13] <ermine> ygrek: а где нонче ищут ocurl?
[23:51:14] <Typhon> ermine, а в http://gdsfh.dyndns.org/kamlo/RelatedSoftware ссылок нету разве?
[23:51:36] <valexey> сферический консервативный gc в вакууме для сферической задачи там же -- да, имеет утечки не совместимые с жизнью.
[23:51:58] <valexey> к счастью у нас тут не сферическое нечто, а вполне конкретный язык, реализация и задачи.
[23:52:13] <ygrek> valexey: ты слава байтам не дизайнер языков общего назначения
[23:52:22] <ermine> а вот он!
[23:53:12] <valexey> ygrek: в дизайне ЯП общего назначения обычно не прописывается тип сборщика мусора. см. например спеку на Оберон.
[23:56:16] valexey вышел(а) из комнаты
[23:57:37] <ygrek> [22:27:55]<valexey> управление памятью там любое, в т.ч. и через сборщик мусора, если нужно.
[22:28:45]<valexey> богемный например.
как мы выяснили, с помощью любезно предоставленной ссылки, консервативный gc в с++ не работает
неконсервативных - нетути
о чём дальше разговор?