Objective Caml - Пятница, 15 апреля 2011

Objective Caml

ocaml@conference.jabber.ru

Пятница, 15 апреля 2011< ^ >

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

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

GMT+4
[00:06:03] ygrek вышел(а) из комнаты
[00:23:37] ermine вышел(а) из комнаты
[00:23:43] gds вышел(а) из комнаты
[01:32:39] <komar> ygrek, ну тупыыыые.
[01:36:16] <komar> Ох уж эти академики.
[03:35:15] Typhon вышел(а) из комнаты
[04:06:53] ftrvxmtrx вошёл(а) в комнату
[07:42:33] iNode вышел(а) из комнаты
[08:09:29] komar вышел(а) из комнаты: Replaced by new connection
[08:09:37] komar вошёл(а) в комнату
[08:22:22] iNode вошёл(а) в комнату
[08:25:02] gds вошёл(а) в комнату
[09:52:17] Typhon вошёл(а) в комнату
[10:04:32] <gds> померял rps байткодовской версии в тех же условиях, вместо 4.2..4.4k получилось 1.5..1.6k.  мне в целом нравится.  следующим шагом прикручу парсинг json из тела запроса и выдачу другого json в теле ответа, json-static и всё такое.  Померяю, расскажу.
[10:11:12] <Typhon> http://martin.jambon.free.fr/yojson.html ещё есть, если не видел — обещают двухкратный прирост
[10:20:08] <gds> ага, да и штука гораздо более прямая концептуально -- atdgen, все дела.  Однако видел зависимости, посмотрел на них внимательно, и развидел.
[10:24:07] <gds> мне сейчас всё надо очень быстро, поэтому "убунта, пакеты и всё, что есть в пакетах" -- то, что я сейчас выбрал.  А то, что вне пакетов (локальные либы, parvel, ocaml-iteratees, ocaml_monad_io) -- для них создал репку с субрепками (оказывается, меркуриал такое умеет), репку назвал rebildol, и в репке скрипт сначала make uninstall ( => ocamlfind remove), затем делает по порядку make install для всех субрепок.  Скрипт запускаю так:
$ (cd ../rebildol && ./run.sh) && ocamlbuild -clean
Так и живу.
[10:40:08] ftrvxmtrx вышел(а) из комнаты
[11:14:22] Kakadu вошёл(а) в комнату

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

[11:28:37] Конфигурация комнаты изменилась
[11:43:38] ftrvxmtrx вошёл(а) в комнату
[12:12:17] ygrek вошёл(а) в комнату
[12:19:30] iNode вышел(а) из комнаты
[12:33:59] ermine вошёл(а) в комнату
[12:37:28] <gds> научился ocamlfind ocamlbrowser -package myshit, мне по нраву.  сигнатурки, все дела.
[12:37:40] ygrek вышел(а) из комнаты
[12:37:46] ygrek вошёл(а) в комнату
[12:44:13] iNode вошёл(а) в комнату
[12:47:48] iNode вышел(а) из комнаты
[12:48:16] <Kakadu> gds: респект, теперь и я так умею
[12:48:42] <gds> ну хоть какая-то польза от меня в чятике :]
[12:48:47] <f[x]> +1
[12:49:41] <Kakadu> а я поуши в дерьме, у меня дома отвалился джаббер. не коннектит. надо брать wireshark , мачете и прорубаться
[12:58:35] <gds> Kakadu: простые вещи типа ping и telnet на нужный порт уже проверил?
[13:06:06] ygrek вышел(а) из комнаты: Replaced by new connection
[13:06:06] ygrek вошёл(а) в комнату
[13:06:22] <Kakadu> gds: pingи ходят
[13:06:28] <Kakadu> traceroute вроде норм
[13:06:39] <Kakadu> он пароль проглатывает, но в онлайн меня не переводит
[13:06:47] <Kakadu> если пароль плохой - ругается
[13:14:36] <f[x]> стучи админам сервера по голове
[13:26:20] Kakadu вышел(а) из комнаты: Replaced by new connection
[13:26:20] Kakadu вошёл(а) в комнату
[13:36:48] iNode вошёл(а) в комнату
[13:39:45] iNode вышел(а) из комнаты
[13:57:01] Kakadu вышел(а) из комнаты
[13:57:10] Kakadu вошёл(а) в комнату
[14:05:51] Kakadu вышел(а) из комнаты
[14:06:22] Kakadu вошёл(а) в комнату
[14:08:44] <Kakadu> ermine /me троллит. /me чувствует себя чайником
[14:08:53] <Kakadu> черт, так не работает
[14:14:40] <ermine> Kakadu: постучи лучше в саппорт провайдера
[14:15:12] <Kakadu> ermine: придется им звонить и разбираться.
[14:15:20] <ermine> Kakadu: в понедельник был переезд сервера, а dns остался на месте
[14:15:51] <gds> не проще ли тогда просто ип прописать?
[14:15:59] <Typhon> так достукивается же
[14:16:06] <f[x]> пароль поменять не забудь :)
[14:16:14] <Typhon> может энкриппция какая?
[14:16:21] <gds> вот именно, пароль поменять, потому что достукивается.
[14:16:34] <f[x]> хотя уже поздно наверное
[14:16:47] <Kakadu> давайте сарказм уберем, а то я совсем запутаюсь
[14:16:50] <ermine> кста, сегодня вечером опять будет даунтайм на 15 минут
[14:16:55] <f[x]> увели акк, всё уже
[14:17:02] <f[x]> ssl детям не игрушка
[14:17:57] <ermine> а что такое ssl - он идет поверх tcp или снизу него?
[14:18:18] <ermine> вот если бы снизу - можно было сразу понять, где проблемы
[14:18:41] <Kakadu> я думаю, что tcp ближе к транспортному уровню, чем ssl
[14:19:26] <f[x]> хочешь снизу - а точнее вместе - тебе tcpcurve или ipv6
[14:19:27] <ermine> все думают, что ssl идет поверх tcp
[14:19:45] <ermine> раз усе пашыт без ssl - значит проблема не в tcp :)
[14:19:53] ermine тоже немного потролила
[14:24:28] avysk вошёл(а) в комнату
[14:28:54] <Typhon> скоро прикроют на оксиген.орг рисовальную лавочку: http://www.creads.org/logo-design/creation-logo-applications-web/creation107634
[15:46:09] iNode вошёл(а) в комнату
[15:50:38] <gds> http://permea-kra.livejournal.com/24715.html
[15:51:12] <gds> ВОЕНЫ ОКМЛ!  ОТАКЕ!
[15:54:31] <Kakadu> за Родину, за функторы!
[16:01:47] komar вышел(а) из комнаты
[16:22:15] <Kakadu> gds: а Standart ML действительно так идеологически чист, как утверждает sorhed?
[16:23:47] <Typhon> "Верблюд мертв, его тоже давно закапывать пора." сообществе некрофилов возражает! мы ешё того, по-мся %)
[16:23:57] <Typhon> я бы не стал верить sorhed'у ^_^
[16:24:34] <gds> Kakadu: не знаю, мало видел SML.  И "идеологическая чистота" для меня не коррелирует с "практически-используемым языком общего назначения".
[16:24:55] <f[x]> мёртв-то мёртв, но лучше пусть полежит пока рядом!
[16:25:11] <Typhon> такая мысль может возникнуть из-за того, что в окамле объекты есть, а они не модны в фп, например
[16:25:29] <Typhon> + в смл кажется все функции одноаргументные, тоже истоки, в каком-то смысле
[16:25:31] <gds> дада, про объекты и хомячков тоже хотел кое-что сказать, да воздержался.
[16:26:23] <Kakadu> у меня пока осознание, что объекты для гуя - очень круто
[16:26:49] <gds> можно гуй и без объектов, но с ними -- удобнее.  и подтипизация, и позднее связывание, что хорошо.
[16:27:13] <Kakadu> а что такое позднее связывание?
[16:27:21] <gds> надо выпустить синтаксическое расширение, обрубающее class, object, method, "#", inherit и подобное.  TRVE NORSK CAML1!1111
[16:27:50] <Kakadu> s/NORSK/CHEL9BINSK/g
[16:28:25] <Kakadu> Челябинские камлисты настолько суровы,что....
[16:28:41] <Kakadu> представляют ПИ в виде чисел черча
[16:28:46] <Typhon> пользуются только unsafe функциями ;-)
[16:29:03] <Typhon> или только Obj.magic
[16:30:49] <gds> Kakadu: позднее связывание, если на пальцах, это когда вызываешь код, который находится в пока недоступной единице компиляции.  (предполагаем, что компиляция относительно линейна, есть порядок по модулям, какой-то порядок по значениям.)
[16:31:33] <Kakadu> gds: extern в Си?
[16:37:26] <gds> Kakadu: в том числе да, резолвится линкером.  Да и вообще много таких примеров есть, но на объектах это относительно удобно.
[16:39:12] <Kakadu> угу
[16:46:08] komar вошёл(а) в комнату
[16:46:14] <Kakadu> я пока вижу в SML более удобную работу с туплами и возможность использовать имена конструкторов как функции
[16:46:45] <Kakadu> и ещё я узнал, что в камле порядок вычесления аргументов функции не определен
[16:48:01] komar вспомнил, как искал ответ на вопрос, почему конструкторы нельзя использовать как функции, нашел пост Лероя с тонной матана и ничего не понял.
[16:48:33] <Kakadu> komar: =)
[16:48:47] <Kakadu> может алгебры а не матана?
[16:49:14] <komar> Матан — это все, чего я не понял.
[16:49:44] <Typhon> было письмо без матана, совсем недавно где-то всплывало
[16:57:46] <Kakadu> Кто знает как SML типизирует fun f = #x
?
[16:57:52] iNode вышел(а) из комнаты
[16:59:12] <gds> более того, недавно я пост без матана находил.  ща.
[16:59:23] <f[x]> не было там никакого матана - просто design desicion
[16:59:36] <Kakadu> давайте и с матаном, и без
[17:00:16] <gds> http://groups.google.com/group/fa.caml/browse_thread/thread/20e96409c5418394/5907e1593a84b03a?pli=1
[17:00:34] <gds> а где с матаном -- я не знаю.
[17:00:49] <Kakadu> http://www.youtube.com/watch?v=zYQ7YeV5bCw
[17:01:56] <gds> "Revised syntax uses curried constructors" -- вот где они это выкопали?  А то иногда надо.
[17:09:49] <f[x]> надо в вики положить, а то вопрос постоянно всплывает
[17:10:34] <f[x]> gds: я так понимаю это одна из фич которую выкинули в процессе причёсывания revised (вместе с \+ вместо (+))
[17:14:23] <gds> кстати, может перебить в топике вику?  Пусть на https://github.com/camlunity/kamlo_wiki указывает.  Или там что-то слишком "under construction"?  Вроде файлы есть, смотреть можно..
[17:14:48] <f[x]> как меня бесит стиль кода в oasis'е
[17:15:06] <f[x]> экраны кода по 30 символов шириной
[17:15:33] <gds> а хотя хз про вику, https://github.com/camlunity/kamlo_wiki/blob/master/RevisedSyntax.md -- как-то непонятно, {.backtick} какой-то.
[17:48:32] <Typhon> 90 процентов ок, некоторые куски форматирования поплыли :-( я там правил, вы если находите — правьте, будь ласка, тоже :)
[18:07:53] Комната запущена
[18:07:53] Typhon вошёл(а) в комнату
[18:08:31] Typhon вышел(а) из комнаты
[18:08:54] ermine вошёл(а) в комнату
[18:09:01] Typhon вошёл(а) в комнату
[18:23:16] gds вошёл(а) в комнату
[18:24:30] zert вошёл(а) в комнату
[18:53:18] <gds> обнаружил новую болячку, ХГМ.  Один из многочисленных симптомов состоит в том, что поциэнт уверен, что язык программирования обязан выполнять какую-либо исследовательскую задачу.
[18:53:31] ftrvxmtrx вошёл(а) в комнату
[18:56:22] <Typhon> Искать Искусственный Разум на Просторах Вселенной, чтоли?
[18:58:36] ftrvxmtrx вышел(а) из комнаты: offline
[18:59:46] <Typhon> а на вопрос "зачем?" что отвечает? :-)
[19:02:58] <gds> дада, бороздить просторы этогосамого.
внутренняя аргументация мне тоже интересна, поинтересуюсь.  Тут ведь важно подходить ко всем людям тактично, вежливо, поэтому подожду подходящего случая, чтобы не быть бестактным (или хотя бы даже малотактным).
[19:02:59] <zert> уверен?
[19:05:33] komar вошёл(а) в комнату
[19:13:10] f[x] вошёл(а) в комнату
[19:24:21] <Typhon> в тред у пермяткры (так это читается?) нужно ссылки на окамлпро чтоле кидануть
[19:24:43] <Typhon> """1) От скуки. Поддерживать все равно приходится, а так что-то полезное выйдет.""" — АРГУМЕНТ!
[19:25:14] <Typhon> 3) Нет, разумеется. Но его должны пилить, портируя на новые архитектуры и платформы, плюс у него должен быть нормальный рантайм (зеленые нитки, параллельный сборщик мусора, асинхронный ввод-вывод и т.п. ) или хотя бы должна вестись работа в данном направлении.  — вот чувак и ответил, что язык не мёртвый
[19:26:56] <Typhon> http://permea-kra.livejournal.com/24715.html?thread=103307#t103307 "добавили ОО" — ну вот как и предполагалось — "оо — значит плохо" (не модно), причём скала то оопшная сама, разве нет?
[19:30:58] <gds> > вот чувак и ответил, что язык не мёртвый
ниасилил.  почему?
[19:34:02] <Typhon> """ его должны пилить, портируя на новые архитектуры и платформы… или хотя бы должна вестись работа в данном направлении""" — окамл пилят? пилят. кросскомпиляторы делают, вон. улучшения для 64битных архтикектур было недавно с флоатами, экспериментальное, помните? параллельный роадмап есть, работа ведётся, lwt, ocamlnet (с нетмультикором). никто ж не утверждает, что это должны коре-разработчики делать.
[19:36:55] <gds> 2/3 описал, ща смержу.
[19:40:21] <Typhon> """В самом деле, как можно программировать на языке без тайпклассов? Только с шаблонами.""" ну об этом уже даже надоели :-) и тайпклассы изобразить можно (особенно с фёрст класс модулями да или на объектах), и без них можно, кто вообще сказал, что это ок?
[19:42:20] <gds> если бы была перегрузка операторов или тайпклассы, предъявляли бы про синтаксис.  Ну про ОО -- то всегда.  Хомячки.
[19:43:38] <gds> .
[20:01:25] ftrvxmtrx вошёл(а) в комнату
[20:12:59] ftrvxmtrx вышел(а) из комнаты
[20:26:23] Typhon вышел(а) из комнаты
[21:01:12] ygrek вошёл(а) в комнату
[21:08:28] <ygrek> > портируя на новые архитектуры
это что ж за архитектуры такие новые?
[21:22:00] <gds> .
[21:22:17] <gds> да, про новые архитектуры тоже удивился.  наверное, gpu.
[21:36:18] Typhon вошёл(а) в комнату
[22:02:05] <Typhon> btw, жежешечка сменила урлы сообществ: http://ru_caml.livejournal.com/
[22:02:23] <Typhon> из-за этого, кстати, в гугльридере все старые записи снова пришли :'(
[22:06:02] avysk вошёл(а) в комнату
[22:06:06] avysk вышел(а) из комнаты
[22:21:57] ftrvxmtrx вошёл(а) в комнату
[22:33:38] Typhon вышел(а) из комнаты: Replaced by new connection
[22:33:40] Typhon вошёл(а) в комнату
[22:37:08] ftrvxmtrx вышел(а) из комнаты
[22:37:29] ftrvxmtrx вошёл(а) в комнату
[22:39:36] <Typhon> а может, новые архитектуры -- это, например, xen и прочие гипервизоры? ;-) http://anil.recoil.org/papers/2010-hotcloud-lamp.pdf
[22:54:47] <Typhon> """It looked like around 60-70 people in the room, and I had the pleasure of meeting users all the way from Russia to New York as well as all the Europeans!"""
[22:54:55] <Typhon> http://anil.recoil.org/2011/04/15/ocaml-users-group.html
[22:55:46] <gds> лично я -- читал, понравилось очень.  Буду тыкать длинным, немытым, необрезанным урлом в летсо кое-кому нащот того, что камло сдохло.
[22:57:01] <komar> Чо, каким урлом?
[22:57:05] <Typhon> да, для этой цели, в том числе, кинул :-)
[22:57:18] <Typhon> ocapic, кстати, в тему про "архитектуры"
[22:57:26] <Typhon> komar, http://anil.recoil.org/2011/04/15/ocaml-users-group.html атчод с окамль юзер групп
[22:58:22] <komar> Ну, самое вкусное в одном месте.
[22:59:36] <ygrek> и слайды уже есть
[23:00:40] <Typhon> а слайды где? в почте есть?
[23:04:08] <ermine> птичка kakadu так и не решила своих проблем?
[23:04:41] <Typhon> """use OCaml to generate hundreds of thousands of lines of code in libguestfs.""" таки генерят, жаль на сайте нету
[23:05:25] <ermine> Typhon: ты юзаешь tuareg?
[23:05:33] <Typhon> ага
[23:05:43] <ermine> а камлобилд с ним?
[23:05:48] <Typhon> дефолтный, ничего не патчил там и даже не настраивал
[23:05:55] <Typhon> хм, не-а
[23:06:27] <Typhon> я ocaml-compile-command, или как-то так, на ocaml setup.ml --build повесил, кажется, этого хватает. как там его можно пользовать ?
[23:06:41] <ermine> Typhon: я надеялась, что ты с такой любовью к снифферингу в интернете давно нашел как это делается
[23:06:52] <Typhon> что "это"? :-)
[23:07:30] <ermine> ocamlbuild
[23:07:53] <ermine> хотя если и можно найти myocamlbuild.ml как корень проекта, то фиг поймешь, какой таргет звать
[23:32:30] <ygrek> Typhon: на forge вики
[23:35:34] Typhon вышел(а) из комнаты