Objective Caml - Вторник, 26 января 2010

Objective Caml

ocaml@conference.jabber.ru

Вторник, 26 января 2010< ^ >

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

GMT+3
[00:00:13] michael.holub вошёл(а) в комнату
[00:04:37] ermine вышел(а) из комнаты
[00:36:48] Typhon вышел(а) из комнаты
[00:42:33] ExplicitCall вышел(а) из комнаты
[00:51:21] ygrek вышел(а) из комнаты
[00:53:34] kpierre вышел(а) из комнаты
[02:08:36] michael.holub вышел(а) из комнаты
[02:27:26] serp256 вышел(а) из комнаты
[03:18:49] daapp вошёл(а) в комнату
[07:14:06] ermine вошёл(а) в комнату
[07:51:22] geovit вошёл(а) в комнату
[08:16:54] iNode вошёл(а) в комнату
[08:55:22] gds вошёл(а) в комнату
[09:05:50] michael.holub вошёл(а) в комнату
[09:17:09] michael.holub вышел(а) из комнаты
[09:27:49] daapp вышел(а) из комнаты
[09:38:46] daapp вошёл(а) в комнату
[10:09:11] f[x] вошёл(а) в комнату
[10:09:50] serp256 вошёл(а) в комнату
[10:28:41] ygrek вошёл(а) в комнату
[10:39:35] kpierre вошёл(а) в комнату
[10:39:48] kpierre вышел(а) из комнаты
[10:40:00] kpierre вошёл(а) в комнату
[10:47:19] kpierre вышел(а) из комнаты
[12:02:06] ygrek вышел(а) из комнаты
[12:02:31] ygrek вошёл(а) в комнату
[12:40:03] Yakov Zaytsev вошёл(а) в комнату
[12:40:11] <Yakov Zaytsev> hey
[12:59:12] ygrek вышел(а) из комнаты
[13:09:18] Typhon вошёл(а) в комнату
[13:23:54] <Yakov Zaytsev> расшифруйте мне фразу из книжки орейли плиз Since one cannot have a free variable type in a type declaration
[13:24:13] <Yakov Zaytsev> вот тут a' list a - это ведь не то что они имеют в виду?
[13:24:23] <Yakov Zaytsev> а что они имеют тогда? :-/
[13:24:39] Yakov Zaytsev разбирается с объектами окамл
[13:25:10] <gds> имеют ввиду, видимо, что type 'a mytype = A | B of 'b не покатит
[13:25:24] <gds> f[x]: поковырял objsize, тесты текущей версии говорят:
"big list" : data_words=60000000 headers=30000000 depth=29999999
bytes_without_headers=240000000 bytes_with_headers=360000000
я там явно заменяю рекурсию на goto в последнем блоке, который нужно обработать, что годится для списков.
[13:28:13] <gds> ну и насчёт free variable type -- type my_list = list 'a -- тоже не катит.
[13:30:12] <Yakov Zaytsev> спасиб, угу, дошло :-) эти а-шки и б-шки они ж не связанные, хотя с классами посложней выходит, где что связано или нет.
[13:43:08] daapp вышел(а) из комнаты
[13:49:45] <f[x]> gds: ок
[13:49:55] <f[x]> и версию в META обновить не забудь :)
[13:50:30] <gds> кстати да, вот там я бы забыл.
но всё равно 0.14pre выложу для тестирования.
[14:00:34] <gds> f[x]: попробуй http://gdsfh.dyndns.org/gds/objsize-0.14pre.tar.gz , расскажи, работает ли. Не к спеху, конечно.
[14:15:00] Typhon вышел(а) из комнаты
[14:16:33] ExplicitCall вошёл(а) в комнату
[14:40:47] ExplicitCall вышел(а) из комнаты
[14:51:39] ygrek вошёл(а) в комнату
[16:07:52] ygrek вышел(а) из комнаты
[16:10:48] <f[x]> gds: работает
[16:12:59] <gds> на остальных структурах данных (кроме списков) тоже?
[16:16:40] <f[x]> у меня комплексный пример :)
[16:19:28] <gds> радует. Пойду-ка выложу 0.14, стало быть.
[16:52:58] Mon вышел(а) из комнаты
[16:53:05] Mon вошёл(а) в комнату
[16:58:00] geovit вышел(а) из комнаты
[17:13:15] f[x] постепенно избавляется от myocamlbuild.config, ocamlfind рулит и для локальных либ
[17:14:14] <f[x]> кстати чтобы не забывать META обновлять можно использовать ocamlfind install -patch-version $(VER) ...
[17:14:46] <gds> о, сделаю на будущее.
[17:14:49] f[x] вдобавок прочитал документацию и понял как юзать ocamlfind без рута и со stublib'ами
[17:14:55] <gds> а ocamlfind -- ставишь их как системные или даёшь свой findlib.conf?
[17:15:17] <f[x]> в debian'е по дефолту ocamlfind ставит в /usr/local
[17:15:26] <f[x]> т.е. не смешиваются и рут не нужен
[17:15:46] <gds> для записи в /usr/local не нужен рут?
[17:16:38] <f[x]> добавляешь пользователя в staff
[17:17:05] <f[x]> или один раз под рутом делаешь нужный chown на /usr/local/lib/ocaml/
[17:19:50] iNode вышел(а) из комнаты
[17:19:54] f[x] стремается делать make install под root'ом, мало ли что там в этом мейкфайле
[17:22:20] <gds> ага, помнится, люди легко забывают инициализировать переменную в каком-нибудь rm -rf $(MY_PATH)/
[17:23:27] Typhon вошёл(а) в комнату
[17:24:52] <f[x]> во, пытался пример придумать. сразу видно опытного, как-бы это сказать, башника
[17:26:54] <gds> так потому что сам так забывал в своё время. Только было rm -rf "$DIR/work" и от юзера, но, как ни крути, стрёмно :)
[17:30:25] gds вышел(а) из комнаты
[17:34:05] sceptic вышел(а) из комнаты
[17:48:37] ExplicitCall вошёл(а) в комнату
[18:02:05] <Yakov Zaytsev> а че за обжсайз такой?
[18:45:03] gds вошёл(а) в комнату
[18:48:38] <gds> objsize -- штука для измерения количества памяти, занимаемого окамловскими значениями.
[18:54:32] f[x] points at http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=652
[18:55:15] Typhon вышел(а) из комнаты: Replaced by new connection
[18:55:17] Typhon вошёл(а) в комнату
[18:56:36] <gds> там версию обновляют вручную и в написании имени ошиблись, но всё это простительно. урло правильное, и ок.
[19:00:30] <f[x]> какой-то low-tech подход
[19:01:03] <f[x]> надо для каждого рпоекта - урлу по которому обновляется инфа о проекте - а оттуда все подобные каталогизатиоры эту инфу тащат
[19:01:09] <f[x]> наподобие cia.vc
[19:03:36] Typhon вышел(а) из комнаты
[19:05:56] f[x] вышел(а) из комнаты
[19:05:59] gds вышел(а) из комнаты: Replaced by new connection
[19:06:01] gds вошёл(а) в комнату
[19:08:28] Kakadu вошёл(а) в комнату
[19:09:59] ExplicitCall вышел(а) из комнаты
[19:33:43] serp256 вышел(а) из комнаты
[19:47:55] iNode вошёл(а) в комнату
[19:51:00] gds вышел(а) из комнаты: Replaced by new connection
[19:51:02] gds вошёл(а) в комнату
[19:57:21] ExplicitCall вошёл(а) в комнату
[20:13:54] sceptic вошёл(а) в комнату
[20:25:55] ygrek вошёл(а) в комнату
[21:13:06] DangerMan вошёл(а) в комнату
[22:17:56] sceptic вышел(а) из комнаты
[22:30:47] sceptic вошёл(а) в комнату
[22:31:32] sceptic вышел(а) из комнаты
[22:31:39] sceptic вошёл(а) в комнату
[22:38:32] DangerMan вышел(а) из комнаты
[22:59:30] iNode вышел(а) из комнаты
[23:31:56] gds вышел(а) из комнаты