Objective Caml - Вторник, 2 августа 2011

Objective Caml

ocaml@conference.jabber.ru

Вторник, 2 августа 2011< ^ >

f[x] установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Светлое будущее -- http://camlunity.ru/ | Нефильтрованное настоящее -- https://github.com/camlunity/kamlo_wiki | Верблюды грязи не боятся! | release crap, enjoy NIH | репортьте баги официальным дилерам | **ocaml мёртв и тормозит, move on**

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

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

GMT+4
[00:03:03] <ygrek> паливо в caml-list :
> BTW: On a related note, we also have a student working on a LLVM backend for ocamlopt as part of his bachelor thesis, which may be related to what you do.
[00:06:25] <ermine> это про тебя?
[00:13:19] ygrek обиделся
[00:17:43] <ermine> а кто ж еще студент у нас?
[00:26:44] ermine вышел(а) из комнаты
[00:49:53] ygrek вышел(а) из комнаты
[00:55:04] ftrvxmtrx вышел(а) из комнаты
[00:56:16] ftrvxmtrx вошёл(а) в комнату
[01:21:30] Typhon вошёл(а) в комнату
[01:39:28] shaggie вышел(а) из комнаты
[03:02:44] ftrvxmtrx вышел(а) из комнаты
[03:03:54] ftrvxmtrx вошёл(а) в комнату
[03:09:00] Typhon вышел(а) из комнаты: offline
[04:03:10] ftrvxmtrx вышел(а) из комнаты
[04:03:26] ftrvxmtrx вошёл(а) в комнату
[04:41:53] zert вышел(а) из комнаты
[05:25:33] ftrvxmtrx вышел(а) из комнаты
[05:26:33] ftrvxmtrx вошёл(а) в комнату
[05:30:10] zinid вошёл(а) в комнату
[06:05:14] delete_ вошёл(а) в комнату
[06:06:45] delete_ вышел(а) из комнаты
[06:22:03] ftrvxmtrx вышел(а) из комнаты
[06:24:11] ftrvxmtrx вошёл(а) в комнату
[06:41:16] <komar> gds, не свершилось, осталось в черновиках.
[06:46:13] mrm вошёл(а) в комнату
[08:20:54] ermine вошёл(а) в комнату
[08:45:47] gds вошёл(а) в комнату
[09:29:09] <gds> в новом камле исправили багу, это сделало неприкладываемым патч с "хаком для виндовых сокетов".  значит, свежий оверблд ещё откладывается.  либо заведу ветку "stable" и оставлю там 3.12.1+rc1 с багом, но типа-стабильный.
[09:39:20] delete_ вошёл(а) в комнату
[09:45:07] delete_ вышел(а) из комнаты
[10:32:02] mrm вышел(а) из комнаты
[10:37:35] ygrek вошёл(а) в комнату
[10:44:15] ftrvxmtrx вышел(а) из комнаты
[10:48:00] <ermine> gds: как ссылаться на унартный (-)?
[10:48:22] <gds> ( ~- )
[10:50:12] <ermine> и правда
[10:50:26] <ermine> пасиб
[11:01:42] ygrek вышел(а) из комнаты
[11:02:53] ermine штудирует тему type-indexed values
[11:27:31] ftrvxmtrx вошёл(а) в комнату
[11:51:26] ygrek вошёл(а) в комнату
[12:47:51] Typhon вошёл(а) в комнату
[12:49:00] <ermine> а что лучше f a b c или f (a, b, c)?
[12:52:42] <komar> let a = ... in fun f b c -> f (a, b, c)
f a
[12:53:31] <komar> В первом случае как-то многословно.
[12:55:38] <ermine> komar: вот если бы у тебя фраза завершалась f a b c, то это работает годно и быстро, а щас у тебя тьюпл создается и всё такое
[13:02:38] ermine пытается воткнуться в ocamlopt -dcmm
[13:03:00] <ermine> gds: зацени
[13:07:12] <gds> ermine: чего заценивать?  какая цель?  как это "что лучше"?
[13:08:45] <ermine> gds: за n лет так и не документировали, а написано, что можно оценить где будет перебор с партиал аппликешном
[13:09:24] <gds> внутренние вещи не нужно документировать.
[13:09:35] <komar> ermine: омг, а что это?
[13:10:04] <komar> gds: не обязательно // fxd
[13:10:07] <ermine> komar: там есть знакомые слова!
[13:10:47] <komar> ermine: где?
[13:10:56] <komar> В сорцах, что ли?
[13:11:26] <ermine> в выводе
[13:11:35] <ermine> имена сишних функций
[13:12:25] <komar> Фигня какая-то ненужная.
[13:12:30] zert вошёл(а) в комнату
[13:13:53] <ermine> скорей это интерпретация кода перед трансляцией в .o
[13:14:52] <ermine> имхо в добавление к профайлеру круто
[13:15:23] <ermine> а еще надо пожарить пиццу, а то тут дубак - +14 всего
[13:16:40] shaggie вошёл(а) в комнату
[13:36:39] ygrek вышел(а) из комнаты
[15:12:01] ermine выучила новый термин - eta-expanding function
[15:12:53] <ermine> это когда надо писать не List.fold_left f [] l, а List.fold_left (fun acc x -> f acc x) [] l
[15:16:43] <ermine> а еще лучше выкинуть List.fold_left, поскольку он не очень инлайнит
[15:16:50] Typhon вышел(а) из комнаты
[15:17:26] Typhon вошёл(а) в комнату
[15:17:27] <ermine> zinid: видишь, камло - язык для слабаков!
[15:18:58] <f[x]> ermine: штангу покажи?
[15:21:23] <ermine> f[x]: gcc за штангу пойдет или хаскиль?
[15:21:51] <f[x]> gcc это лопаточка в песочнице
[15:26:47] <ermine> ну если так, то камло - наперсточек
[15:32:41] <ermine> надо бы почитать побольше статей с janestreet, но там блин поиска нет
[15:41:06] shaggie вышел(а) из комнаты
[15:45:57] <zinid> ermine: камло вообще непонятно для чего язык ;)
[15:51:29] shaggie вошёл(а) в комнату
[15:57:58] <Typhon> повыгоняйте этих декадентов!
[15:59:16] <f[x]> я за!
[15:59:48] <gds> +1.  мешают трахать труп.
[16:00:59] <gds> да, окамл мёртв, но он от этого только прекраснее.  Лишних слов не говорит, лишних действий не делает.
[16:02:02] <zinid> а почему кстати все говорят что он мёртв?
[16:02:15] <zinid> это такой тонкий троллинг? :)
[16:02:19] <gds> потому что не развивается, конечно.
[16:02:35] <zinid> ну вон релизы есть какие-то же
[16:02:37] <gds> не развивается, не используется.
[16:02:54] <gds> да релизы -- фигня.  Там они просто VERSION меняют, ну и ещё что-то по рандому.
[16:03:15] <zinid> ну 3.12 насколько я знаю нифига не замена VERSION
[16:04:36] <gds> ну не знаю.  Я лично дифф не держал.  Мне сказали, что мёртв -- значит мёртв и всё тут.  Я доверяю топику конфы.
[16:05:28] <komar> Я тоже.
[16:07:15] <zinid> ну хз, мне ermine скзала фсё чотка
[16:07:54] <komar> И даже она на х-ль сваливает. Не понятно, что ли?
[16:07:59] <gds> а тут она говорит, что надо на х-е писать.
[16:08:21] <ermine> не я, а gds чотко сказал!
[16:10:21] <ermine> gds: как у тебя рука поднимается осквернять код на камле стилем хаскиля!
[16:10:53] <ermine> я такой подлости даже себе позволить не могу
[16:13:18] <gds> да камлу уже всё равно.  А я пишу так, как удобнее.  И, кстати, далеко не везде в х-евом стиле пишу, прошу заметить!  Просто, наверное, чаще показываю.
[16:18:34] <ermine> да камлу хаскильные припарки только во вред идут
[16:19:29] <gds> да какая разница, инлайнится оно или нет.  Всё равно по результату получается клёво.
[16:22:59] <f[x]> что мёртвому припарки?
[16:23:17] <f[x]> горбатого могила исправит
[16:25:17] <gds> горбатого!!111111
[16:29:02] <ermine> во что исправится?
[16:29:10] <ermine> в х-ль?
[17:02:14] ermine читает статью, где alan frisch ставит маленький, но жирненький крестик на camlp4
[17:04:13] <komar> Я тоже поставил.
[17:04:20] <komar> Когда ниасилил с N-ной попытки.
[17:06:21] <ermine> я осилила только прошлой зимой, но тоже с n-ой попытки
[17:06:30] <ermine> да там оказывается всё просто
[17:06:46] zinid таки осилил js_of_ocaml
[17:07:24] <ermine> zinid: щ_Щ
[17:07:44] <ermine> zinid: node.js скомпилил?
[17:08:03] <zinid> ermine: нахрен мне эта дрянь ;)
[17:08:13] <komar> Эх, все вы осиливаете, один я в стороне от прогресса.
[17:09:16] <ermine> komar: вылезай из танка!
[17:10:14] Twice вошёл(а) в комнату
[17:14:10] <Typhon> http://baoug.org/#!/ — кстати, вот у вас этот сайт работает?
[17:14:21] <Typhon> есть мнение, что у меня не целиком
[17:14:43] <Typhon> ниже Puzzle box (3) — ничего нету :-(
[18:00:44] <gds> Typhon: у меня вон есть паззлы после (3).
[18:01:25] <gds> только, вот досада, никакие не открываются.
[18:01:29] <Typhon> а какой броузер ? у меня хроме под макосью
[18:01:45] <Typhon> видимо, это первый чэллендж
[18:02:25] <gds> firefox3.6.18 / ubuntu11.04
да, похоже на то.
[18:03:02] <f[x]> хм, а в опере всё работает
[18:03:39] <Typhon> вот так и знал, что не надо с оперы слезать. если бы не их отвратительное отношение к адрессной строке в последних версиях — цены бы не было
[18:05:37] <gds> не, уродски сделан сайт.  я бы такой не делал сознательно.  например, заголовок паззла "Count bits in an int" -- это не ссылка.  да в рот вам ноги, если у меня links под рукой -- вешаться?  не ссылка потому, что фаерфокс по правой кнопке мыши не показывает "открыть в новом [..]".
[18:06:01] <gds> если весь ocsigen таков, то пичаль.
[18:06:02] <f[x]> Typhon: а что со строкой?
[18:06:14] <f[x]> скрытие частей адреса отключается
[18:06:16] <Typhon> f[x]: прячет всё, после ?.
[18:06:17] <Typhon> а
[18:06:44] <f[x]> но эти постоянные извращения в интерфейсе в каждой версии раздражают - ла
[18:06:46] <f[x]> * да
[18:07:19] <f[x]> gds: добро пожаловать в вебваноль
[18:07:31] <f[x]> это типа круто
[18:07:47] <gds> f[x]: добро пожаловать вебдванулю в жопу, вот что я хочу сказать.
[18:07:55] <f[x]> ack
[18:10:45] <gds> ну, вообще, то же сраное гмыло взять -- тоже веб20, но кое-где честные ссылки, а кое-где тупо клик работает.  Немного напрягает, но чисто эстетически.  В общем, если уж аффтары делают гламур, пусть, наверное, обеспечивают его работу, или как?
[18:11:45] <Typhon> бтв, из соседнего чятика, кое-как рилейтед """si14
не, ну я понимаю, что настоящие потсаны в хаскель@ работой себя не утруждают, но как бы иногда нужен сетевой гуй, и писать его на голом жс очень, очень уныло. хочется хотя бы тайпчекер"""
[18:12:42] <f[x]> gds: ну у них ohne js версия есть
[18:12:45] <gds> в соседнем чятике не гуглили, по ходу.  тот же лионет хвалился тем, что жс как раз из х-я генерят.
[18:13:31] <Typhon> gds: там чуть выше чувак как раз говорил, что три с половиной мёртвых проекта и клозедсоурс от эхо
[18:13:35] <gds> f[x]: у гмыла?  вроде да.  у baoug -- точно нет или тщательно скрывают.
[18:14:18] <gds> Typhon: видимо так.  Близко к моим ощущениям.
[18:15:12] <komar> О, аяксосрач?
[18:15:17] <komar> Почему меня не позвали?
[18:17:16] <gds> komar: потому что не ajax!1111  Сам по себе #якс -- ещё приемлемо.  Ну, кое-где.  А вон то, что там, по ссылке...
И, кстати, твой тег wbmd не верен.  Браузеры -- необходимость.  Подохнуть надо чему-то другому.
[18:17:47] <komar> gds: браузеры в нынешнем виде не нужны. *wbmd не я придумал. к сожалению, но автор считает так же.
[18:18:40] <gds> komar: я ещё подумаю.  Пока мне кажется, что многое другое кривее не менее, чем браузеры.
[18:18:57] <komar> Нет.
[18:19:25] <f[x]> gds: у гмыла
[18:23:38] <gds> кстати, я доделал "сериализацию парвела" так, как она будет "по типам", если никто не исправит / не предложит.  Осторожно, гуглодоки, опера падала раньше точно.  https://docs.google.com/document/d/12jW97elEt92NRCHm4x3N6B53SGtqybKZpIFNOwmjHBM/edit?hl=en_US
Прошу, посмотрите.  Если чо, копия у меня есть, исправляйте прямо там.
Или же, как знаете, давайте обсудим.
Сейчас иду погулять.  Я считаю, что обсуждать в чятике это тоже приемлемо, поэтому, если будут идеи, пишите.
Начинать кодить буду как минимум через часа три.
[18:24:17] <f[x]> тьюринг полные языки в браузере не нужны, а интерпретатор разметки - ок
[18:25:10] <gds> в парвел туда хочется добавить как гарантированные не-падения в пределах процесса, так и "дуракозащищённую сериализацию" (не защищённую от умных) между процессами, оттого и такие типы.
[18:25:35] <gds> f[x]: про тьюринг-полное -- согласен, в том числе потому, что они много где не нужны, вообще.
[19:06:52] komar вышел(а) из комнаты: Logged out
[19:15:46] Twice вышел(а) из комнаты
[19:41:18] ftrvxmtrx вышел(а) из комнаты
[20:02:20] Typhon вышел(а) из комнаты
[20:07:39] zinid вышел(а) из комнаты
[20:12:52] Typhon вошёл(а) в комнату
[20:15:05] zert вышел(а) из комнаты
[20:36:11] <ermine> когда выходит 3.13, никто не в курсе?
[20:36:31] <ermine> или нечто с gadt
[20:44:37] <gds> нечто вышло пару дней назад в транке.
[20:45:25] <gds> раз уж я разделил ветки у себя в оверблд, то одна из первых целей -- всосать gadts и уже с ними билдить.
[21:01:55] <ermine> хачу шелл с этим нечто
[21:02:08] <ermine> опробовать гадты
[21:02:25] <ermine> вон у фриша начала читать статью про них
[21:04:11] <ermine> или таки поставить нечто из транка с измененным префиксом
[21:09:20] <ermine> ой, сегодня же день CWN
[21:14:17] <ermine> шота мёртвое камло активизировалось
[21:16:00] <ermine> может, utop пристегнуть к боту?
[21:36:44] shaggie вышел(а) из комнаты
[21:40:37] <ermine> понеслась сборка транка
[21:41:26] <ermine> будем осваивать гад(т)ов с фирст классями
[21:41:37] <ermine> gds: ты с нами?
[21:43:48] mrm вошёл(а) в комнату
[21:46:51] mrm вышел(а) из комнаты
[21:46:55] mrm вошёл(а) в комнату
[21:46:58] gds вышел(а) из комнаты
[22:00:17] gds вошёл(а) в комнату
[22:03:17] <gds> ermine: да чо, гадты понятны в целом.  Как понял, они всего лишь 1. типа "умные конструкторы" -- функции, приводящие сконструированное значение к нужному типу, 2. способы матчить так, чтобы выводились типы согласно описанию типов.
[22:07:05] <ermine> хнык, туарег не дружит с гадтами
[22:07:41] <gds> х#$нык, емакс не дружит с revised
[22:07:45] <ermine> а вот такую штуку как точка в типе я даже и не освоила до сих пор
[22:10:05] <ermine> туарегу понравились скобочки
[22:11:29] <gds> а я в детстве слышал про тамагочи.  им нравится внимание.
[22:11:32] <mrm> Нужно сделать такой режим для Емакса, который будет делать полный разбор исходников при помощи camlp4 :-)
[22:11:50] <mrm> можно будет к Semantic это дело прикрутить
[22:12:00] <gds> в идеале -- надо.
[22:12:15] <mrm> Tuareg достал уже
[22:12:22] <mrm> И что его все так хвалят?
[22:12:34] <mrm> Чем он лучше, чем caml-mode?
[22:13:01] <mrm> Даже типы не умеет показывать
[22:13:43] <ermine> туарег разбирает, только огрехи с выравниванием кода
[22:14:08] <mrm> У меня проблемы возникают при использовании всяких |>
[22:14:14] <mrm> И вложенных матчингов
[22:14:23] <mrm> И с комментами
[22:14:47] <ermine> не надо вносить хаскелизм в камло
[22:15:10] <mrm> Если я прошу туарег выровнять мне исходник полностью (во всём буфере), то обычно получается какое-то говно :-)
[22:16:05] <mrm> |> -- это хаскеллизм?
[22:16:18] <mrm> Или ты про показывание типов?
[22:16:18] <ermine> ну не умеешь жрать туарег, так не жри
[22:16:32] <ermine> я-то давлю кнопочку таб и фсё
[22:16:47] <ermine> как во всех любых других режимах
[22:17:18] <ermine> а в случае let abc : type t. .... = оно следующую строку выравнивает после слова type
[22:17:20] <gds> если туарег не выполняет своих функций -- он говно.  не нужно уметь его жрать.
лично я не жру.
[22:17:35] <mrm> А хочется какой-нибудь автоматической электрики, чтобы на таб почти никогда нажимать не приходилось
[22:17:55] <ermine> если тип завернуть в скобочки, то всё нормально будет
[22:18:04] <ermine> может в следующей версии поправят
[22:18:29] <gds> ну кому охота лисп ковырять?
[22:18:41] <mrm> Хм. А нельзя для выравнивания заюзать pretty-printer, встроенный в camlp4?
[22:19:14] <gds> если уж поправлять емаксовское, то, может, один раз написать хрень, разбирающую вывод из .annot?
[22:19:14] <ermine> mrm: camlp4, по слухам, скоро будет не нужен вообще
[22:19:28] <ermine> устарела устрашающая шняга
[22:19:30] <mrm> ermine: Из-за смерти камла? :-)
[22:20:24] <mrm> gds: ты про типы? Так оно же работает уже в caml-mode
[22:20:38] <ermine> а gadt действительно крутая штука
[22:21:24] <ermine> надо применить в боте тоже
[22:21:24] <mrm> ermine: а какая есть альтернатива? camlp5? :-)
[22:22:03] <ermine> mrm: само камло
[22:22:20] <ermine> но не есть еще, а скоро будет
[22:22:36] <ermine> учить <:expr< ...> больше не придецца
[22:22:48] ermine зачем-то  освоила :-/
[22:23:34] <gds> mrm: про общее выравнивание в том числе.
[22:42:41] shaggie вошёл(а) в комнату
[22:42:44] <ermine> а скобки пришлось убрать, компилеру они не понравились
[22:43:26] <ermine> суть гадта в том, чтобы типизировать по первому аргументу второй аргумент функции?
[22:45:01] <gds> ermine: вроде функций там нет, см. http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/2011/08/02.html#22:03:17.172935
[22:45:13] <gds> там конструкторы и их матчинг рассматриваются.
[22:48:34] gds вышел(а) из комнаты
[22:56:35] mrm вышел(а) из комнаты
[23:01:32] komar вошёл(а) в комнату
[23:40:46] ftrvxmtrx вошёл(а) в комнату