Objective Caml - Пятница, 16 сентября 2011

Objective Caml

ocaml@conference.jabber.ru

Пятница, 16 сентября 2011< ^ >

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

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

GMT+4
[00:31:04] Kakadu вышел(а) из комнаты
[00:39:37] <bobry> mythryl требует fi у if, бог ты мой
[00:39:44] <bobry> хотя вы наверное все уже заценили
[02:01:48] shaggie вышел(а) из комнаты
[02:21:54] ftrvxmtrx вышел(а) из комнаты
[02:39:36] ftrvxmtrx вошёл(а) в комнату
[03:37:34] letrec вошёл(а) в комнату
[04:04:59] ftrvxmtrx вошёл(а) в комнату
[04:19:31] ftrvxmtrx вышел(а) из комнаты
[04:22:25] Typhon вышел(а) из комнаты
[04:38:26] ftrvxmtrx вышел(а) из комнаты
[04:43:13] letrec вышел(а) из комнаты
[09:55:46] zert вошёл(а) в комнату
[10:03:52] iNode вошёл(а) в комнату
[11:16:37] bobry- вошёл(а) в комнату
[11:26:12] ermine вошёл(а) в комнату
[11:38:57] <f[x]> жабоеды опять покусились на святое -> http://caml.inria.fr/cgi-bin/viewcvs.cgi/?view=rev&rev=11197
[11:39:22] <f[x]> trunk теперь собирается под виндой
[11:40:59] <f[x]> йоу, PR#5236 - сегодня просто праздник какой-то
[11:41:05] <f[x]> видимо 12.2 скоро будет
[12:57:04] Kakadu вошёл(а) в комнату
[13:02:17] Typhon вошёл(а) в комнату
[13:11:38] gds вышел(а) из комнаты: Replaced by new connection
[13:11:39] gds вошёл(а) в комнату
[13:31:10] <bobry-> http://news.ycombinator.com/item?id=3002838
[13:58:18] <f[x]> gds: сегодня оценил твои действия по InfixOperators - годно и полезно
[14:00:06] <f[x]> теперь core_extended собирается - слава gds'у, счастья Kakadu, позор криворуким janestreet-кодерам
[14:00:59] <f[x]> детали -> http://paste.in.ua/3060/
[14:01:24] <bobry-> а у меня кстати оно без изменений собиралось
[14:01:31] <f[x]> 107?
[14:01:36] <bobry-> ага
[14:01:42] <f[x]> какое камло?
[14:01:46] <bobry-> 3.12.1
[14:02:02] <f[x]> ванильное?
[14:02:10] <f[x]> именно core_extended?
[14:02:16] <bobry-> да-да, именно оно
[14:02:19] <bobry-> камло ванильное
[14:02:45] <bobry-> щас проверю еще раз
[14:03:27] <Kakadu> ололо
[14:03:34] <Kakadu> я перевел в лигво jane
[14:03:40] <bobry-> шо?
[14:03:57] <f[x]> bobry-: покажи ocamlfind query -format %v bin_prot sexplib type-conv core
[14:04:00] <Kakadu> Janestreet == "улица девиц"
[14:04:16] <bobry-> f[x]: щас убежусь что оно собирается только
[14:04:17] <gds> f[x]: рад, что понравилось.  А что "$" -- так это случайно получилось.
[14:04:47] <f[x]> gds: так я ж знал про $, но сам никогда не нарывался (я им не часто пользуюсь), а тут вот попалось
[14:05:38] <gds> а я вообще в проблему с core не вник, там что-то страшное на вид было, а вон оно как.
[14:06:10] <bobry-> https://forge.ocamlcore.org/frs/?group_id=259
[14:06:21] <bobry-> по версии в неделю, отлично
[14:07:39] <f[x]> да, есть подозрение что это бага/фича в одного из расширений, так что может на некоторых версиях и собирается
[14:08:20] <bobry-> конечно частые релизы только обостряют распздяйство ментейнеров в AUR
[14:09:43] Kakadu поёт опа-опа-опапа
[14:10:52] <bobry-> я им уже и PKGBUILDы поправленные выкладываю
[14:10:56] <bobry-> и все равно никто не шевелится
[14:15:54] <Kakadu> походу на этой неделе в lablqt всё-таки будет новый коммит. Наверняка же с новым коре не соберется
[14:18:21] <Kakadu> можно делать ставки, когда слоупоки ответят
[14:22:40] <bobry-> http://www.janestreet.com/ocaml/fieldslib-107.01.tar.gz
[14:22:47] <bobry-> bravo улица девиц
[14:23:38] <f[x]> bobry-: боян же
[14:23:45] <f[x]> там все урлы 404
[14:24:05] <Kakadu> bobry-: бородатый боян уже
[14:24:06] <f[x]> похоже единственная копия кода сейчас есть у нас только :)
[14:24:28] <Kakadu> а я изза bobry побежал проверять
[14:24:34] <Kakadu> думал уже пофиксили
[14:24:43] <Kakadu> за минуту после отправки моего письма
[14:24:54] <Kakadu> сколько сейчас часов утра в Нью-Йорке?
[14:25:58] <Kakadu> 6 утра
[14:26:26] <bobry-> йома, когда оно поломалось то?
[14:27:35] <Kakadu> может мински что-то в твиттер писал?
[14:27:53] <bobry-> я не заметил
[14:28:22] <Typhon> Kakadu: "извините, чуваки, у нас тимбилдинг и мы бухаем?"
[14:36:59] ftrvxmtrx вошёл(а) в комнату
[14:37:39] <Typhon> all your libs are belong to us, ггг
[14:38:25] <Kakadu> Typhon: )
[14:40:06] <bobry-> :D
[15:07:21] ftrvxmtrx вошёл(а) в комнату
[15:13:33] <bobry-> https://github.com/osiire/Pec/blob/master/pec.ml#L29
[15:16:01] <Typhon> надо в мылолист может написать?
[15:20:38] ftrvxmtrx вышел(а) из комнаты
[15:33:23] <bobry-> 12.  Library.  ML's standard library has a lot of data structure stuff in it, which helps a lot.  I find it more complete and succinct and usable than the usual glommed-together mess of most other languages.
[15:33:32] <bobry-> может у sml с этим все ок, но камло -- гм
[15:34:11] <Typhon> а каких структур данных не хватает в камле?
[15:34:14] <Typhon> в стдлибе?
[15:34:47] letrec вошёл(а) в комнату
[15:34:49] letrec вышел(а) из комнаты
[15:35:06] letrec вошёл(а) в комнату
[15:37:06] <f[x]> до 3.12 Map был вообще неюзабелен
[15:41:29] <gds> f[x]: почему?  модуль рожаешь и всё.
[15:42:23] <f[x]> функций не было нужных
[15:43:45] <f[x]> partition cardinal bindings min_binding max_binding choose split merge
[15:46:19] <gds> а, то да.
[15:47:44] ftrvxmtrx вышел(а) из комнаты
[15:55:33] letrec вышел(а) из комнаты
[16:00:08] letrec вошёл(а) в комнату
[16:27:28] <bobry-> какая же чушь по большей части http://sds.podval.org/ocaml-sucks.html
[16:29:09] <bobry-> про GC sucks кстати, кто нибудь может прокомментировать? почему это так работает
[16:30:14] <klapaucius> Это ведь лиспер писал?
[16:30:52] <bobry-> по всей видимости ага
[16:32:46] <klapaucius> Ну так что там обсуждать тогда? Всякие недостатки типа "ложного чувства безопасности" и "иммутабельности списков"
[16:33:25] <klapaucius> Я и сам люблю критиковать окамл, но не с таких смешных позиций же.
[16:35:41] <klapaucius> Кстати, экспертиза у лиспера довольно слабая. Я не специалист по окамлу - и то знаю, как изменить список, если уж так хочется. Я это в батарейках видел.
[16:36:18] <f[x]> > Loading the same data set in CLISP takes 150kb of RAM, in OCaml - 900kb
обс
[16:37:19] <klapaucius> А это вообще никак не связано с объемом занимаемым данными
[16:37:41] <f[x]> короче весьт тот опус это боянистый lol
[16:37:55] <klapaucius> А зависит в первую очередь от эвристики, по которой рантайм память для себя резервирует.
[16:38:09] <Typhon> а от размеров минор хипа ?
[16:38:15] <f[x]> настройки а не эвристики :)
[16:38:25] ftrvxmtrx вошёл(а) в комнату
[16:38:41] <f[x]> плюс закидоны системного аллокатора
[16:38:47] <klapaucius> Если он будет наращивать разервируемый объем медленно - это только к тормозам приведет, а памяти сейчас достаточно много
[16:39:36] <klapaucius> f[x]: ну так эвристика и настраивается.
[16:45:29] klapaucius вышел(а) из комнаты
[17:21:21] ftrvxmtrx вошёл(а) в комнату
[17:31:34] ftrvxmtrx вышел(а) из комнаты
[17:34:09] ftrvxmtrx вошёл(а) в комнату
[17:41:08] ftrvxmtrx вышел(а) из комнаты
[17:41:08] ftrvxmtrx вышел(а) из комнаты
[17:45:06] ftrvxmtrx вошёл(а) в комнату
[17:55:24] shaggie вошёл(а) в комнату
[18:21:51] <gds> случайно наткнулся, но оказалось, что весьма в тему: https://github.com/mtexier/literate-programming -- как я понимаю, автор тоже совсем не понимает сути.  А я ещё проектирую системку, с помощью которой буду писать некоторые исходники (в том числе туториал по итератам, в том числе summary для cadastr, в том числе какую-либо сместь кода и документации, когда в этом будет смысл (не часто, но бывает очень нужно)).  Но остаётся только описать и накодить.
[18:40:40] <gds> на что оно мне как бы намекает?  http://paste.in.ua/3065/  -- какая ещё секция?
[18:43:05] <f[x]> в oasis файле
[18:43:57] <f[x]> я весь тот boilerplate в _oasis копирую
[18:47:26] <gds> недопонял.  документация должна быть в _oasis?
[18:58:09] bobry- вышел(а) из комнаты
[18:59:22] <letrec> а кто-нибудь знает как record subtyping реализован с точки зрения времени выполнения? типа vtable'ов?
[19:01:01] <f[x]> record subtyping? это что за зверь?
[19:01:17] <gds> тоже интересно.
[19:04:53] <letrec> вот это http://newstar.rinet.ru/~goga/tapl/tapl019.html#toc68
[19:05:03] <letrec> может я криво выразился
[19:07:09] <Typhon> "структурная типизация" вроде бы, да?
[19:08:37] <gds> так это про абстрактный язык, который пирс использует для демонстрации подтипизации.
[19:09:20] <letrec> оно в камле же вроде как есть?
[19:09:57] <letrec> т.е.  {a: int; b: int} это подтип {a: int}?
[19:10:07] <gds> то есть, как он реализован -- надо узнавать у пирса.  а вот как его _можно_ реализовать -- это другое дело.  в окамле есть записи со структурной типизацией, только их почему-то назвали "объекты", и синтаксис чуть другой.
[19:10:33] <letrec> т.е. это работает только для объектов?
[19:10:33] <gds> < a : int ; b : int > -- подтип < a : int >
[19:10:53] <gds> да.  Ещё кое-где -- для модулей.
[19:14:18] <letrec> в случает объектов там как сделано? как в плюсах?
[19:17:06] <gds> в объектах -- если тип закрыт (без подтипизации), то обращение идёт по фиксированному смещению в таблице методов.  Если тип открыт, то обращение идёт по хешу имени метода, там есть массив из [| meth0hash ; meth0method ; meth1hash ; meth1method ; ...] (это и есть таблица методов такая), отсортированный по methNhash, и дальше двоичным поиском.  Вроде есть какой-то кеш, чтобы этот поиск не повторять, но не знаю, в каких условиях он работает.
[19:18:00] <letrec> да, именно это и интересовало
[19:18:40] <gds> но это я выцепил из разных источников, и могу нагнать.  Если нужно для важных вещей (ядерная энергетика, медицина), то лучше лично проверить.
[19:19:29] <letrec> :)
[19:19:47] <letrec> это я Пирса пытаюсь осмысливать
[19:20:20] <gds> кстати вот, поэтому, если цикл весьма таки тугой обещается, я лучше сделаю let func = obj#meth in ...  func arg ... .  Это, кстати, ещё один аргумент против методов без аргументов.
[19:20:40] <letrec> а структурно полиморфные типы есть где-то помимо камла?
[19:24:25] <gds> в основном там, где нет типов или они не строгие.  а так -- не видел.
[19:30:39] <f[x]> gds: кэш размером в один элемент есть, используется перед каждым поиском по табличке
[19:32:48] <gds> понял.
[19:37:15] Typhon вышел(а) из комнаты
[20:26:32] ftrvxmtrx вышел(а) из комнаты
[20:58:14] Kakadu вошёл(а) в комнату
[21:19:04] letrec вышел(а) из комнаты
[21:44:31] Typhon вошёл(а) в комнату
[21:56:59] ygrek вошёл(а) в комнату
[21:57:13] ygrek вышел(а) из комнаты
[21:57:41] ygrek вошёл(а) в комнату
[22:22:54] iNode вышел(а) из комнаты
[23:06:34] ermine вышел(а) из комнаты
[23:23:36] ftrvxmtrx вошёл(а) в комнату
[23:55:16] <bobry> что за непотребство, jane street так и не починили ссылки
[23:57:37] <ygrek> Kakadu: что-то я твоего письма в рассылке не вижу
[23:57:47] <ygrek> про core_extended