Objective Caml - Четверг, 25 ноября 2010

Objective Caml

ocaml@conference.jabber.ru

Четверг, 25 ноября 2010< ^ >

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

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

GMT+3
[00:31:33] Typhon вышел(а) из комнаты
[00:38:34] Kakadu вышел(а) из комнаты
[00:50:08] gds вышел(а) из комнаты
[00:52:17] arhibot вышел(а) из комнаты
[00:58:54] ftrvxmtrx вышел(а) из комнаты
[00:59:33] ftrvxmtrx вошёл(а) в комнату
[01:44:08] ermine вышел(а) из комнаты
[02:27:34] zert вышел(а) из комнаты
[02:58:27] komar вышел(а) из комнаты
[08:12:41] iNode вышел(а) из комнаты: Replaced by new connection
[08:12:41] iNode вошёл(а) в комнату
[09:02:09] gds вошёл(а) в комнату
[10:29:05] serp256 вошёл(а) в комнату
[10:54:48] ermine вошёл(а) в комнату
[11:15:59] <f[x]> в caml-list'е жгут
[11:17:07] <gds> ога, мне понравилось.
[11:18:37] <gds> да и вообще, эти бенчмарки сирани, по которым х-й выходит чуть ли не дартаньяном, а в реале видим darcs...
[11:21:39] f[x] помнится пытался запихнуть по тредам версию на vmthreads так меня послали с предлогом типа либо все бенчмарки на bytecode либо все в native
[11:40:32] ftrvxmtrx вышел(а) из комнаты
[11:45:55] <gds> а какие там условия по тредам?  может есть смысл нативную версию под lwt асилить, а то и свои треды родить, чисто под эту задачку?
[11:47:46] <f[x]> а там по правилам запрещены свои реализации green тредов :)
[11:47:53] <f[x]> но если они встроены в язык - то можно :)
[11:50:15] <gds> о, судя по срачу в рассылочке про апачевские мемпулы, может покатят треды, реализуемые стандартной библиотекой.
[12:04:06] <gds> стандартная библиотека -- имел ввиду lwt, которая так же стандартна для окамла, как апачевские библиотеки для цэ, а то и ещё стандартнее.
[12:08:35] Mon вышел(а) из комнаты
[12:16:31] <f[x]> yep
[12:28:14] ftrvxmtrx вошёл(а) в комнату
[12:30:14] <gds> кстати, если lwt проканает, можно будет подо все остальные задачки, где приемлемо, налепить относительно-стандартных либ, а через пол-годика и переписать решения с их использованием :)
[12:47:20] <gds> а какая там задача про треды -- chameneos-redux?
[12:48:50] <f[x]> угу
[12:50:54] <gds> "Programs may use pre-emptive kernel threads or pre-emptive lightweight threads"  -- т.е. lwt мимо кассы?
[12:51:50] <f[x]> а, ну вот
[12:55:55] zert вошёл(а) в комнату
[13:12:12] komar вошёл(а) в комнату
[13:13:08] <komar> Вы срач «is ocaml fast?» читаете, что ли?
[13:13:24] <komar> Там какое-то сфеерическое мерянье пиписьками, не рекомендую такие срачи.
[13:16:31] <zert> и что там пропонуют? х-ь?
[13:16:56] <gds> не рекомендовать, вообще-то, стоит микробенчмарки.
[15:20:36] <ermine> f[x]: ты не щупал подстановки в oasis?
[15:20:58] <f[x]> а что там щупать, подставляются
[15:21:20] <ermine> в camlimages файл camlimages.ml надо склепать на основании результатов configure
[15:22:05] <ermine> а еще подстановки в CCOpt на основе png_config
[15:22:31] <f[x]> а вот это уже не знаю как
[15:22:56] <ermine> может мне пристать к Gall
[15:22:57] <f[x]> в ccopt можно передать из параметров configure, а из результатов вызова внешней проги - вряд ли
[15:23:58] <f[x]> и вообще нельзя - мне недавно нужно было пробрасывать параметр configure в ccopt - никак
[15:24:06] <ermine> погоди
[15:24:11] <ermine> про ccopt не поняла
[15:24:20] <f[x]> переменные в ccopt не интерполируются
[15:24:23] <ermine> ocaml setup.ml -configure --copt=...?
[15:24:46] <f[x]> нет
[15:24:58] <ermine> ну тогда надо писать письмо сульвиану
[15:25:07] <ermine> ых
[15:25:19] <f[x]> ага, я обещал фичреквест накатать про это, но руки не дошли
[15:25:42] <f[x]> --override можно только переменнные на "верхнем" уровне, те что в setup.data
[15:26:11] <f[x]> ты вообще можншь генерить _oasis autoconf'ом с нужными ccopt :)
[15:26:21] <f[x]> гг
[15:26:31] Typhon вошёл(а) в комнату
[15:26:56] <ermine> я как раз стёрла autoconf
[15:27:05] <ermine> в пакете camlimages
[15:27:10] <ermine> чтобы это не видеть
[15:27:27] <f[x]> ну теперь будешь придумывать аналог
[15:27:47] <zert> не аналог, а небольшое подмножество
[15:27:55] <ermine> но это вторично, важнее склепать .ml с подстановками
[15:27:55] <zert> ибо весь автоконф — это рак и израиль
[15:29:22] <gds> никто не просит заглядывать внутрь autotools.
[15:29:42] <gds> он даже должен быть chmod a-r,a+x, потому что он не readable.
[15:30:12] <f[x]> всё равно никто не читает документацию
[15:30:35] <f[x]> ну и например квотинг в автоконфе даже с документацией фиг осилишь
[15:31:06] <f[x]> склепать .ml -> cpp или camlp4 и вперёд
[15:33:08] <ermine> ну эт надо сначала получить все результаты setup.ml -configure
[15:33:24] <ermine> парсить config.data?
[15:34:10] ermine скривилась
[15:34:28] <ermine> в доке что-то было про подстановки
[15:34:57] <f[x]> FilesAB:     xxx_config.ml.ab
[15:35:02] <f[x]> oasis manual | less
[15:36:37] <ermine> щас его помучаем
[15:38:31] <ermine> только оно в package
[15:41:31] Typhon вышел(а) из комнаты
[15:47:12] <ermine> и setup.ml можно кастомайзировать
[15:47:34] <ermine> мож туда вставить --ccopt --cclib с путями
[15:48:41] <f[x]> в текущем _oasis без хака это не решается
[15:49:02] <f[x]> подумай как бы ты хотела это видеть в идеальном oasis'е и пожалуйся на forge
[15:49:26] <ermine> в camlimages с пяток биндингов или больше
[15:49:48] <ermine> у них у всех одинаковые ccopt cclib с путями, но на линуксе они не нужны в основном
[15:50:10] <ermine> хотя насчет freetype не уверена, что не нужно на линуксе
[15:56:46] <ermine> хехе, подстановки делаются через Buffer.add_substitute
[15:56:53] <ermine> неожиданно как-то
[16:34:09] arhibot вошёл(а) в комнату
[16:34:18] <arhibot> all
[16:34:28] <arhibot> Что я делаю не так?
# open Llvm;;
# Llvm.create_context();;
Error: The external function `llvm_create_context' is not available
[16:37:05] <f[x]> stublib'ы не нашлись
[16:37:39] <arhibot> llvm-dev llvm-sources всё поставил
[16:38:42] <f[x]> а, это llvm'ная функа?
[16:38:46] <f[x]> может версия не та?
[16:39:11] <arhibot> вроде из репов всё
[16:40:53] <arhibot> а это в функции llvm_ocaml.c
[16:41:13] <f[x]> мдя
[16:41:16] <arhibot> * файле
[16:41:18] <f[x]> # #require "llvm";;
/usr/lib/ocaml/llvm: added to search path
# #require "llvm";;/llvm.cma: loaded
Error: The external function `llvm_global_succ' is not available
[16:41:37] <f[x]> рисуй багу в debian, это считай RC
[16:44:26] <f[x]> sudo aptitude install libllvm-ocaml-2.7-dev
#require "llvm-2.7";;
No such package: llvm-2.7
[16:44:43] <f[x]> ну ваще, ясное дело - точка в имени пакета, а ocamlfind туупой
[16:46:44] <arhibot> $ ls -l /usr/lib/ocaml/llvm
lrwxrwxrwx 1 root root 8 2010-11-25 16:06 /usr/lib/ocaml/llvm -> llvm-2.8
[16:46:58] <arhibot> какая ему разница то?
[16:49:02] <arhibot> $ objdump -x *.a|grep llvm_global_succ что-то находит
[16:50:44] <f[x]> dpkg -L libllvm-ocaml-dev | grep stub
[16:50:45] <f[x]> пусто
[16:51:04] <f[x]> т.е. нет стабов которые нужны топлевелу
[16:51:22] <arhibot> а. т.е. не в топ-левеле оно может и работает
[16:51:28] <f[x]> т.е. можно исопльзовать только для custom bytecode сборок и native
[16:51:38] <f[x]> ага, но багу всё равно стоит накатать (hint hint)
[16:51:52] <arhibot> f[x]: клёво. спасибо
[16:58:15] <arhibot> а всё равно такая фигня %_%
[16:59:02] <arhibot> о
[17:01:27] <arhibot> ocamlc -I +llvm-2.8 dynlink.cma llvm.cma llvm_bitwriter.cma lltest.ml -o lltest
collect2: ld returned 1 exit status
Error: Error while building custom runtime system
[17:01:38] <arhibot> undefined reference to `std::basic_string
[17:01:40] <arhibot> эм
[17:03:07] <f[x]> кто ж так собирает
[17:03:37] <f[x]> а откуда 2.8 ?
[17:03:43] <arhibot> из реп
[17:03:44] <f[x]> т.е. это не дебиановская?
[17:03:48] <arhibot> убунта
[17:04:00] <f[x]> а, ну извините
[17:04:21] <f[x]> попробуй ocamlfind ocamlopt -linkpkg -package llvm lltest.ml -o lltest
[17:04:42] <arhibot> f[x]: ты мой герой. спасибо
[17:04:47] <f[x]> и я ж говорю - байткод при таком раскладе только с -custom будет работать
[17:04:56] <arhibot> аа
[17:34:27] gds вышел(а) из комнаты
[17:36:00] <f[x]> http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=604933
[18:33:57] gds вошёл(а) в комнату
[18:59:18] <serp256> Кто-нибудь юзал lwt, я вот решил попробовать его, и уже целый день понять не могу как его испоьзовать. Но у меня конкретный вопросик по использованию Lwt_pool
[18:59:42] <serp256> есть 10 строчек скрипта, который нихрена не работает как должен
[19:00:04] <f[x]> ermine: хочешь принести пользу обществу? ;) скомпиль плиз extunix из git на bsd и покажи что там ./configure наконфигурит (и make test)?
[19:00:21] <f[x]> btw, sphinx используешь?
[19:02:27] <f[x]> serp256: покажи код (хотя я не шарю, пока в lwt не будет прозрачного подключения своего async кода мне оно не очень интересно)
[19:04:55] <serp256> http://pastebin.com/16eRSf24
ocamlfind ocamlc -o test -syntax camlp4o -package lwt,lwt.unix,lwt.syntax -linkpkg test.ml
[19:05:27] <serp256> Не понятно совсем. Cancel ексцептион валит, как и почему не понятно
[19:16:13] <f[x]> не понятно (но см. disclaimer)
[19:16:35] <f[x]> сейчас мы всех lwt-знатоков и вычислим
[19:16:38] <serp256> disclaimer ?
[19:16:50] <f[x]> disclaimer == я не шарю
[19:17:25] <serp256> я не понимаю нифига, остаеца единственный вэй писать дебаги в сырцы этого lwt
[19:17:35] <serp256> или забить на него :-)
[19:17:46] <serp256> биндинги к либевент рулят :-)
[19:18:51] <ermine> f[x]: сделаю через часа два, а щас умотаю
[19:19:57] <f[x]> рулят (особенно после того как я добавил туда blocking_sections и поддержку event_base) :)
[19:20:18] <serp256> ygrek: у тебя свой форк?
[19:20:30] <f[x]> угу
[19:21:02] <f[x]> http://repo.or.cz/w/ocaml-event.git
[19:27:43] iNode вышел(а) из комнаты
[19:51:05] <gds> serp256: ну ты отжог с размером шрифта в рассылке.  font size=25px!
[19:52:56] <serp256> :-) я думал thunderbird глючит, а он правда такой послал :-)
[20:08:54] Kakadu вошёл(а) в комнату
[20:09:53] serp256 вышел(а) из комнаты
[20:34:49] arhibot вышел(а) из комнаты: Replaced by new connection
[20:34:50] arhibot вошёл(а) в комнату
[20:40:16] ftrvxmtrx вышел(а) из комнаты
[20:46:47] arhibot вышел(а) из комнаты
[20:51:44] iNode вошёл(а) в комнату
[21:37:28] Kakadu вышел(а) из комнаты
[21:48:03] Typhon вошёл(а) в комнату
[21:48:58] <ermine> f[x]: я приползла сюда, дай адрес гита?
[21:49:44] <Typhon> а почему либевент, а не либев?
[21:54:16] <ermine> французы рулят - среагировали на критику к Makefile в ocsigen и js_of_ocam, а еще раньше реагировали в ocamljs, lwt
[21:54:35] <ermine> галл пока не ответил, ых-ых
[22:00:00] serp256 вошёл(а) в комнату
[22:45:02] <ermine> мож ктонить менее ленивый чем я, скажет мне адрес гита extunix?
[22:45:46] <komar> Get source code:
git clone http://git.ocamlcore.org/extunix/extunix.git/
[22:45:53] <komar> use mutt
[22:46:30] <ermine> а при чем тут мутт?
[22:48:13] <komar> А им искать быстро.
[22:48:56] <ermine> а как?
[22:48:59] <komar> /
[22:49:23] <ermine> оно только в сабжекте ищет?
[22:49:34] <komar> Вроде да.
[22:49:35] <ermine> да и надо сначала в какой-то мейллист залезть
[22:50:07] <ermine> склонировала extunix, ща потестим сборку
[22:52:43] <ermine> собралось, чего ж еще ожидать от местных гуру
[23:02:27] serp256 вышел(а) из комнаты
[23:05:21] arhibot вошёл(а) в комнату
[23:05:43] <komar> Чюдеса.
[23:10:02] <ermine> я ща потестила свежий ocsigen из даркса - они пофиксили утечку действительно
[23:36:23] Kakadu вошёл(а) в комнату
[23:39:59] komar вышел(а) из комнаты
[23:46:11] serp256 вошёл(а) в комнату
[23:49:05] ftrvxmtrx вошёл(а) в комнату
[23:56:06] <arhibot> f[x]: а как это ллвм собрать окамлбилдом?
[23:56:40] <Kakadu> что? камлобилд и туда добрался?
[23:56:53] <arhibot> нет
[23:57:25] <arhibot> ocamlbuild.native -cflags -I,+llvm -lflags -I,+llvm $(TARGET).native не линкует
[23:57:40] <arhibot> codegen.o: In function `camlCodegen__codegen_expr_109':
(.text+0x59): undefined reference to `llvm_const_float' и тп
[23:58:01] <Kakadu> ой, я не шарю
[23:58:26] <arhibot> я тоже
[23:58:33] <arhibot> f[x] шарит :)
[23:58:48] <serp256> а где llvm_const_float должен быть?
[23:59:35] <arhibot> ocamlfind ocamlopt -linkpkg -package llvm codegen.ml -o codegen вот так компиляет, но я не хочу писать правила для mll,mly
[23:59:45] <arhibot> хочу кнопку "сделать зашибись"