Objective Caml - Вторник, 8 июня 2010

Objective Caml

ocaml@conference.jabber.ru

Вторник, 8 июня 2010< ^ >

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

[00:57:26] Kakadu вышел(а) из комнаты
[01:04:37] digital_curse вышел(а) из комнаты
[03:37:42] komar вышел(а) из комнаты
[06:54:48] iNode вошёл(а) в комнату
[07:55:07] gds вышел(а) из комнаты
[08:21:48] iNode вышел(а) из комнаты
[08:22:00] Dema вошёл(а) в комнату
[08:22:19] Dema вышел(а) из комнаты: offline
[08:38:57] iNode вошёл(а) в комнату
[08:49:41] gds вошёл(а) в комнату
[09:50:28] Typhon вошёл(а) в комнату
[10:03:17] serp256 вошёл(а) в комнату
[10:07:24] ermine вошёл(а) в комнату
[11:01:56] abiogenesis вошёл(а) в комнату
[11:02:00] abiogenesis вышел(а) из комнаты
[11:04:27] serp256 вошёл(а) в комнату
[11:11:21] ʇsʎɯ вошёл(а) в комнату
[12:08:04] gds вошёл(а) в комнату
[12:09:07] Mon вошёл(а) в комнату
[12:24:21] komar вошёл(а) в комнату
[12:32:27] ermine вошёл(а) в комнату
[13:35:03] Typhon вошёл(а) в комнату
[14:31:23] <gds> интересный вброс про NoSQL базы данных (в том числе bdb всякие).  http://zabivator.livejournal.com/412053.html
[14:31:39] <komar> Хуита.
[14:32:00] <gds> не ругайся матом.
[14:32:20] <komar> «Не ругайся...» А ты его предыдущие вбросы видел?
[14:32:44] <gds> да, большинство.
[14:34:10] <komar> У меня его «я тут базы данных на C++ пишу, мне некогда эти ваши окамлы с хаскеллями» до сих пор в закладках лежат.
[14:35:15] <Typhon> komar: ну по последним "окамл -- ок, ерланг -- ок, питон -- ок, с++ -- окок, хаскель -- отстой"
[14:36:06] <ʇsʎɯ> *++ - окок? айлолд
[14:36:17] <ʇsʎɯ> но вброс на тему nosql годный
[14:36:26] <ʇsʎɯ> вцелом - так и есть
[14:36:37] <gds> komar: если у тебя его "плюсы ок" в закладках лежат, значит зацепил серьёзно, плюсик ему в карму.
[14:36:43] <ʇsʎɯ> тот же reddit смачно наехал на грабли и nosql ему не помог
[14:36:53] <ermine> gds: там ругают nosql?
[14:37:18] <gds> ermine: там говорят, что sql и nosql -- это разные штуки, и рассказывают, почему сейчас модно брать nosql.
[14:37:50] <komar> Я nosql не ковырял и как раз думал, что из статьи много нового узнаю, а там какой-то бред маркетоидный.
[14:38:16] <ʇsʎɯ> а что там ковырять? nosql в 95% - распределённый хэш
[14:38:37] <komar> Поэтому и не ковырял.
[14:38:40] <komar> Надобности не было.
[14:39:06] <ermine> к nosql есть sql
[14:39:08] <gds> там не маркетоидное, там project-manager'ское скорее.
[14:41:02] <komar> А вообще блог местами в последние два года зажигает.
[14:41:13] <komar> В тех местах, где они Зефирова за штангу травить начинают.
[14:42:51] <gds> ага, про зефирова тоже понравилось, даже вписался там где-то.
[14:43:57] <ʇsʎɯ> видимо я что-то пропустил в свежих трендах
[14:44:05] <ʇsʎɯ> что за блог, кто такой Зефиров?
[14:44:20] <komar> lurkmore.ru/Haskell
[14:44:24] <komar> Узнаешь его.
[14:44:59] <ermine> не стоит ходить на луркморе
[14:45:11] <ermine> гадюшник еще тот
[14:46:17] ʇsʎɯ там вырос
[14:46:21] <ʇsʎɯ> давно это было...
[14:46:35] <ʇsʎɯ> сейчас и туда школьники набежали?
[14:48:04] <gds> лурк хорош как источник ололошечек и бугогашечек.  Прочее от него требовать не хочу, пока полёт нормальный.
[14:48:52] <ʇsʎɯ> по указанной ссылке Зефирова не обнаружено
[14:49:13] <gds> вторая фотачька
[14:49:24] <gds> со штангой.
[15:06:47] <ʇsʎɯ> худшие опасения подтвердились
[15:07:37] <gds> пока мы в виртуальном пространстве, он нас не тронет!
[15:08:31] <ʇsʎɯ> да собственно пофиг
[15:09:05] <ʇsʎɯ> он, скорее всего, медленный и неповоротливый
[15:09:14] <ʇsʎɯ> это не МСМК по карате
[15:09:35] <Typhon> и каратэ тоже
[15:09:53] <ʇsʎɯ> где?
[15:09:54] <Typhon> так что бойся!
[15:10:03] <Typhon> m, в бложэке было
[15:10:04] <ʇsʎɯ> боятся - глупо
[15:10:18] <Typhon> тогда учи х-ль!
[15:10:19] <ʇsʎɯ> Ь*
[15:10:36] <ʇsʎɯ> выучил прежде ocaml и забыл уже
[15:11:10] <ʇsʎɯ> для практических целей он становится черезж-пней *++
[15:11:33] <ʇsʎɯ> особенно, когда (внезапно) нужно побороть ленивость
[15:12:08] <ʇsʎɯ> оказалось, что это нужно чуть чаще, чем всегда
[15:12:23] <ʇsʎɯ> а задачки с project euler да, красиво выходят ))
[15:13:01] <ʇsʎɯ> http://www.ljplus.ru/img4/t/h/thesz/z150_15.jpg - бакланопоцит на лицо ;)
[15:13:38] komar как-то насрал в блоге Зефирова, а потом встретился лично.
[15:13:42] <komar> Ничего, живой.
[15:14:01] <Typhon> komar: на mskHUG ?
[15:14:04] <komar> Угу.
[15:14:12] <Typhon> я тож был как-то
[15:14:16] <Typhon> печенья поел
[15:14:19] <Typhon> ^_^
[15:14:27] <komar> Не, печенья в тот раз не было.
[15:14:34] <Typhon> когда spj приезжал?
[15:14:44] <komar> Кто?
[15:14:45] Typhon палится
[15:14:48] <Typhon> :)
[15:15:00] <komar> А, Пейтон-Джонс-то?
[15:15:06] <Typhon> simon peyton jones
[15:15:08] <Typhon> ага
[15:15:09] <komar> Не, Пейтона не было.
[15:15:58] iNode вошёл(а) в комнату
[15:16:46] <Typhon> значит я на других был
[15:17:20] <Typhon> либо печенье, либо спж
[15:17:49] <komar> Ну блин, суперкомпиляторы показывали.
[15:17:57] ʇsʎɯ окончательно разочаровался, когда увидел презенташку SPJ, где в середине его стали поправлять из зала какие-то другие разрабы, что, мол, у нас сейчас это не так, а так и будет не то, а это, потому что вчера мы нашли, что то - тупиковый путь
[15:18:28] <ʇsʎɯ> и вылилось всё это в то, что периодически кто-то вещал из зала, а spj отирался у слайдов
[15:19:21] <komar> Гм, ну, в тот раз то же самое было, только вместо "периодически" — "всё время", а вместо "кто-то" — "Зефиров".
[15:19:29] <ʇsʎɯ> при таких раскладах я готов жрать ocaml stdlib и просить ещё, тут хотя бы ясно что где и кем
[15:19:51] <ʇsʎɯ> и чего ждать
[15:20:08] <komar> В смысле "ничего"? :)
[15:20:32] <ʇsʎɯ> стабильность - это очень хорошо само по себе
[15:20:41] <ʇsʎɯ> даже когда ничего хорошего больше нет
[15:20:49] <komar> Бывает.
[15:21:21] <ʇsʎɯ> тем более, что inria & co. охотно принимают фиксы и всякие мелкие доработки
[15:28:08] <gds> кстати, если у кого-то есть большое желание пилить stdlib, пилите батарейки.
[15:28:20] <komar> Зачем они нужны?
[15:29:42] <Typhon> ну, я например, вилкой люблю есть жареный картофель, а не руками, как-то так
[15:30:21] <gds> батарейки -- не то, что бы обязательно нужны.  Но весьма удобны.
[15:30:52] <komar> А я люблю салат «оливье», а не помои из мусорного контейнера. Давайте без этосамое.
[15:31:04] <ʇsʎɯ> меня стандартная библиотека вполне устраивает (возможно это пока)
[15:31:40] <ʇsʎɯ> я с разрабами батареек уже успел пару раз поругаться на #ocaml@FreeNode
[15:31:53] <ʇsʎɯ> они зело приставучи со своей пропагандой
[15:32:46] <gds> всё правильно делают.  Не дело это, камнем зад подтирать.
[15:33:51] <gds> конечно, не везде батарейки приемлемы, но в большинстве случаев -- вполне.
[15:36:36] <ʇsʎɯ> да ладно, не надо buzzword
[15:36:47] <ʇsʎɯ> камень, тыры-пыры
[15:37:28] rren вошёл(а) в комнату
[15:37:31] <ʇsʎɯ> чем лепить сотни стдлибин, лучше бы придумали многопоточный gc и как его прикрутить красиво
[15:37:58] <komar> Так придумали же.
[15:38:03] <komar> Говорят — собирается.
[15:38:14] <gds> проблемы ортоговнальны.  Проблема со скудной stdlib -- существует.  Её надо решать.  Её решают, как могут.
[15:38:23] <ʇsʎɯ> да ладно
[15:38:28] <ʇsʎɯ> на то она и stdlib
[15:38:37] <ʇsʎɯ> а не youronlylibever
[15:39:38] <gds> при таком подходе проблему не решить.  при подходе батареек -- проблема кое-как решается.
[15:40:40] <ʇsʎɯ> я не против батареек как таковых, но мне более импонирует подход extlib
[15:40:55] <ʇsʎɯ> челы решили то, что есть и никаких плюшек сверху не кидали
[15:41:00] <ʇsʎɯ> хотя я и ей не пользуюсь ))
[15:41:33] <komar> Вообще-то кидали.
[15:42:06] <komar> Я ей пользуюсь и если её отключить, то нифига не собирается.
[15:42:16] <gds> в extlib -- и то, что есть не решили (недавно вон extStream.ml создал, с функциям типа map, from_int_range и подобными), и кое-что накидали сверху, для удобства.
[15:43:02] <ʇsʎɯ> кажется, я о другом
[15:43:55] <ʇsʎɯ> об отсутствии Array.map2, например
[15:44:28] <ʇsʎɯ> это не значит, что надо переписать Array полностью. достаточно добавить EArray с тем, чего не хватает
[15:44:32] <ʇsʎɯ> я считаю
[15:45:10] <komar> Зато у них есть DynArray.
[15:45:26] <gds> в случае, например, List -- в extlib многие функции заменены (чтобы обеспечить tail-rec поведение).
[15:45:37] <gds> или чтобы кидать другие исключения.
[15:45:57] <komar> Исключения? Какие исключения?
[15:46:56] <ʇsʎɯ> tail-rec не всегда так хорош, Лерой об этом писал
[15:47:29] <komar> Дополнительные функции, которые добавлены в extlib, могут выдавать что-то неожиданное, но за просто переписанными я такого не замечал.
[15:47:34] <komar> m, пруфлинк!
[15:50:12] <ʇsʎɯ> komar: http://pauillac.inria.fr/caml/caml-list/0891.html
[15:50:31] <Typhon> 1999
[15:51:40] <gds> http://code.google.com/p/ocaml-extlib/source/browse/trunk/extlib/extList.mli -     (** The following functions have been improved so all of them are tail-recursive. They have also been modified so they no longer raise [Invalid_arg] but [Different_list_size] when used on two lists having a different number of elements. *)
[15:53:48] <gds> да, tail-rec версия не быстрее, чем текущий List.map на коротких списках, измерения показывают чётко.
[15:53:49] <komar> Хех, весело.
[16:07:41] <ʇsʎɯ> у меня списки даже по 10000 элементов не бывают, например, поэтому мне tail-rec без надобности
[16:15:59] <gds> а если вдруг будет чуть больше, будет исключение Stack_overflow (вроде бы) вместо нормальной, но чуть более медленной работы.  А кое-где это исключение и не словить (вроде падвендой не ловится, но могу ошибаться).
Если есть чёткие гарантии того, что списки всегда маленькие, стандартный модуль List крут.
[16:18:13] <Typhon> стэковерфлоу, если байткод, если нейтив -- как повезет, емнип
[16:19:09] <gds> да, тоже что-то такое помню, но доказать не смогу.
[16:19:31] <ʇsʎɯ> я пока ничего такого ынтырпрайз на нём не писал
[16:23:04] <gds> а мне просто нравятся гарантии отсутствия исключений в рантайме там, где другой код кидал бы исключения.
[16:25:06] <ʇsʎɯ> а мне нравится, когда это гарантирует мой код, а не 100500 проверок и хитро-алгоритмов в 15 библиотеках
[16:28:12] <gds> а как же реюзабилити?
[16:29:15] <ʇsʎɯ> это мы вчера уже обсуждали
[16:29:24] <ʇsʎɯ> 100% реюзабилити - миф
[16:29:48] <ʇsʎɯ> или api обрастает жиром
[16:30:27] <ʇsʎɯ> я придерживаюсь reusability of concept, а не чёрной коробочки
[16:33:27] <gds> по-моему, "функция List.map, не вылетающая на списках любого размера" -- вполне полезная штука.  И иметь одну библиотеку, реализующую это (extlib точно, батарейки -- очень вероятно) -- не проблема.  В качестве профита имеем и нормальное поведение List.map, и бесплатно кучу других полезных функций нашару, и развивающуюся типа-стандартную библиотеку.
[16:37:01] <ʇsʎɯ> а я считаю, что иметь полноразмерный небоксовый int - вполне нормально
[16:37:09] <ʇsʎɯ> а Лерой считает, что скорость важнее
[16:37:11] <ʇsʎɯ> такие дела
[16:37:23] <ʇsʎɯ> по крайней мере он последователен и знает, чего хочет
[16:37:56] <komar> А что мешает натянуть нормальный int поверх окамла?
[16:38:14] <gds> выбора насчёт инта у тебя нет.  а у меня есть выбор между разными List.map.
[16:39:22] <ʇsʎɯ> komar: Лерой и об этом писал ;)
[16:39:25] <ʇsʎɯ> в мануале
[16:40:17] <ʇsʎɯ> gds: ну так никто же не мешает, есть либы - хорошо
[16:40:29] <ʇsʎɯ> только не надо проталкивать это в стандарт
[16:41:33] <gds> в стандарт это не протолкнуть, так как и толкалка плохая, и стандарта нет.  А вот в библиотеку типа extlib/batteries, и сделать эту библиотеку "стандартной" -- идея поинтереснее.
[16:51:28] Kakadu вошёл(а) в комнату
[17:19:00] iNode вышел(а) из комнаты
[17:31:17] gds вышел(а) из комнаты
[17:47:28] Kakadu вышел(а) из комнаты
[18:14:51] gds вошёл(а) в комнату
[18:26:01] iNode вошёл(а) в комнату
[18:32:30] <ʇsʎɯ> http://screamingduck.com/Lerc/box.html - ОТ, но это гениально, я считаю
[18:33:47] abiogenesis вошёл(а) в комнату
[18:39:04] abiogenesis вышел(а) из комнаты
[18:47:11] <gds> # let arr = Array.of_list [Obj.repr 1.0; Obj.repr 1];;
Segmentation fault
вот это неожиданно.
[18:51:00] <gds> .. но вполне объяснимо, уже.
[19:00:51] <ʇsʎɯ> кстати, кто знает, почему строки до 16 МБ только?
[19:08:07] Typhon вышел(а) из комнаты
[19:09:39] <rren> для скорости
[19:11:36] <ʇsʎɯ> а подробнее можно?
[19:12:21] serp256 вышел(а) из комнаты
[19:15:51] <ʇsʎɯ> ага, нашёл
[19:22:28] <ʇsʎɯ> кстати, интересно почитать http://rwmj.wordpress.com/2009/08/04/ocaml-internals/
[19:47:16] <komar> О, отлично.
[19:47:21] <komar> До кучи ещё http://ambassadortothecomputers.blogspot.com/2010/03/inside-ocaml-objects.html
[19:48:48] <ʇsʎɯ> а это я уже видел
[19:48:56] ʇsʎɯ вышел(а) из комнаты
[19:56:18] <komar> Кстати, отличная темка для вропресса.
[20:06:48] <ermine> хнык, неужели у caml-images нет документации
[20:07:34] <ermine> как ж там создать картинку и чота туда нагадить
[20:17:15] Typhon вошёл(а) в комнату
[20:18:38] <Typhon> "Note: this library is currently(=always) under development." хаха )
[20:38:43] digital_curse вошёл(а) в комнату
[22:01:28] Kakadu вошёл(а) в комнату
[23:54:37] ermine вышел(а) из комнаты