Objective Caml - Вторник, 10 мая 2011

Objective Caml

ocaml@conference.jabber.ru

Вторник, 10 мая 2011< ^ >

gds установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Светлое будущее -- http://camlunity.ru/ | Нефильтрованное настоящее -- https://github.com/camlunity/kamlo_wiki | Портер прошлое -- http://gdsfh.dyndns.org/kamlo/ | Верблюды грязи не боятся! | release crap, enjoy NIH | репортьте баги официальным дилерам | ocaml мёртв, move on

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

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

GMT+4
[00:05:10] <gds> ну кто там положил ocsigen.org?  дайте хотя бы lwt скачать, демоны!
[00:05:41] <Typhon> у меня работает, если что. скажи какую версию, если не отлипне
[00:06:08] <Typhon> а вообще, было бы круто, если бы таки положили. и потом от ermine письмо "as you can observe, memory leak in ocsigen isn't only my problem..."
[00:07:02] <Kakadu> может поломать сайт, чтобы узнать чтобы узнать что у них не так?)
[00:07:54] <gds> в фоерфоксе грузится, в links вроде ок.
[00:08:03] <gds> а про "положили" было бы зачотно :)
[00:09:41] <gds> в фаерфоксе, имею ввиду, только "Загружается ...", но не более того.  .tar.gz укачал links'ом, получилось.
Но решил, что реально набигать решили.
[00:14:14] <ermine> ну кладите
[00:14:49] <ermine> или уже наклали?
[00:15:16] <ermine> пашыт уродец
[00:16:33] <ermine> жалко, что не видно, какой версии уродец
[00:19:20] <gds> судя по текущему уродцу, нужно как-то весьма интенсивно накладывать ему на руки, потому что временный эффект наблюдается, а куммулятивного не видно.  Впрочем, забью.
[00:26:43] <gds> ну блин, кто-нибудь к ним там поедет?  а то уже скопилось порядочное количество багов для ломика в известное отверстие.
E: OCaml version 3.13.0+dev3 (2011-03-07) doesn't match version constraint >= 3.12
E: 1 configuration error
gmake[2]: *** No rule to make target `setup.data', needed by `build'.  Stop.
gmake[2]: Leaving directory `/home/bldr/src/ovm/work1/src/lwt/work'
кстати, вероятно, это оазис.  Впрочем, францию не отменяет.
[00:28:29] <Typhon> хм, причём, я кажется, видел уже багу на эту тему в багтрекере оазиса
[00:28:42] <Typhon> грабли старые как чёрт знает что, впрочем :-)
[00:28:47] <gds> и немножко утечки копроративных данных:
Tue May 10 02:23:48 YEKST 2011 : 25620: begin package action: PKG="lwt" ACTN="install" OV_ROOT="/home/bldr/src/ovm/work1"
[00:29:03] <gds> грабли -- да.  Удивительно, как им до сих пор нравится это.
[00:30:26] <Typhon> внезапно, YEKST %)
[00:30:41] <gds> Так!
[00:31:15] <gds> вон как клешни раскинул!
[00:39:38] <ermine> йок-сть
[00:41:18] ermine сегодня утомилась после велопрогулки по Садовому кольцу, три круга по встречке с заездами в тоннели, жуть, наверное, больше такого не повторится
[00:41:41] <Typhon> а чего не в парке каком-нибудь, лучше ж, чем газами дышать
[00:44:10] <ermine> Typhon: дык уникальный шанс был!
[00:44:11] ermine вышел(а) из комнаты
[00:48:51] komar вошёл(а) в комнату
[01:14:38] gds вышел(а) из комнаты
[01:16:33] Kakadu вышел(а) из комнаты
[01:37:44] Typhon вышел(а) из комнаты: Replaced by new connection
[01:37:46] Typhon вошёл(а) в комнату
[01:46:15] zert вышел(а) из комнаты
[02:15:29] ftrvxmtrx вошёл(а) в комнату
[02:22:37] Typhon вышел(а) из комнаты
[02:46:39] Diggimortal вошёл(а) в комнату
[04:45:07] Diggimortal вышел(а) из комнаты
[05:03:14] komar вышел(а) из комнаты
[07:35:32] iNode вышел(а) из комнаты
[08:33:00] iNode вошёл(а) в комнату
[09:04:07] gds вошёл(а) в комнату
[09:58:37] ygrek вошёл(а) в комнату
[10:41:27] ftrvxmtrx вышел(а) из комнаты
[10:46:10] ermine вошёл(а) в комнату
[11:18:32] Typhon вошёл(а) в комнату
[11:29:07] ftrvxmtrx вошёл(а) в комнату
[12:13:24] Kakadu вошёл(а) в комнату
[12:30:29] ygrek вышел(а) из комнаты
[12:30:40] ygrek вошёл(а) в комнату
[12:46:43] zert вошёл(а) в комнату
[14:17:49] <ermine> не пофиксили еще?
[15:01:15] <Kakadu> ermine: не написали
[15:02:37] Kakadu вышел(а) из комнаты
[15:03:21] Kakadu вошёл(а) в комнату
[15:13:57] ygrek вышел(а) из комнаты
[15:14:22] ygrek вошёл(а) в комнату
[15:14:29] ygrek вышел(а) из комнаты
[15:15:04] ygrek вошёл(а) в комнату
[15:40:37] komar вошёл(а) в комнату
[15:42:24] Diggimortal вошёл(а) в комнату
[15:50:47] ygrek вышел(а) из комнаты
[16:09:24] ftrvxmtrx вышел(а) из комнаты
[16:09:47] ftrvxmtrx вошёл(а) в комнату
[16:25:10] <gds> overbld + gentoo = ocaml 3.12 + нужные библиотеки - долботня с мейнтейнерами и ебилдами
[16:29:33] <ermine> ты уже скомпилил оксигень?
[16:36:46] <Typhon> http://paste.in.ua/2314/  <- мне так грустно от этих unavailable
[16:36:47] <Typhon> :-(
[16:51:26] <Kakadu> Typhon: печалька. у меня такого не было. даже в цигвине
[16:51:44] <Typhon> freebsd :)
[16:54:50] <Typhon> а где нынче берут camlzip, который камлонету нужен?
[16:55:02] <Typhon> а то на фордже совсем не тот да и МЕТЫ там нету
[16:56:39] <Typhon> http://sources.gentoo.org/cgi-bin/viewvc.cgi/gentoo-x86/dev-ml/camlzip/files/
[17:02:23] <Typhon> ( не понимаю, почему этот патч на фордже не применён )
[17:03:51] <Typhon> [optionnal]
* ocamlduce
РАДОСТЬ!
[17:11:18] <Kakadu> Typhon: у меня из репозитория
[17:11:38] <gds> ermine: не, нафига мне ocsigen, ты чё :)
[17:11:59] <Kakadu> gds: чтобы и у тебя потекло
[17:12:26] <Kakadu> вспомнил Райкина
[17:12:30] <Typhon> оксиген, кстати, прогрессирует!
[17:12:36] <Typhon> почти поставил все депендансы
[17:12:42] <Kakadu> как сантехник пришел туалет ремонтировать
[17:12:47] <Typhon> меньше чем за полчаса, скулайт остался
[17:12:58] <Kakadu> всё время кричал: "Хозяйка, тикёть?"
[17:15:10] <gds> ненене, мне такого не надо!
[17:15:37] <Typhon> ermine: у тебя ocaml-sqlite  встал ? а то мне всё ругается, что не находит, я уже замучился его путями кормить
[17:16:28] iNode вышел(а) из комнаты
[17:18:06] Kakadu вышел(а) из комнаты
[17:32:16] gds вышел(а) из комнаты
[17:32:58] <ermine> Typhon: встал с правкой configure
[17:33:31] <Typhon> а осталось чо?
[17:33:49] <ermine> Typhon: в смысле?
[17:33:57] <Typhon> ну патчик
[17:33:58] <ermine> Typhon: удалила оттуда -ldl
[17:34:10] <Typhon> а, ясно
[17:37:32] <ermine> Typhon: для утечки sqlite не нужен
[17:38:06] <ermine> жотя она у меня с ним собрана
[17:38:22] <ermine> она - это утечка
[17:38:51] <Typhon> ну чот я убираю -ldl (оно там одно) — и как-то всё равно ругает меня :-(
[17:39:50] <ermine> with-sqlite3=/usr/local
[17:39:54] <Typhon> а не, если -ldl убрать, то оно на make уже ругается, айайай
[17:40:29] <ermine> а маке у тебя гнуизмное?
[17:40:59] <Typhon> да
[17:41:10] <Typhon> фмаке вообще не собирает их макефайлы
[17:41:37] <ermine> ну чтож
[17:41:38] <Typhon> http://paste.in.ua/2315/
[17:41:43] <ermine> значит не судьба
[17:42:15] <ermine> паста пустая
[17:42:39] <Typhon> у меня не пустую показывает :-)
[17:42:41] <ermine> а не
[17:43:54] <f[x]> [00:20:59] <Typhon> ну можно написать, что если поставить без оазиса
[00:21:31] <Typhon> то потом оазисом не удаляется
[17:43:55] <ermine> а какой версии либла?
[17:44:17] <f[x]> это багофича - не удалять то что не ставили, я репортил, обещали ворнинг добавить чтобы понятней было
[17:44:44] <Typhon> ermine: make clean && make вроде работает (с ворнингами, блиа!)
[17:46:15] <Typhon> кстати, про ./configure   vs sh configure — в оксигеновском README советуют sh configure делать сами
[17:46:19] <ermine> ну это еще ладно, бывает и хуже, например та неустранимая утечка в оксигене
[17:46:28] <f[x]> [02:08:20] <Typhon> """ADEpt: вот если бы еще кто-то взял существующий код и --- ррраз -- переделал в revised syntax ...""" -- а вот подумалось, нету такого? по идее, как я камлп4 себе представляю, это не очень сложно сделать, не?
[17:46:48] <f[x]> дык стандартным образом - ставишь revised принтер и всё
[17:47:48] <Typhon> я вот как-то и предполагал, что нужен только принтер, а так получается, что это уже прямо сейчас можно?
[17:54:24] <f[x]> ну да
[17:54:31] <f[x]> [11:11:24] <Typhon> f[x], в млдонкей реализации tigertree (merkletree, hashtree) нету ли? и tigerhash? по идее, для direct_connect оно нужно (хотя может только для хаба?), но я быстрым поиском не нашёл.
[17:54:50] <f[x]> tth есть, для dc, да
[18:13:40] <f[x]> о байты, что там с кодировкой на camlunity.ru?
[18:13:59] f[x] нюхом чуёт - кривая кодировка <=> bsd
[18:18:48] <ermine> в апаче стоит дефолтная koi8-r, в оксигене utf-8
[18:19:09] <ermine> оксигень пришлось отключить за его опасностью
[18:19:16] <f[x]> фейл
[18:19:51] <ermine> да, полный фейл с оксигенем :(
[18:20:57] <ermine> f[x]: кста, надо бы проверить у тебя на предмет наличия утечки в оксигене
[18:21:26] <ermine> а то тут никто кроме какаду не смог не то что увидеть утечку, но и просто поставить оксигень
[18:21:44] <ermine> вон тифон собирает уже целую неделю
[18:21:54] <ermine> покажи им всем, как надо моментально собирать
[18:22:50] <Typhon> тифон вообще эпично зафейлился сейчас и удалил site-lib весь ^_^ :-(
[18:23:35] <Typhon> или оазис удалил, но в первое я верю больше, хотя зш хистори какое-то странное
[18:25:03] gds вошёл(а) в комнату
[18:25:26] <ermine> f[x]: смотри, какие чайники тут тусуются
[18:26:43] ermine пойдет прогуляться
[18:31:52] <f[x]> требую постановку задачи
[18:32:11] <f[x]> плюс у меня бэклог в неделю
[18:33:42] Typhon вышел(а) из комнаты
[18:34:43] <gds> f[x]: про багофичу "не удалять что не ставили" -- вопрос не важный, но чисто по приколу интересно, как они проверяют, они ли ставили?  Понятно, хеш, но где?
[18:39:21] <gds> Typhon: "советуют sh configure делать сами" -- и лишиться возможности подсунуть туда бинарник (про "обернуть" понимаю, но всё же), и явно форсировать зависимость от sh?  Не радует с одной стороны, и непонятно, чем аргументируют с другой стороны.  И какое-то дежавю касаемо текущей дискуссии, но неконструктивное.
[18:39:40] <Diggimortal> gds: Xavier в этом http://vimeo.com/13746263 видео говорит, что он сознательно не выкладывает бинарную сборку под винду в надежде, что кто-то вызовется это делать
[18:40:01] <Diggimortal> ты не думал overbld пропихнуть в этом качестве?
[18:40:14] <Diggimortal> или нет столько здоровья?
[18:40:57] <Diggimortal> многие люди бы порадовались
[18:41:03] <gds> Diggimortal: в общем, надо пеариться.  Ибо это единственное, чего у меня нет для расклада "окамл под виндой", если нужен "хоть какой-то окамл", однако ещё cygwin/msvc я не умею.  Кому-то они нужны, вроде бы.
[18:41:33] <Diggimortal> ну, лучше хоть что-то чем ничего
[18:41:35] <gds> "хоть какой-то" -- в смысле, без cygwin/msvc.
[18:42:00] <gds> дык писал в рассылку.  ща асилю 3.12 полностью падвендой -- отпишу второй раз, сучечкам этаким.
[18:42:28] <Diggimortal> а что? они капризничают?
[18:45:44] <gds> они не хотят.  видишь ли, есть такой парадокс.  хрен проссыш, как так.  писал недавно одному приличному человеку в мыло приватно, но процитирую, ибо ничего приватного тут по сути нет:
"
Я вижу толпу людей, которые 1. самостоятельно предпринимают попытки осилить виндовый окамл из исходников, и, одновременно с этим 2. жалуются, что окамл под виндой -- это какой-то ональный ад, сотона и телепузики в одном флаконе. Если против первого ничего не имею (и даже за, сам таким занимаюсь), то за второе слегка обидно. Вдвойне обидно из-за того, что окамл предлагает все средства для code reuse, однако вопрос установки самого по себе окамла как-то уходит за пределы мантры "code reuse", и там правят NIH и велосипеды. Меня это очень удивляет. Ну, сначала просто удивляло, но потом мне для своих нужд потребовалось уметь собирать кучу библиотек под виндой, так и появился оверблд. Однако что меня удивляет теперь -- так это то, что люди до сих пор предпочитают велосипеды и ручной геморрой.
"
[18:46:27] <Diggimortal> именно
[18:46:35] <Diggimortal> трэш какой-то
[18:46:46] <gds> трэш без угара -- деньги на ветер.
[18:47:10] <Diggimortal> думаю куча людей которые могли бы юзать язык не смогли преодолеть этот никому не нужный барьер
[18:47:59] <Diggimortal> лично мне проще линух поставить, чем разбираться со всей этой содомией под виндой
[18:48:13] <Diggimortal> особенно когда F# есть со студией на шару
[18:48:21] <Diggimortal> хоть он и убогий малость
[18:48:22] <f[x]> gds: https://forge.ocamlcore.org/tracker/index.php?func=detail&aid=758&group_id=54&atid=291
[18:49:20] <f[x]> Diggimortal: http://ygrek.org.ua/p/ocaml.html
[18:49:55] <gds> Diggimortal: дело в том, что все, сцуко, пользователи венды считают, что "билд-система на баше = кривизна".  Ну, факт, кривизна, но работает.  При этом как-то идеологическую кривизну венды не ощущают (а ля "ссышь в глаза -- ему всё б-жья роса").
[18:50:50] <f[x]> тут два ортогональных вопроса - просто бинарная сборка официального камля под винду
[18:50:56] <Diggimortal> f[x]: я как-то это дело видел, но потом сцылку продинамил
[18:51:00] <f[x]> в разных варициях
[18:51:23] <f[x]> и второй вопрос - это "платформа" под винду (а может и под другие ОС)
[18:51:56] <Diggimortal> идеологическая кривизна винды никому не интересна, надо, чтоб тупо работало
[18:52:06] <f[x]> эти "платформы" уже есть - godi, дохлая godiva, нерождённый oasis-db, но все они под виндой (ещё?) не работают
[18:52:30] <f[x]> плюс у нас есть overbld
[18:52:35] <Diggimortal> у меня с годи были траблы под виндой, написал в рассылку - тишина
[18:52:42] <Diggimortal> поставил линух
[18:53:23] <f[x]> Diggimortal: вот именно, всем (Gerd'у) пофиг, поэтому godi под виндой нету, слава байтам что хоть findlib хоть как-то работает
[18:53:57] <gds> > плюс у нас есть overbld
а теперь...  Кто из них самое слабое звено?
[18:54:32] <gds> > надо, чтоб тупо работало
лол, а от оверблд надо ещё чтобы было идеологически-прямо.
[18:54:40] <Diggimortal> ваш лик воспроизвели
[18:54:48] <Diggimortal> в ocsigen
[18:55:22] <Diggimortal> я как под винду перегружусь попробую overbld
[18:55:44] <Diggimortal> мне на прямоту по барабану
[18:56:27] <f[x]> т.е. выкатить бинраную сборку чисто камля по-моему вообще не проблема, а вот "платформу" делать это сложно и много
[18:56:49] <Diggimortal> так хотя бы бинарная сборка была
[18:57:04] <Diggimortal> по возможности в месте, где её ожидают найти
[18:57:07] <gds> Diggimortal: там 3.11 пока.  Оно работает, но там засада есть, с автоматической перекомпиляцией (которое оно в сетапе спрашивает) будет бида.  Если что, расскажу, как и что сделать без проблем.
[18:57:07] <f[x]> ну так я ссылку дал, прямо из svn'а автоматически собирается
[18:57:20] <Diggimortal> не все такие смелые, чтобы неизвестный самосбор ставить
[18:57:34] <gds> вот, смелость -- да.
[18:57:34] <f[x]> о, это третий вопрос
[18:58:21] <f[x]> вопрос доверия
[18:59:03] <Diggimortal> т.е. все эти проблемы предолимые, но это же всё равно стыд
[19:02:20] <gds> не, вопрос доверия -- это серьёзно.  По моей политике, оригинальные исходники находятся в src/<pkg>/orig, патчи в src/<pkg>/patch, инсталл-скрипт в src/<pkg>/*install.  Изучить несложно при желании.
[19:02:23] <gds> но всё же.
[19:05:20] <Diggimortal> не у всех есть необходимая квалификация, чтобы патчи проанализировать
[19:06:26] <gds> квалификация -- да.  А если её хватает, то иногда не хватает времени, и хочется, чтобы и гарантии были, и быстро всё встало-заработало.
[19:06:45] <Diggimortal> ну и компилять софт, если тебе не нужны никакие твики тоже странно
[19:07:22] <Diggimortal> зачем куче людей тратить столько времени на совершенно бесполезные манипуляции
[19:08:05] <Diggimortal> т.е. это упрёк камлерам
[19:08:07] <gds> вендузятникам тут проще: если есть антивирус, то, скорее всего, явный опасный софт в бинарниках оно отловит.  С другой стороны, я получаюсь как бы ответственным за баги, вместе с разработчиками.  А мало кому хочется, чтобы список ответственных увеличивался.  Больше одного уже частенько бардак рождает.
[19:08:08] <Diggimortal> а не тебе
[19:08:44] <gds> мои манипуляции тоже были бесполезными изначально.  Вообще, надо было сносить винду и всех виндовых пользователей слать куда подальше.  И потерять достаточное количество денег.
[19:09:27] <Diggimortal> никуда от винды не деться в обозримом будущем
[19:09:37] <gds> лет 5..10 -- факт.
[19:09:39] <Diggimortal> так, что это аргумент так себе
[19:10:16] <Diggimortal> с другой сторны у нас есть F# + Visual Studio Shell совершенно легально на шару
[19:10:21] <Diggimortal> с кучей либ
[19:10:31] <Diggimortal> многопоточным рантаймом
[19:10:46] <Diggimortal> где всё работает из коробки
[19:10:56] <Diggimortal> и intelli sense есть
[19:11:05] <Diggimortal> как бы кто к нему не относился
[19:11:31] <gds> есть всё это, факт.
[19:11:40] <Diggimortal> и тот же камл в ней учить проще
[19:11:54] <Diggimortal> в том объёме что он пересекается с F#
[19:12:35] <f[x]> всё логично
[19:12:43] <f[x]> inria пофиг на винду, ms не пофиг
[19:13:16] <f[x]> никто не виноват и делать ничего не надо
[19:13:24] <Diggimortal> у F# есть ещё одно классное свойство
[19:13:43] <Diggimortal> его можно декомпильнуть в C# и понять как, что работает
[19:13:59] <Diggimortal> в общем как-то непросто всё с окамлом
[19:14:15] <Diggimortal> MS кстати окамл юзает
[19:15:05] <f[x]> а камль можно в асм декомпильнуть и всё всё понять :)
[19:15:15] <f[x]> думаю уже не юзает и переползли на f#
[19:15:24] <Diggimortal> наврядли
[19:15:30] <f[x]> пчу?
[19:15:57] <Diggimortal> насколько я слышал они его для верификации драйвкров используют
[19:15:58] <f[x]> ну может легаси не переписывает, а всё новое наверняка
[19:16:40] <Diggimortal> думаю там такие задроты, что им камл скомпилить - раз плюнуть :)
[19:17:06] <Diggimortal> а фшарп как язык довольно убогий в сравнении с окамлом
[19:17:39] <Diggimortal> в целях интеропа с CLR окамл пришлось изрядно подобрезать
[19:18:23] <Diggimortal> и есть там ряд дикостей, которые C# в ужс приводят
[19:18:36] <Diggimortal> типа значимости порядка файлов при компиляции
[19:19:13] <Diggimortal> C#'пистов имелось в виду
[19:19:36] <gds> идеология разная.  меня бы неинициализированные значения бесили бы.
[19:19:58] <Diggimortal> ты про C#?
[19:20:07] <gds> например да.
[19:20:15] <Diggimortal> там нет такого
[19:20:26] <gds> то языки, где порядок не фиксирован.
[19:20:31] <gds> но как они этого достигают?
[19:20:44] <Diggimortal> для каждого типа определено значение по умолчанию
[19:21:09] <gds> мда.  я как-нибудь пешком постою.
[19:21:50] <Diggimortal> ты под значениями бйндинги имеешь в виду?
[19:21:59] <gds> не, просто значения.
[19:22:28] <Diggimortal> а как значение может быть неинициализированным?
[19:23:44] <gds> в модуле A --
let a = fun1 B.b
в B --
let b = fun2 A.a
инициализируй.
[19:24:28] <Diggimortal> такое тупо запрещено :)
[19:24:37] <gds> как аргументируют?
[19:25:27] <Diggimortal> типо цикл :)
[19:25:32] <Diggimortal> нельзя
[19:25:36] <gds> ловят в рантайме?
[19:25:52] <Diggimortal> не скомпилится
[19:26:59] <gds> а если
let b = fun2 (if рак_на_горе_свистнет () then A.a else 123)
?  в предположении, что рак на горе не свистит никогда.
[19:27:57] <Diggimortal> не вижу подвоха
[19:28:14] <Diggimortal> ты про значение A.a?
[19:28:16] <gds> если анализ статический -- не скомпилируется, если в рантайме -- выполнится.
[19:29:28] <Diggimortal> b это B.b из предыдущего примера?
[19:36:43] <gds> да.
[19:37:31] <gds> впрочем, мне это интересно чисто для того, чтобы узнать, как оно в C# сделано.  (и удостовериться, что такое можно сделать синтаксическим расширением, хехе.)
[19:37:52] <Diggimortal> в ряде случаев компилятор может обнаружить недостижимый код
[19:38:07] <Diggimortal> у C# системы типов попроще
[19:38:16] <Diggimortal> я бы на неё не оглядывался особо
[19:38:43] <gds> тут скорее не про типы, а про "систему модулей", хз как правильно.  инициализация и все дела.
[19:39:36] <Diggimortal> в общем да, но сдаётся мне что рекурсивные определения тоже к типизации как-то относятся
[19:39:51] <Diggimortal> но я не доктор по этим вопросам
[19:40:09] <Diggimortal> TAPL только читаю :)
[19:40:12] <gds> как-то относятся, да.  Если у каждого типа есть значение по умолчанию, то такие дела напрямую относятся и имеют решение всегда.
[19:40:34] <gds> TAPL -- это хорошо.
[19:42:12] <gds> кстати, человек, тщательно прочитавший про подтипизацию, может жечь глаголом "тру функциональщиков", считающих, что подтипизация не нужна.
[19:42:41] <Diggimortal> а разве они так считают?
[19:46:05] <Diggimortal> а ты http://www.amazon.com/Theory-Objects-Monographs-Computer-Science/dp/0387947752 не читал?
[19:57:20] <gds> они -- да, считают.
эту штуку не читал, но карделли как бы намекает, что можно было бы и почитать в будущем.
[19:58:27] <Diggimortal> тру фунуциональщики видимо путают подтипизауию с наследованием, еоторе ОО -> отстой
[19:58:33] <Diggimortal> такая мысль?
[19:59:18] <gds> труъ видят, что "объекты" -> отстой.  Надо чем-то отличаться, вот и ненавидят ОО.
[20:00:57] <Diggimortal> учитывая, что никто не знает, что такое ОО трудно их осудить
[20:01:08] <gds> кстати, http://gdsfh.dreamwidth.org/3727.html для любителей труъ.  Наверняка не увидят или проигнорируют, но мне-то чо.
[20:03:06] <Diggimortal> ты про не ОО альтернативу?
[20:03:44] <gds> да, про наследование поведения.  Понятно, руками можно сделать, чо.
[20:05:18] <Diggimortal> я правильно понимаю, что модули из реализации компилятора с бинарной сборкой окамла не ставятся?
[20:05:58] <Diggimortal> типа ocaml-3.12.0/typing/typedtree.cmi
[20:06:33] <gds> даже при сборке из исходников не ставятся, ибо незачем.
[20:08:21] <Diggimortal> почему же незачем? вот чтобы собрать http://search.ocaml.jp надо распаковать компилятор, собрать его часть, положить туда исходники http://search.ocaml.jp и собирать сам http://search.ocaml.jp
[20:08:36] <Diggimortal> не выглядит как кошерное решение
[20:08:47] <f[x]> в debian есть ocaml-source
[20:08:48] <gds> имплементация компилятора ибо.
[20:09:09] <gds> кстати вот, хотел скачать торрентом оверблд.  на чисто вендовую машину.  и не понимаю, почему не качается.  сиды и пидры = "0 (1)" везде, но в мюторренте никакого прогресса.  как бы отладить?
[20:09:35] <gds> и на другой машине (в той же локалке) rtorrent раздаёт таки.
[20:09:41] <Diggimortal> кить линк - попробую из-под убунты
[20:10:18] <gds> http://sourceforge.net/projects/overbld/files/OVerbld-setup-sources-20100426.torrent/download
[20:10:40] <Diggimortal> f[x]: не вижу как ocaml-source решает проблему сборки http://search.ocaml.jp
[20:10:50] <Diggimortal> придётся проделать те же хаки
[20:11:59] <f[x]> у меня было впечатление что там эти внутрненние cmi но может ошибаюсь
[20:12:38] <Diggimortal> gds: качается, но очень уныло
[20:16:10] <gds> ага, это у меня исходящий забит другими торрентами, смотрю вот.
что ж, значит какая-то внутрисетевая проблема с адсл-модемом, который как бы роутер.
[20:24:45] <gds> кстати, когда асилю оверблд с 3.12, может, зафигачить туда этот хвалёный search.ocaml.jp?
[20:24:54] <gds> вообще, он удобен?
[20:25:11] <Diggimortal> было бы полезно
[20:25:22] <Diggimortal> http://packages.ubuntu.com/lucid/all/ocaml-source/filelist
[20:25:39] <Diggimortal> тупо архив с исходниками копирует
[20:26:04] <f[x]> а, перепутал - ocaml-compiler-libs
[20:26:43] <f[x]> но наверняка костылять придётся чтобы он их подхватил
[20:27:13] <Diggimortal> всяко прямее
[20:31:09] <Diggimortal> f[x]: ты вернул мне веру в людей
[20:31:19] <Diggimortal> ocaml-compiler-libs - то, что надо
[20:31:43] <Diggimortal> видимо моя идея не совсем бредовая
[20:31:55] <Diggimortal> раз пакет кто-то запарился сделать
[20:32:44] <Diggimortal> там правда комменты местами на французком
[20:32:48] <Diggimortal> жесть
[20:36:31] ermine вернулась с прогулки
[20:36:37] <ermine> ну как там у вас утечка?
[20:36:50] <Diggimortal> в мэйллисте смотри
[20:36:57] <Diggimortal> подтвержили вроде
[20:37:16] <ermine> хорошая новость, ща посмотрю :)
[20:41:00] <ermine> надо проверить эту переменную
[20:43:44] <ermine> хотя смысл тогда от лвт какой остается?
[20:44:51] <ermine> (подумав) это могло объяснить и вторую багу, о которой я туда же писала
[20:55:50] <ermine> действительно, с LWT_ASYNC_METHOD=none перестало вытекать
[20:56:42] <ermine> еще и жрание процессора упало чуток
[20:58:18] <ermine> интересно, можно ли пользоваться этим горячим багфиксом :)
[20:59:43] ermine тестирует багу номер два
[21:00:41] <ermine> похоже фиксит тоже
[21:01:07] <ermine> чудесные хрензуцики, сделают всё, если насесть на них как следует
[21:01:53] Kakadu вошёл(а) в комнату
[21:02:23] <Kakadu> ermine: я тебя поздравляю
[21:03:28] <ermine> Kakadu: и тебя тоже поздравляю :)
[21:03:57] <Kakadu> Allons enfants de la Patrie
Le jour de gloire est arrivé !
Contre nous de la tyrannie
L'étendard sanglant est levé
Entendez-vous dans nos campagnes
Mugir ces féroces soldats?
Ils viennent jusque dans vos bras.
Égorger vos fils, vos compagnes!
[21:08:42] ftrvxmtrx вышел(а) из комнаты
[21:15:06] Typhon вошёл(а) в комнату
[21:16:37] avysk вошёл(а) в комнату
[21:16:42] avysk вышел(а) из комнаты
[21:17:44] Diggimortal вышел(а) из комнаты
[21:25:01] <Typhon> gds, про "sh configure" вроде только про установку самого оксигеня. это просто немного комично, в свете наезда на ermine в рассылке по этому поводу (она посоветовала "sh configure", а кто-то стал про "./configure" говорить).
[21:25:17] <Typhon> Diggimortal -- в фшарпе выпилили модули. это ж жуть!
[21:25:25] <ermine> не, насчет второй баги я прогнала, там мой собственный левый псевдофикс
[21:25:27] <ermine> надо его убрать
[21:28:08] ermine до сих пор мучает abом оксигень для очистки чьей-то совести
[21:36:37] <ermine> бага воспроизвелась, не пофиксилась, видать из другой оперы
[21:37:59] <Typhon> а вторая бага какая?
[21:44:20] <ermine> если в html есть <a href="abc">, то если заходить по ссылке, которая есть каталог (как у нас на камлунити - доки), то в какой-то момент елинкс будет в состоянии "запрос послан, ждем ответа" довольно долго, а ответом будет 302, по которой предлагается ссылку дополнить слэшем и зайти еще разок
[21:45:10] <ermine> я файрфоксмо не смогла воспроизвести, но там наверное зверский кэш в броузере
[21:46:02] <Typhon> ктрл + ф5 на странице, должен без кэша загрузить её
[21:46:50] <ermine> надо там по ссылкам ходить
[21:47:05] <ermine> чтобы напороться на багу
[21:49:53] <ermine> а нет, первая бага пофиксилась (про даемонизацию)
[21:50:43] <ermine> c той переменной оксигень на продакшне вгрузился в даемон
[21:54:16] <ermine> Kakadu: а у тебя оксигень в демон грузится? ocsigenserver -d
[21:54:33] ftrvxmtrx вошёл(а) в комнату
[22:01:01] <Kakadu> ermine: грузится
[22:02:58] <ermine> занятно
[22:03:13] <ermine> проверила, что без переменной оксигень там в демон не хочет
[22:03:33] <Kakadu> давай я переменную поставлю
[22:03:48] komar вышел(а) из комнаты: Replaced by new connection
[22:03:49] komar вошёл(а) в комнату
[22:04:02] <ermine> не
[22:04:44] <ermine> у меня дома оно грузится в демон, разница между двумя машинами - в количестве процов - там коре квадро, дома ht, зато дома более свежая фря чем там
[22:06:34] <Kakadu> ой, квадро это хорошо
[22:06:46] <Kakadu> а в нем ЖПУ есть?
[22:07:22] <ermine> кто?
[22:08:06] <Kakadu> GPU
[22:08:40] <ermine> аштойта? :)
[22:08:57] <Typhon> жрафикс процессинг юнит
[22:09:07] <Kakadu> жирафикс)
[22:09:24] <ermine> у меня десктоп тут, с нвидией
[22:09:25] Typhon вышел(а) из комнаты: Replaced by new connection
[22:09:27] Typhon вошёл(а) в комнату
[22:09:37] <Kakadu> жираф бооольшой, ему видней
[22:18:34] <ermine> надо бы теперь оформить багу с eliom и отрепортить, но лееень
[22:23:55] <ermine> Kakadu: а ты сдал курсач?
[22:36:57] <Kakadu> ermine: делаю
[23:01:34] <ermine> у меня ab завершился с -c 100 -n 10000000
[23:04:42] <ermine> Requests per second:    1343.23 [#/sec] (mean)
[23:05:10] <ermine> тормозно по сравнению с nginx, но побыстрее похапэ
[23:05:31] <Kakadu> сильно лагает?
[23:06:01] <Typhon> на статик файлах? 1300?
[23:06:08] <ermine> ну это вывод странички It works
[23:06:20] <ermine> нечему там лагать
[23:06:26] <Typhon> да это матерное слово
[23:07:09] <Typhon> олсо, если сравнить с http://eigenclass.org/R2/writings/standalone-ocaml-webapps
[23:07:34] <Typhon> то там аппликейшн больше запросов (хотя там не сказано, сколько конкурентных запросов)
[23:08:46] <ermine> у меня к тому же и небыстрая машинка
[23:09:10] ygrek вошёл(а) в комнату
[23:09:11] <Typhon> хм, вообще да, надо бы на твоей нгинкс померять
[23:09:13] <ermine> у меня не дуал даже, а лишь HT
[23:09:36] <Kakadu> ну-ка, сколько у меня
[23:10:47] <ermine> только не забудь выставить ту переменную лвт-асинк_метход, а то опять покинешь нас с последними звуками музыки
[23:11:19] <Kakadu> слушай, если бы ты не сказала, я бы забыл бы
[23:11:28] <ermine> и можно сократить -n на порядки
[23:14:51] komar вышел(а) из комнаты
[23:33:15] komar вошёл(а) в комнату
[23:44:34] ygrek вышел(а) из комнаты