Objective Caml - Среда, 9 марта 2011

Objective Caml

ocaml@conference.jabber.ru

Среда, 9 марта 2011< ^ >

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

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

GMT+3
[00:16:46] Typhon вошёл(а) в комнату
[00:19:08] ermine вышел(а) из комнаты
[00:41:07] Kakadu вышел(а) из комнаты
[01:43:35] gds вышел(а) из комнаты
[01:43:52] gds вошёл(а) в комнату
[01:57:59] ygrek вышел(а) из комнаты
[04:29:39] Typhon вышел(а) из комнаты
[08:22:04] gds вышел(а) из комнаты
[08:56:58] gds вошёл(а) в комнату
[09:07:54] gds вышел(а) из комнаты: Replaced by new connection
[09:07:55] gds вошёл(а) в комнату
[09:37:40] komar вышел(а) из комнаты: Replaced by new connection
[09:37:40] komar вошёл(а) в комнату
[10:46:38] zert вышел(а) из комнаты
[11:00:51] <f[x]> хм! http://caml.inria.fr/mantis/view.php?id=5236
[11:09:54] superbobry вошёл(а) в комнату
[11:12:47] <gds> мне по нраву.  В том числе как пример того, как добавлять примитивы.
[11:15:18] <gds> кстати, ещё интересно было бы кластеризовать пользователей мантиса по признаку "мониторят одно и то же в пределах суток", например.  но геморно слегка.
[11:20:51] Typhon вошёл(а) в комнату
[11:49:12] ftrvxmtrx вышел(а) из комнаты
[13:22:33] <gds> смотрю на свой типа-dbi, надо кешировать prepared statements в условиях периодически закрывающихся соединений к бд.  два варианта: прямой -- добавить в объект connection мапку sql text -> prepared statement handle (например, сделать обёртку вокруг объекта connection, кеширующую операторы (через inherit что ли?..  пока не представляю.)), чрезжопный -- сделать weak-мапку из connection -> sql text -> prepared statement handle.  weak -- чтобы при закрытии соединения мусоргский имел право прибивать все кешированные значения.  какие идеи?
[13:26:34] ftrvxmtrx вошёл(а) в комнату
[15:31:19] gds вышел(а) из комнаты
[17:24:30] <Typhon> f[x]: в extunix в readme: "our devise" — "devise" — это какое-то другое слово, не девиз, лучше motto :-)
[17:28:40] gds вошёл(а) в комнату
[17:32:04] <f[x]> thx
[17:39:59] <Typhon> кстати, extunix можно использовать как reference implementation камлобиндингов? если нет, то куда посмотреть?
[17:41:59] <f[x]> можно
[17:42:51] <f[x]> ну там специфика с ifdef'ами, в большинстве случаев ненужно
[18:08:17] Kakadu вошёл(а) в комнату
[18:26:03] komar вышел(а) из комнаты: Replaced by new connection
[18:26:03] komar вошёл(а) в комнату
[18:46:27] Kakadu в ужасе и не знает что делать изза неожиданных неподладках в системе
[18:46:58] Kakadu матерится и надеется как-то откатить обратно на debian stable
[19:11:57] <komar> Kakadu: шо, дообновлялси?
[19:12:15] <Kakadu> komar: угу
[19:12:22] <komar> Аптитуд запускай.
[19:12:39] <Kakadu> komar: когда сидел на нестабильном сквизи - проблем не  было
[19:12:55] <komar> Ну, от туда-сюда обычно проблемы и случаются.
[19:13:07] <komar> Но они решаемы.
[19:13:29] <Kakadu> проблема такая: система грузится 13 секунд - и черный экран. на клавиатуру отзывается. музыку вслепую запускать могу)
[19:13:42] <Kakadu> в чатике #debian послали делать мемтест
[19:14:35] <komar> Груб прописал какой-нибудь придурашный фреймбуфер?
[19:15:25] <Kakadu> да хер его знает
[19:15:45] <Kakadu> визуально грепать конфиги на слово frame?
[19:16:28] <gds> komar: а чем аптитуд поможет и как его в данной ситуации готовить вообще?  Ключевых слов мне будет достаточно.
[19:18:21] <komar> gds: аптитуд — практически единственное средство разобраться с dependency hell'ом после частичного обновления. Собственно, я знал только что, что оно имело место.
[19:19:05] <Kakadu> а если хэлла нет
[19:19:07] <Kakadu> ?
[19:19:07] <komar> Kakadu: в грубе нажми «e» и подредактируй параметры.
[19:20:04] <Kakadu> komar: нет там ничего про фреймбуффер
[19:20:16] <Kakadu> я вообще-то ещё ставил дрова на нвидию с сайта
[19:20:27] <Kakadu> но я не понимаю как она могла повлиять на систему
[19:20:33] <Kakadu> если только не троян
[19:20:56] <gds> komar: а как его использовать для разборок, известно?  запустил, нифига не понятно.
[19:20:57] <komar> omg, трояны.
[19:21:51] <Kakadu> gds: +1. нифига не понятно
[19:22:14] <Kakadu> gds: я думаю так не объяснить и надо пробьовать на конкретном примере
[19:22:27] <komar> gds: особая магия. Надо просто наизусть знать, как он на какие действия (_, +, -, U) реагирует.
[19:23:18] <gds> я умни, поставил aptitude-gtk.  Впрочем, это мало помогло принципиально.
[19:23:18] <komar> Гм, еще = и : сюда же.
[19:24:59] <komar> Смысл в том, что вот надо тебе, допустим, тертьи кеды со стейбла на тестинге. И ты вот это полчаса туда-сюда смотришь, пока не доведешь устанавливаемый/удаляемый/апгрейживаемый/даунгрейжеваемый набор пакетов до оптимального состояния.
[19:25:35] <komar> Апт-гетом это сделать гораздо сложнее, так как он либо говорит «ой», либо даунгрейдит всё нафиг.
[19:26:32] <gds> гы, aptitude-gtk вообще ни одно из действий меню не выполняет.  попробуем консольное.
[19:30:32] <komar> А магия в том, что, допустим, захотел ты, чтобы пакет какой-то не апгрейдился со всеми, и поставил «hold» с помощью «=». А потом решил поставить какой-нибудь еще пакет, сделал «+» на него, а у этой операции приоритет выше и аптитуд потянул удерживаемый пакет с зависимостью и снял с него флажок «hold». А ты потом сидишь и думаешь, почему у тебя пакет обновился. И вот всё это говно в его поведении наизусть знать надо.
[19:31:11] <Kakadu> komar: а можно как-то вслепую удалить все пакеты, в которых есть nvidia?
[19:31:20] <komar> ssh, не?
[19:31:35] <gds> проще sudo apt-get purge '.*nvidia.*' наверное?
[19:31:35] <Kakadu> ну тогда его вслепую поднимать надо
[19:31:51] <komar> Нвидия нвидией, но консоль-то голая у тебя должна работать. Сделай alt+shift+f1.
[19:32:12] <Kakadu> да я всё время без иксов гружусь по дефолту
[19:32:26] <komar> Тьфу, alt+ctrl+f1.
[19:33:37] <Kakadu> а в чем разница?
[19:34:23] <Kakadu> ещё ремарка: у меня всю жизнь такая проблема была. Если пустить иксы с нвидией, то потом уже на C-A-F1 не переключиться - черный экран
[19:34:38] <Kakadu> ааа
[19:34:44] <Kakadu> , понял в чем разница
[19:35:20] ftrvxmtrx вышел(а) из комнаты
[19:36:23] <Kakadu> gds: можешь посмотреть что-то типа --force - чтобы apt-get меня не переспрашивал и всё удалил сразу?
[19:36:54] <gds> Kakadu: -y
[19:37:24] <gds> apt-get -y purge ...
[19:38:27] <gds> кстати, раз уж оффтопим, подскажите, как жить дальше.  было: убунта 10.10, гном, всё по дефолту, гномопросмотрщик (типа "проводника") видел компы в типа-"сетевом окружении".  после apt-get {install,purge} samba -- перестал.  Можно раскапывать глубоко, но может есть более тупые способы?
[19:41:47] <f[x]> > я вообще-то ещё ставил дрова на нвидию с сайта
FAIL
[19:42:16] <f[x]> оно хоть в deb пакете было?
[19:42:34] <Kakadu> нет
[19:42:45] <f[x]> gds: сделай обратно install sambsa и смотри что притянулось и уноси по одному :)
[19:43:51] <f[x]> Kakadu: PLATINUM FAIL
[19:44:23] <Kakadu> объясните почему именно нвидиа мне мешает. и как вообще понять в чем дело?
[19:46:03] <f[x]> ну проблемы с дисплеем - значит ядро
[19:46:19] <f[x]> lsmod | grep nv
[19:46:27] <f[x]> есть чо?
[19:47:38] <f[x]> find /lib/modules/$(uname -r) | grep nv
[19:47:41] <Kakadu> f[x]: проблема. на 13й секунде черный экран начинается. У меня сейчас не стоит автозагрузка иксов. Т.е. черный экран на консоли.
[19:47:54] <Kakadu> как понять что он печатает мне - непонятно
[19:48:02] <Kakadu> может как-то вслепую поднимать ssh
[19:48:21] <gds> f[x]: притянулось только "samba", ибо "установлено 1 новых пакетов" при apt-get install samba, и по autoremove ничего не сносится.
[19:48:39] <f[x]> тогда загрузись с livecd
[19:48:58] <f[x]> или ssh, да. install openssh-server
[19:51:20] <f[x]> gds: пробуй логически тогда - aptitude show nautilus
[19:51:32] <f[x]> там есть gvfs-backends
[19:51:53] <gds> о, вот ключевого слова "nautilus" я не знал.
[19:53:14] <gds> есть "gvfs" и "gvfs-backends".  может их, таво-этава, purge + install?
[19:54:31] <f[x]> не не
[19:54:38] <f[x]> show gvfs-backends
[19:54:44] <f[x]> там libsmbclient
[19:54:55] <f[x]> т.е. если это всё стоит то должно работать
[19:55:31] <f[x]> а как дебажить - хз, можешь пробовать man smbclient и проверять руками что всё работает
[19:56:37] <Kakadu> f[x]: и что  мне сделать с лайвсиди?
[19:57:16] <f[x]> смонтировать больную систему и посносить всё ошмётки nvidia
[19:57:21] <gds> бывало такое, что остаются левые конфиги, которые подсирают в борщ.  снесу-ка я libsmbclient и поставлю взад, всё равно он фактически не работает.
[19:58:19] <f[x]> Kakadu: а в single-user пробовал грузиться?
[19:58:25] <Kakadu> одна фигня
[19:59:40] <Kakadu> черт
[19:59:49] <Kakadu> на этом лайв сиди нет ничего про ext4
[20:00:19] <f[x]> гы
[20:00:46] <f[x]> ну с известной долей везения оно forward-compatible вроде бы
[20:01:05] <Kakadu> c ext3 не монтируется
[20:01:25] <f[x]> а у тебя в больной системе какие опции загрузки?
[20:01:44] <Kakadu> в смысле?
[20:03:51] <f[x]> ну параметры ядра, в grub'е там
[20:04:47] <f[x]> можно пробовать всякие vga=ask
[20:05:59] <f[x]>    **  Short intro for the impatient: Just use vga=ask for the first time,
   **  enter `scan' on the video mode prompt, pick the mode you want to use,
   **  remember its mode ID (the four-digit hexadecimal number) and then
   **  set the vga parameter to this number (converted to decimal first).
[20:06:37] <Kakadu> ro quiet и всё
[20:07:27] <gds> о, доигрался до "E: Сломанные пакеты": http://paste.in.ua/1874/ , поглядим на aptitude..
[20:12:40] <Kakadu> f[x]: legacy parameter `vga=ask` is not longer supported
[20:13:59] <f[x]> (кстати для таких случаев полезно иметь в системе пару ядер про запас)
[20:14:49] <Kakadu> у меня 2 ядра
[20:15:46] <f[x]> и ни в одно не грузится??
[20:15:49] <Kakadu> нет
[20:15:52] <f[x]> жесть
[20:16:07] <Kakadu> я даже не уверен что это нвидия виновата
[20:17:21] <Kakadu> что надо поставить  чтобы дебиан узнал про ext4?
[20:18:45] <f[x]> ядро >= 2.6.28
[20:19:15] <Kakadu> черт
[20:19:19] <Kakadu> в ленни 26
[20:19:20] <f[x]> (кстати, мне-то тут офтопить можно, но вообще есть debian@c.j.r)
[20:19:29] <f[x]> может чего подскажут
[20:19:35] <Kakadu> они меня послали делать мемтест
[20:22:12] Kakadu держит в руках диск с Freesbie и думает, сможет ли он вызжать оттуда что-нибудь полезное
[20:28:14] <gds> на этом этапе - http://paste.in.ua/1875/ - я понял, что тут через удаления-переустановку пакетов будет сильно дольше, чем разборками с libsmbclient и подобным.
[20:38:34] Typhon вышел(а) из комнаты
[20:39:38] Kakadu вышел(а) из комнаты
[20:47:52] Kakadu вошёл(а) в комнату
[20:48:58] <Kakadu> скажем спасибо scepticу
[20:49:33] <Kakadu> кстати я тут пытался по-быстрому поставить нвидию из репозитория и огреб проблем с зависимостями.
[20:49:46] <Kakadu> так что gds сейчас не один будет хвастаться
[20:49:47] <Kakadu> )
[20:50:20] <f[x]> как решил?
[20:51:38] <Kakadu> f[x]: дописал в грабе nomodeset
[20:53:09] <f[x]> ха, kms. а как догадался?
[20:54:43] <Kakadu> f[x]: скептик догадался
[21:14:36] superbobry вышел(а) из комнаты
[21:19:15] Kakadu вышел(а) из комнаты
[21:37:52] Kakadu вошёл(а) в комнату
[21:38:16] Typhon вошёл(а) в комнату
[21:54:09] ftrvxmtrx вошёл(а) в комнату
[22:24:40] <Typhon> til, про -i : function genint() { ocamlc -i $1 > $1i }
[22:24:52] <Typhon> ещё бы как-нибудь попонтовее ml на mli заменить
[22:25:25] <gds> это баш?
[22:25:30] <Typhon> zsh
[22:26:08] <gds> в общем, если бы был баш, стоило бы, как минимум,
function genint() { ocamlc -i "$1" > "$1i" }
[22:26:31] <komar> rename же есть.
[22:26:46] <komar> Или вы про чо?
[22:27:03] <gds> про ocamlc -i
[22:29:48] <Typhon> ага, про него, прикольно функцию иметь для генерации интерфейсов %)
[22:31:45] <gds> но учитывая различия между inferred-интерфейсами и написанными руками, может имеет смысл "ocamlbuild модуль.inferred.mli", затем облагораживание, и только потом mv модуль.inferred.mli модуль.mli?
[22:32:43] <gds> точнее, не mv, ибо симлинк подразумевал по умолчанию, но идея именно такая.
[23:04:56] ygrek вошёл(а) в комнату
[23:06:02] <ygrek> gds: видел ocamlodbc
[23:06:04] <ygrek> &
[23:06:06] <ygrek> *
[23:06:10] <ygrek> тьфу
[23:06:15] <ygrek> видел?
[23:18:58] <gds> ygrek: до сих пор -- не видел, но посмотрел сейчас.  Мне нужны prepared statements (вообще, глобально), поэтому использовать не могу для постгреса и оракла, а вообще, если не брать их, то хорошая штука.
Если они хотят предоставлять своё апи, то использование обычных вариантных типов оправдано, иначе порицаю за неиспользование полиморфных вариантных типов.  Придирки, ясное дело.
"Now there's no excuse not to use Objective Caml in large industrial projects" -- это хорошо сказано.
[23:19:44] <Typhon> """ мне думается, если бы Хаскель реализовывали инженеры, получился бы ОКамль :-) """
[23:22:11] <gds> Typhon: что-то есть, факт.  И очевидным образом перефразируется про задротов-ботанов :)
Если в общем, считаю, что "если бы современную имплементацию ML реализовывали X -- получился бы Y".
[23:53:13] <ygrek> вау вау вау
[23:53:25] <ygrek> http://caml.inria.fr/cgi-bin/viewcvs.cgi/ocaml/branches/namespaces/README.txt?rev=10977&view=markup
[23:54:12] <ygrek> lefessant зачётный чувак из категории gtd (автор mldonkey, что как бы намекает)
[23:57:23] <Typhon> Очень круто!
[23:59:45] <Typhon> напрягает "It also means that, until everybody start using namespaces,
libraries should be compiled twice, once with namespaces (the new way)
and once without namespaces (the old way), and installed in different
trees."