Objective Caml - Суббота, 5 июня 2010

Objective Caml

ocaml@conference.jabber.ru

Суббота, 5 июня 2010< ^ >

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

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

GMT+4
[00:09:30] ygrek вышел(а) из комнаты
[00:13:51] digital_curse вышел(а) из комнаты
[00:22:36] ygrek вошёл(а) в комнату
[00:46:43] Kakadu вошёл(а) в комнату
[01:03:07] <ygrek> ermine: видела приглашение pps lab тихо пилить ocsigen и бложики на нём за деньги? ;)
[01:07:57] ermine вышел(а) из комнаты
[01:08:33] <komar> У-у, шикарно.
[01:08:47] <komar> Где бы ещё взять engineer or PhD degree.
[01:17:38] ygrek вышел(а) из комнаты
[01:39:59] Kakadu вышел(а) из комнаты
[01:45:45] vshender вышел(а) из комнаты
[09:06:11] ermine вошёл(а) в комнату
[09:14:47] <ermine> ygrek: нет
[09:17:11] ermine как раз тихо пилит свой бложик
[10:28:07] ygrek вошёл(а) в комнату
[11:01:34] <ygrek> в caml-list
[11:08:50] vshender вошёл(а) в комнату
[11:23:02] <ermine> ygrek: там небось менять место жительства надо
[11:42:29] Kakadu вошёл(а) в комнату
[11:47:53] vshender вышел(а) из комнаты
[11:48:14] ygrek вышел(а) из комнаты
[11:50:59] ygrek вошёл(а) в комнату
[12:00:02] <Kakadu> в emacsе можно как-нить сделать чтобы буфер был справа, а не снизу?
[13:04:00] ermine рыдая добавила в биндинг возможность строить множественный вторичный индекс
[13:04:05] <ermine> Kakadu: в отдельном фрейме?
[13:04:27] <ermine> а хз, это все равно надо иметь дисплей 50"
[13:04:40] <Kakadu> нет,  в отдельном я умею
[13:05:30] <ermine> ну ты крут
[13:06:28] <Kakadu> сарказм?
[13:08:14] <ermine> нет, я вот не умею так
[13:10:53] vshender вошёл(а) в комнату
[13:11:55] <vshender> Kakadu: C-x 3
[13:12:09] <vshender> это разделение вертикально
[13:12:21] <vshender> горизонтально, соответственно, C-x 2
[13:12:25] <Kakadu> Ураааа
[13:12:31] <vshender> Закрыть окно: C-x 0
[13:15:42] <ermine> а не 1 ли?
[13:15:53] <ermine> точнее оставить одно
[13:16:11] <vshender> 1 - это оставить только текущее
[13:16:16] <vshender> 0 - закрыть текущее
[13:16:37] <Kakadu> а где написано всё это и то как поменять размеры?
[13:16:49] <vshender> В книге по емаксу
[13:16:51] ermine обычно закрывает убитием c-x k
[13:17:21] <vshender> Проще всего мышой, горизонально по чуть чуть: C-x { и C-x }
[13:17:26] <vshender> Вертикально сходу не помню
[13:17:36] <vshender> C-x k закрывает буфер, не окно
[13:18:30] <ermine> эти два понятия часто совпадают :-)
[13:18:36] <Kakadu> что-то у меня ни мышой, ни клавой не работает
[13:20:32] <ermine> а у тебя fsf или xemacs?
[13:21:02] <vshender> ermine, ну, у меня обычно два фрейма... Я монитор на 90 градусов развернул и помещается по горизонтали по 80 символах в двух фреймах, а по вертикали за сотню строк. Удобно. Обычно справа repl, слева код
[13:21:05] <Kakadu> наверное первое
[13:21:21] <vshender> У меня fsf, работает
[13:21:45] <vshender> Может я не правильно понял, размеры чего изменять хочешь?
[13:22:08] <Kakadu> буфера того что сбоку
[13:22:35] <Kakadu> ааа
[13:22:38] <Kakadu> я мудак)
[13:22:47] <ermine> у меня по 2 делится, по 3 - переходит в поиск
[13:23:55] <ermine> а вот и теперь по 3 переместило в вертикаль
[13:24:00] <vshender> ermine: хм, не знаю, может какие-то специфичные биндинги в текущем режиме...
[13:25:12] <ermine> а вообще я никогда не нуждалась в подобных излишествах
[13:26:22] <vshender> Ъ :)
[13:36:23] abiogenesis вошёл(а) в комнату
[13:48:30] abiogenesis вышел(а) из комнаты
[14:26:47] <Kakadu> # let f () =
  match 5 with 1 -> () | _ -> ();
  8;;
[14:27:00] <Kakadu> почему всё-таки такой синтаксис запрещен?
[14:27:17] <vshender> Причем тут синтаксис?
[14:27:40] <Kakadu> почему камло сделали так, что такой код не компилится?
[14:27:47] <vshender> Здесь тебя ругают на уровне семантики
[14:27:56] <vshender> Потому что match 5 with 1 -- это бред
[14:28:30] <Kakadu> match тут ни причем
[14:28:34] <vshender> И как кажется, это должно быть очевидно
[14:28:43] <vshender> ?
[14:29:05] <Kakadu> это действительно очевидно, но я хотел сделать простой пример
[14:29:58] <vshender> Тогда объясни конкретнее что ты хотел сделать и что тебе выдал компилятор
[14:30:52] <vshender> Потому что если заменить 1 на x и (уже из-за синтаксиса) match обернуть в скобки, то все скомпилируется
[14:31:08] <vshender> let f () = ( match 1 with x -> () | _ -> () ); 8 ;;
[14:31:37] <Kakadu> Ура, скобки то я не огадался поставить ))
[14:31:48] <Kakadu> спасиба
[14:31:59] <vshender> Скобки нужны, так как иначе одна ветка match возвращает unit, вторая -- int, что недопустимо
[15:28:26] Typhon вошёл(а) в комнату
[15:47:30] Kakadu вышел(а) из комнаты
[15:49:48] Kakadu вошёл(а) в комнату
[16:02:45] Typhon вышел(а) из комнаты
[16:03:03] Typhon вошёл(а) в комнату
[16:03:40] Typhon вышел(а) из комнаты
[16:03:59] Typhon вошёл(а) в комнату
[17:16:10] <gds> # match 1 with 5 -> () | _ -> ();;
- : unit = ()
# match 1 with 5 -> true | _ -> false;;
- : bool = false
всё работает.  скобки -- о да.
[17:19:17] <vshender> Да, я уже понял что совсем тут залажал.
[17:19:19] <vshender> :)
[17:19:35] <vshender> Просто не сопоставляется
[17:19:45] <vshender> Несколько месяцев без окамла не прошли бесследно :/
[19:22:49] Typhon вышел(а) из комнаты
[19:23:09] Typhon вошёл(а) в комнату
[19:39:10] <Typhon> внезапно наткнулся на сайт на ocsigen'е -- http://www.pps.jussieu.fr/~gimenez/laby/ :
Error 500
Bad file descriptor in function check_descriptor ()
(Ocsigen running in debug mode)
[19:40:01] <komar> Я как-то раз рассказывал корешу про крутость сего фреймворка как раз в тот момент, когда ocsigen.org выдавал 500.
[19:40:15] <komar> Малаца хорошо зделали.
[19:42:14] <komar> Особенно «Ocsigen running in debug mode».
[19:42:41] <Typhon> ну а чо, не дебаг чтоле: имя функции показал :)
[19:43:07] <komar> Это ексепшн из самой жопы Lwt.
[20:16:46] <Kakadu> покажите ктонить /etc/ocsigen/ocsigen.conf
[20:17:07] <Kakadu> findlib падо найти не может
[20:18:03] <komar> komar.bitcheese.net/files/ocsigen.conf
[20:20:55] <Kakadu> а "ls /usr/lib/ocsigen/METAS/" можно?
[20:21:49] <komar> [komar@komar ~]$ find /usr/lib/ocsigen/METAS
/usr/lib/ocsigen/METAS
/usr/lib/ocsigen/METAS/META.eliom_examples
[20:22:17] <Kakadu> странно, всё совпадает
[20:22:24] <komar> А в чём проблема?
[20:22:33] <Kakadu> [errors.log] 2010-06-05 20:20:25 - Fatal - Findlib package ocsigen.ext.staticmod not found: maybe you forgot <findlib path="..."/>?
[20:22:45] <Kakadu> при старте сервера
[20:23:15] <komar> ocamlfind list | grep ocsigen.ext.staticmod пакет кажет?
[20:23:44] <Kakadu> нет
[20:24:05] <komar> Это печально.
[20:24:27] <Kakadu> наверне придется из исходников компилить
[20:25:29] <komar> Укажи findlib'у пакет ocsigen.ext.staticmod явно.
[20:27:19] <Kakadu> kakadu@kakaduVAIO:/etc/ocsigen$ ocamlfind query ocsigen.ext.staticmod
ocamlfind: Package `ocsigen.ext.staticmod' not founв
[20:27:53] <komar> Ну вот, и я про что.
[20:28:25] <ermine> опять ocsigen?
[20:28:29] <komar> В моём долбияне всё лежит в /usr/lib/ocaml/ocsigen/
[20:29:22] <Kakadu> ну у меня тоже что-то есть там...
[20:29:59] <komar> Ну вот, можно бы было сделать -I /usr/lib/ocaml/ocsigen
[20:30:01] <ermine> я в ocsigen много чего уже понимаю, но в вопросе не поняла
[20:30:20] <komar> А, стой, у тебя же сервер не находит.
[20:30:21] <ermine> и лень мотать хистори вверх
[20:30:25] <Kakadu> вопрос  простой: как запустить сервер?
[20:30:51] <komar> Тогда <findlib path="/usr/lib/ocaml/ocsigen"/> в конфиг.
[20:31:03] <ermine> ocsigen -c config
[20:31:32] <ermine> дефолтный конфиг обычно смотрит туда куда смотрело ./configure при сборке
[20:32:01] <komar> У него из дистрибутива какого-то. Кстати, какого?
[20:32:26] <Kakadu> debian
[20:32:35] <ermine> у меня он самосбором
[20:32:36] <komar> В дебиане всё работает, я гарантирую это.
[20:32:38] <Kakadu> прописка в конфиг не помогла
[20:32:51] <ermine> в дебиане конфиг в /etc/ocsigen
[20:32:56] <Kakadu> в squeeze всё рвыботает?
[20:33:05] <Kakadu> я этот конфиг и правлю
[20:33:10] <komar> Кто такое squeeze?
[20:33:26] <ermine> metas у ocsigen лежат в другом месте, где-то м /var/lib
[20:33:46] <Kakadu> Debian 6.0
[20:33:57] <ermine> сквиза - нерелезный еще дебиан
[20:34:13] <Typhon> ~/kamlo/lib/ocsigen/METAS :)
[20:34:22] <ermine> Kakadu: в init.d нет скрипта ocsigen?
[20:34:22] <komar> Вы не умничайте, вы скажите, тестинг чи не тестинг.
[20:34:33] <komar> А то понапридумывали названий.
[20:34:42] <Kakadu> ermine: Есть, но он матерился всегда при запуске
[20:35:14] <Kakadu> squeeze/sid более усточивый чем testing
[20:35:16] ermine в дебианах не разбирается
[20:35:37] <ermine> Kakadu: покажи ругань
[20:36:06] <Typhon> Kakadu, добавь <findlib path="/path/to/lib/ocsigen/METAS"/> в ocsigen.conf
[20:36:32] <ermine> Typhon: не поможет же
[20:36:40] <ermine> пусть сначала покажет
[20:36:40] <Typhon> ermine, почему?
[20:36:43] <ygrek> squeeze это и есть текущий testing :)
[20:36:57] <ermine> Typhon: можно подумать, что ты уже проштудировал его конфиг
[20:36:58] ygrek ожидаемо вылетел из второго раунда gcj
[20:37:14] <komar> Во, ygrek чоток.
[20:37:27] <Typhon> ermine, ну ocsigen на это ругался :)
[20:38:18] <ermine> Typhon: а покажи плиз строчку из лога
[20:38:19] <Kakadu> ermine: фиг знает какая ругать, из dmesg всё как корова языком слизала
[20:38:43] <Typhon> Kakadu, ermine наверное тебе про лог :)
[20:38:44] <ermine> Kakadu: //var/log/ocsigen/error.log
[20:38:50] <Kakadu> kakadu@kakaduVAIO:/etc/ocsigen$ sduo /etc/init.d/ocsigen force-start
Starting ocsigen: ocsigen.
[20:38:58] <Kakadu> надо извлечь отсюда пользу
[20:39:20] <komar> > sduo
[20:39:28] <ermine> последнюю строчку
[20:39:29] <komar> Что за шелл?
[20:39:36] <Kakadu> это alias
[20:40:02] <Typhon> ygrek, в icfp надо постараться сразу вылететь, в кфалификационном! :)
[20:40:32] <ermine> так в чем проблема-то?
[20:40:38] <Kakadu> короче файла с логом нет
[20:40:58] <Kakadu> но жолжен быть там
[20:41:06] ygrek собственно на icfp и не попадает :)
[20:41:18] <komar> Kakadu: у тебя какой-то палёный дебиан, я собирал свою хренотень на трёх дебианах и всё работало.
[20:42:02] <Kakadu> Ура, я нешел лог
[20:42:03] <Typhon> Kakadu, а вот ты показывал:
Kakadu: [errors.log] 2010-06-05 20:20:25 - Fatal - Findlib package ocsigen.ext.staticmod not found: maybe you forgot <findlib path="..."/>?
-- это откуда? oO
[20:42:24] <Kakadu> сейчас это пять раз в логе есть
[20:42:35] <komar> Это вывод сыпется в error.log и в stdout, если не указан -s
[20:43:20] <Kakadu> тока не error а errors
[20:44:55] <Kakadu> короче прописывание в конфиг /usr/lib/ocaml/ocsigen/ не помогает. Та же ошибка
[20:46:00] <Kakadu> Но в /usr/lib/ocaml/ocsigen/ всёравно файлов META нет. Наверное и не должно было помочь
[20:46:07] <komar> Чё?
[20:46:24] <komar> Говорю же — дебиан палёный.
[20:46:25] <ermine> Typhon: а это не обязательно означает, что надо добавлять финдлиб
[20:47:30] <ermine> но из меня телепат такой же, как и британская королева
[20:48:17] <ygrek> Kakadu: apt-cache policy ocsigen
[20:48:20] <ermine> Typhon: кстати, посмотри в своем конфиге ocsigen, как там выглядит ocsigen.ext.staticmod
[20:48:50] <Typhon> <extension findlib-package="ocsigen.ext.staticmod"/>
[20:49:05] <ermine> лично у меня от в /usr/local/share/ocsigen/METAS
[20:49:13] <Kakadu> kakadu@kakaduVAIO:~$ sudo apt-cache policy ocsigen
ocsigen:
  Installed: 1.3.0-4
  Candidate: 1.3.0-4
  Version table:
*** 1.3.0-4 0
        500 http://ftp.de.debian.org squeeze/main Packages
        100 /var/lib/dpkg/statu
[20:49:16] <ermine> Typhon: а чуть выше?
[20:49:44] <Typhon> к METAS путь, да: <findlib path="/home/typhon/kamlo/lib/ocsigen/METAS"/>
[20:50:39] <ermine> Kakadu: а у тебя METAS где лежат?
[20:51:04] <ygrek> Kakadu: сделай reinstall
[20:51:18] <Kakadu> всё что я знаю  о METAS это то, что они используются findlib
[20:51:39] <Kakadu> фиг знает где они лежат
[20:51:44] <ermine> если он его видит
[20:51:52] <ermine> locate METAS
[20:52:13] <ermine> или whereis, или find / -name METAS
[20:52:20] <ygrek> /usr/lib/ocsigen/METAS
[20:52:31] <ygrek> dpkg -L ocsigen | grep META
[20:52:49] <ygrek> а лучше всё таки для начала reinstall чтобы знать что пакет не поломан
[20:52:50] ermine не уверена, что staticmod имеет отношение к METAS, но уже увлеклась вопросом, где METAS лежит
[20:53:09] <komar> В пакете ocsigen никаких метов нет.
[20:53:52] <ygrek> ну значит в ocsigen-dev или libocsigen-ocaml
[20:54:09] ygrek ставить лень - по apt-file смотрю
[20:54:34] <komar> В libocsigen-ocaml и в libocsigen-ocaml-dev
[20:54:36] Typhon вышел(а) из комнаты
[20:54:46] <komar> This is debia-a-a-an!
[20:54:54] Typhon вошёл(а) в комнату
[20:54:57] <komar> Документацию найти даже не пытайтесь.
[20:55:00] <Kakadu> короче переустановка не помогла, а найти METAS пока никак не удается
[20:55:05] ermine только что поела пиццу и поэтому плеваться на политику дебиана делить все на dev и не dev в данный момент не будет
[20:55:16] <Kakadu> /usr/lib/ocaml/METAS
/usr/lib/ocsigen/METAS
[20:55:39] <ygrek> ermine: очень правильная политика
[20:55:49] <ygrek> документация в /usr/share/docs
[20:56:04] <ygrek> а по пакетам камля у них есть вполне чёткое и актуальное policy
[20:56:06] <komar> *doc
[20:56:32] <ermine> ygrek: ужасная политика, сколько слез и крови лоботрясам она стоит
[20:57:00] ygrek думает плеваться на отсутствие всякой политики в bsd или пойти поискать пиццу :)
[20:57:07] Typhon вышел(а) из комнаты
[20:57:15] <komar> Не знаю, правильно или нет, но искать документацию в /usr/share/doc/ocsigen, потом в /usr/share/doc/ocisgen-dev, потом в /usr/share/doc/libocsigen-ocaml/, потом в /usr/share/doc/libocsigen-ocaml-dev/, а потом в /usr/share/doc/libocsigen-ocaml-doc меня порой бесит.
[20:57:47] Typhon вошёл(а) в комнату
[20:57:56] <ermine> ygrek: в bsd все правильно!
[20:58:45] ermine в очередной раз полезла в исходники bdb
[20:59:00] <Kakadu> чувствую что продолжение знакмства с этим ocsigen начнется когда я буду собирать это из исходников
[20:59:21] <Kakadu> или с этой ocsigen. хзз
[21:00:19] <ermine> Kakadu: а это тоже необходимо для диплома?
[21:00:39] <Kakadu> диплом не причем
[21:00:59] <Kakadu> я не понял как произошел логический переход...
[21:01:09] <Kakadu> мужду ocsigenом и дипломом
[21:01:51] <ermine> ты забыл спросить, не сарказм ли это
[21:02:11] <ygrek> komar: это кстати да, но обычно в -doc всё есть, а в остальных местах симлинки, плюс ещё есть какие-то каталоги документации, но я их не смотрел
[21:02:22] <Kakadu> не сарказм ли это был?
[21:03:10] <ermine> все возможо
[21:04:46] <ermine> возможно я на новой неделе таки засуну на гитхуб биндинг к bdb как он есть, грязный и недоделанный
[21:05:46] <Typhon> главное, чтобы компилировался, остальное неважно ^_^
[21:06:41] <ermine> вот уж этого как обычно не гарантирую
[21:13:20] <ermine> но одно дело - скомпилить, а совсем другое дело - заставить работать
[21:13:43] <ermine> я сегодня вставила поддержку multiple secondary keys и оно перестало работать
[21:13:51] <ermine> не пойму пчу
[21:15:21] <ermine> хнык
[21:16:26] <komar> ygrek: во ты научи меня лучше пакеты собирать.
[21:16:37] <komar> Я уже годы не могу постигнуть этого искусства.
[21:16:52] <komar> Все знакомые дебианщики дальше checkinstall ещё не посылали.
[21:21:37] Typhon вышел(а) из комнаты
[21:21:54] Typhon вошёл(а) в комнату
[21:23:41] <ermine> komar: разве не существует туториалов на эту тему?
[21:24:00] <ermine> step by step for dummies
[21:30:59] <komar> «making debian packages step by step for dummies» выдаёт первым линком ibmdw, гугол стал совсем крут.
[22:23:00] ermine заставила свое поделие работать, но на этот раз это уже выглядит как бага самой bdb
[22:32:53] <ygrek> komar: ты пробуй, там всё достаточно просто
[22:33:39] <ygrek> debian package maintainer manual
[22:46:51] Typhon вышел(а) из комнаты: Replaced by new connection
[22:46:55] Typhon вошёл(а) в комнату