Objective Caml - Четверг, 24 марта 2011

Objective Caml

ocaml@conference.jabber.ru

Четверг, 24 марта 2011< ^ >

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

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

GMT+3
[00:24:08] Kakadu вышел(а) из комнаты
[00:25:53] ygrek вышел(а) из комнаты
[00:26:04] ygrek вошёл(а) в комнату
[00:58:58] ygrek вышел(а) из комнаты
[01:14:49] zert вышел(а) из комнаты
[03:00:59] <Typhon> задумался -- let x = Tpl (parse stream, parse stream) -- есть у меня гарантии, что второй вызов будет действительно вторым или никаких? подразумевая, что stream : Stream.t, а парсеры деструктивные.
[04:19:13] Typhon вышел(а) из комнаты
[10:19:17] iNode вышел(а) из комнаты
[10:20:22] ygrek вошёл(а) в комнату
[10:47:39] Typhon вошёл(а) в комнату
[11:00:13] komar вышел(а) из комнаты: Replaced by new connection
[11:00:13] komar вошёл(а) в комнату
[11:02:50] <f[x]> будет два вызова, только фиг знает в каком порядке
[11:24:29] gds вошёл(а) в комнату
[11:24:30] <Typhon> ага, что будет два было понятно, про порядок возникли сомнения. по-моему, даже как-то простреливал себе коленку таким образом, суя в туплы результат сайд-эффектнутых функций.
[11:36:37] Kakadu вошёл(а) в комнату
[11:57:44] <gds> вот интересно.  Есть программа, линкуемая с lwt, использующая Lwt_io.write_line для создания top-level module values, но не использующая Lwt_main.run.  Состоит из модулей, и в конце последнего из модулей (смотрел по командной строке линковки) стоит отладочная печать.  Удивительно, но то, что должно было быть выведено по Lwt_io.write_line, было выведено после последней отладочной печати.  Вероятно ли, что это из-за всяких at_exit?
[11:58:25] ermine вошёл(а) в комнату
[11:59:29] <gds> и с другой стороны, вообще интересно, как значения с типом Lwt.t "работают", будучи оформленными в качестве top-level module values?  Когда сайд-эффекты совершаются, как тут влияет Lwt_main.run, как влияет Lwt.ignore_result.
[12:08:39] Kakadu вышел(а) из комнаты: Replaced by new connection
[12:08:39] Kakadu вошёл(а) в комнату
[12:48:21] iNode вошёл(а) в комнату
[12:51:00] ygrek вышел(а) из комнаты
[13:18:29] Kakadu вышел(а) из комнаты: Replaced by new connection
[13:18:29] Kakadu вошёл(а) в комнату
[13:51:30] superbobry вошёл(а) в комнату
[13:51:47] <superbobry> товарищи, а какой нить стайл гайд единый есть для окамла?
[13:51:51] <superbobry> или все пишут как хотят?
[13:52:24] ygrek вошёл(а) в комнату
[13:52:26] <Typhon> http://caml.inria.fr/resources/doc/guides/guidelines.en.html
[13:52:48] <Typhon> но это не строгие предписания, ага + они про оригинал, кажется
[13:53:36] <superbobry> спасибо
[13:53:37] <Typhon> gds: без run не должен выполнится, с ignore_result тоже не должен, как мне думается. разве что хуки при выходе сработают.
[13:54:17] <Typhon> btw, нет ли у кого деплой-программы не на баше с установкой камла, финдлиба, ещё каких-нибудь своих целей — никто такое не писал для своих нужд?
[13:54:22] <superbobry> я вот еще что хотел спросить -- какие flagship applications есть на окамле? на вики тока xen-api упоминают, неужели все?
[13:54:38] superbobry изменил(а) имя на bobry
[13:55:19] rren вошёл(а) в комнату
[13:56:08] <Typhon> софт janestreet, mldonkey, unison. coq, софтина фейсбука, кокцинель
[13:56:46] <Typhon> это то что из верха головы
[13:56:49] <f[x]> xen
[13:57:04] <bobry> не xen, a xen-api только :)
[13:57:39] <f[x]> а, уже сказали, да
[13:57:44] <f[x]> fftw
[13:57:49] <f[x]> hevea
[13:58:04] <Typhon> fftw на камле?
[13:58:15] <f[x]> камль генерит сишный код тама
[13:58:25] <Typhon> ааа, круто, не знал.
[13:58:27] <f[x]> кстати libvirt - биндинги тоже камлем генерятся
[13:58:30] <bobry> nice nice
[13:58:36] <bobry> libvirt? биндинги к чему?
[13:58:38] <bobry> или ко всему
[13:58:42] <f[x]> биндинги к libvirt
[13:58:47] <bobry> камловские?
[13:58:53] <f[x]> не, много разных
[13:59:04] <f[x]> ну и камловские тоже наверное
[13:59:24] <bobry> лол, то то я думал -- чего это там такой интерфейс "странный"
[14:00:53] <f[x]> https://forge.ocamlcore.org/plugins/mediawiki/wiki/ocaml-meeting/index.php/OCamlMeeting2011#Using_OCaml_to_generate_198.2C278_lines_of_C.2C_by_Richard_Jones
[14:01:10] <f[x]> кстати, frama-c и cil в копилку
[14:01:19] <f[x]> может у себя на вики список заведём?
[14:01:26] <Typhon> да, давайте
[14:01:27] <bobry> слайды бы еще
[14:01:29] <gds> а идея.
[14:01:30] <bobry> ага, полезно было бы
[14:02:05] <f[x]> Typhon: на баше скрипт есть :) плюс в irc есть odb который при установленном камле и findlib ставит пакеты из oasis-db (типа неофициальный клиент)
[14:02:05] <Typhon> определённая ниша даже — взаимодействите с виртуализацией всякой + кодо анализ и генерация
[14:02:38] <Typhon> f[x]: о, а что за odb, есть урлы?
[14:02:40] <f[x]> с виртуализацией тут по-моему просто статистика - это сейчас горячая тема и нету тонн легаси кода
[14:03:34] <f[x]> ну и я ещё рисовал ovm - переключалку environment для разных установленных камлей и планировал туда впилить bootstrap - скачивание и компилцию камля и финдлиба
[14:03:52] <f[x]> https://github.com/thelema/odb
[14:04:19] <Typhon> спасибо, надо будет накидать бутстрапер
[14:04:25] <Typhon> а баш — плохо! :)
[14:06:10] <f[x]> с одной стороны плохо, а с другой надо было быстро на чистые билдсерверы засетапать камло плюс несколько либ
[14:07:03] <Typhon> ну понятно, временные решения всегда быстры, но потом остаются как постоянные :-) зависимость от курла не нравится у odb
[14:07:15] <bobry> а, вот еще -- никаких активных UG в москве-питере нету?
[14:07:32] <bobry> или смешной вопрос?
[14:08:02] <Typhon> на окамлмитинг в париже приезжают меньше сотни, кажется :)
[14:08:27] <bobry> ох, показательно
[14:09:36] <f[x]> зато какие меньше сотни :)
[14:10:05] <Typhon> про снг — вот тут в чятике сидит ~10 человек, из них, дай б-г, которого нет, больше двух только в москве
[14:10:09] <Typhon> и то — трое
[14:10:16] <Typhon> (сам не могу распарсить, что написал)
[14:10:42] <f[x]> кстати вики идея - форматтер вики текста потом js_of_ocaml и получаем быстрый preview в браузере
[14:10:44] <Typhon> f[x]: да, на хаскиль тусах, как я понимаю, народу больше, из-за хайпа, но не весь народ клёвый
[14:11:09] <Typhon> это к Kakadu надо :)
[14:11:23] <Typhon> + на cufp камлисты собираются
[14:17:01] <gds> интересно, а есть ли в природе C user groups?
[14:17:14] <bobry> :)
[14:17:20] <bobry> ну может лет эдак 30 назад
[14:17:46] <Typhon> gds: в москве вроде были bdsm салоны
[14:18:12] <gds> понятно, К+Р когда придумывали, это была первая user group, но потом -- не знаю.  Инструмент как инструмент, можно его использовать, можно не использовать.  Обязательно ли собираться при этом в реаллайфе?..
[14:18:45] <gds> Typhon: Безграничное Доверие, Сострадание и Милосердие?
[14:18:51] <bobry> ;D
[14:19:39] <Typhon> %) оно, ага
[14:44:08] zert вошёл(а) в комнату
[14:55:14] <Kakadu> f[x]: кто что от меня хотел?
[14:56:49] <f[x]> а я чё, я ничего, просто эмитирую идеи
[15:13:31] ygrek вышел(а) из комнаты
[15:14:20] bobry вышел(а) из комнаты
[15:19:27] bobry вошёл(а) в комнату
[15:43:13] Kakadu вышел(а) из комнаты
[15:49:39] Kakadu вошёл(а) в комнату
[15:51:56] <f[x]> http://gdsfh.dyndns.org/kamlo/RealWorld
[15:53:04] <Typhon> ха, я только что проверял как раз — ещё не было :-)
[15:56:07] <Typhon> может указать "generated by ocaml" там где это так? или типа итак ясноЮ
[15:56:09] <Typhon> ;?
[15:56:35] <f[x]> машинный код сгенерирован камлем (с)
[15:56:46] <f[x]> там ссылка на faq
[15:56:57] bobry хочет окамл 3.12 в бубунту -- хоть сам собирай
[15:57:02] <Typhon> а, ок
[15:57:41] <f[x]> http://le-gall.net/sylvain+violaine/blog/index.php?post/2010/09/01/64-ocaml-312-with-debian-sid-right-now
[15:57:42] <Typhon> f[x]: а libguestfs и libvirt почему не указал?
[15:57:59] <f[x]> не нашёл у них на сайте упоминаний
[15:58:05] <f[x]> может я напутал чего
[15:58:42] Typhon собрал окамель312 на убунте сам и совершенно не стыдится!
[15:59:52] <bobry> Typhon, в пакеты?
[16:00:11] <Typhon> нет, конечно :)
[16:00:17] <bobry> ну йома, так не интересно же :)
[16:01:24] <Kakadu> у меня что-то checkinstall не для всех пакетов проходил.
[16:01:33] <Kakadu> я забил и пошел собирать без него
[16:34:43] komar вышел(а) из комнаты
[16:52:59] komar вошёл(а) в комнату
[17:12:55] komar вышел(а) из комнаты
[17:17:33] <bobry> а godi еще модно? что то последний релиз в 2009 был, и тем не менее batteries советуют ставить через него
[17:18:36] komar вошёл(а) в комнату
[17:23:20] <Typhon> да ладно, где тебе годи советуют?
[17:23:40] <bobry> арр, это документация к бете
[17:23:47] <bobry> Typhon, чем ставить пакеты то?
[17:23:59] <Typhon> libhands :D
[17:24:18] <Typhon> в чотких пакетах есть setup.ml — оасис файл инсталляции
[17:24:27] <Typhon> выше пробегал odb — можешь его затестить
[17:25:06] <Typhon> а так — ocaml setup.ml -configure; ocaml setup.ml -make; ocaml setup.ml -instal
[17:26:02] <Typhon> батарейки есть на гитхабе, например
[17:26:48] <f[x]> товарищ, зри в оба! - не допускай бездушные средства автоматизации в творческий процесс установки камлевых либ
[17:27:20] <bobry> ну блин, у меня выбор либо локально в ~/.whatever либо пакетом
[17:27:26] <bobry> не хочу sudo make install -- это какая то фигня
[17:28:34] <f[x]> adduser xxx staff и make install без sudo
[17:28:41] <f[x]> в нормальных дистрибутивах
[17:29:08] <f[x]> в ненормальных - сам поставь sticky bit на /usr/local и нужную группу/пользователя
[17:29:45] <f[x]> ну или пропиши ocamlfind'у ставить в ~/.whatever и тоже sudo не нужен
[17:31:16] <bobry> о, последний вариант -- то что надо, мерси
[17:34:51] <Typhon> этическое! понадобилась пара функций из батареек — скопировал (поменяв кое-что, но не суть) к себе. это правильно, или лучше зависимость к батарейкам ставить? с одной стороны, типа "батарейки есть на каждой тачке", баги закрывать и улучшать эти функции будут люди другие, с другой — ну ради двух функций такую дуру в зависимости, ну ё моё!
[17:40:00] <f[x]> о где же тот предел
[17:40:46] <Typhon> дада
[18:34:49] bobry вышел(а) из комнаты: Replaced by new connection
[18:34:51] bobry вошёл(а) в комнату
[18:51:21] bobry вышел(а) из комнаты: Replaced by new connection
[18:51:22] bobry вошёл(а) в комнату
[19:11:09] Kakadu вышел(а) из комнаты
[19:11:47] bobry вышел(а) из комнаты
[19:12:58] Typhon вышел(а) из комнаты
[19:13:10] ftrvxmtrx вышел(а) из комнаты
[19:13:19] ftrvxmtrx вошёл(а) в комнату
[19:16:05] zert вышел(а) из комнаты
[19:30:19] bobry вошёл(а) в комнату
[19:55:52] bobry вышел(а) из комнаты
[20:12:12] <f[x]> https://lwn.net/Articles/434745/
[20:18:57] Kakadu вошёл(а) в комнату
[20:30:16] <Kakadu> ух, в честь ermine статус поправили)
[20:36:18] <ermine> об чем речь?
[20:37:06] <Kakadu> о встречном сообщении при входе в комнату
[20:42:00] ermine нифига не поняла
[20:42:06] <ermine> ну да ладно
[23:04:19] <Kakadu> ermine: я затупил: как превратить Dom_html.bodyElement Js.t в Dom_html.bodyElement?
[23:12:20] <ermine> Kakadu: я с такими вещами не возилась :)
[23:12:42] <Kakadu> вот будет обидно если никак
[23:12:50] <ermine> я пару недель никакого оксигена не видела и еще не готова его увидеть
[23:13:14] <Kakadu> (
[23:13:58] <ermine> а что такое .t и что такое оно же без .t?
[23:14:33] <Kakadu> без .t это нормальный камловый класс, с которым можно что-то делать
[23:15:18] <ermine> а с .t через ##?
[23:15:49] <Kakadu> да ладно, неужели я так сильно затупил
[23:17:19] <ermine> попробуй взять отпуск, чтобы скальпелем в тебе поковыряли - тогда такие вопросы не будут волновать :)
[23:18:14] <ermine> кста, сегодня в дарксе js_of_ocaml были изменения
[23:18:27] <Kakadu> да я только что покомпилялся
[23:32:28] ermine вышел(а) из комнаты
[23:46:38] Typhon вошёл(а) в комнату
[23:51:52] <Typhon> про цитату на lwn -- камлу надо срочно переименовываться во что-нибудь, где нет "objective" и делать синтаксическое расширение, позволяющее объявлять классы как какие-нибудь row types. про модулярити с помощью private row types, кстати, в рассылке мелькали сегодня сообщения и ссылки на папиры. про антипараллел -- надо продвигать сразу антиООП движ, и "ерланг -- ООП" -- так, чтобы весело получилось.
[23:52:05] <Typhon> в RealWorld на вике люди добавляют новое, ага :-)