Objective Caml - Воскресенье, 10 июля 2011

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 10 июля 2011< ^ >

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

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

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

GMT+4
[00:00:30] <ygrek> почему в asmcomp/i386/emit.mlp строка 650 stack_offset отнимается хотя стек растёт?
[00:21:07] bobry вышел(а) из комнаты
[01:05:35] arhibot вышел(а) из комнаты
[01:22:23] <ygrek> вообщем если кто хочет потестить - reliable backtraces from ocamlopt - http://ygrek.org.ua/files/ocaml-3.12.1-cfi.patch
[01:22:30] <ygrek> для x86 и amd64
[01:25:18] zert вышел(а) из комнаты
[01:44:27] ermine опасливо смотрит
[01:46:40] <ygrek> а под bsd там какой as?
[01:46:45] <ygrek> gnu?
[01:47:55] <ermine>        AS - the portable GNU assembler.
[01:48:31] <ygrek> тогда может даже будет работать - в asmcomp/emitaux.ml надо bsd или bsd_elf добавить в is_cfi_enabled
[01:48:48] ygrek afk
[01:49:14] ygrek is going for shutdown NOW
[01:49:25] <ermine> GNU assembler version 2.15 [FreeBSD] 2004-05-23 (x86_64-obrien-freebsd) using BFD version 2.15 [FreeBSD] 2004-05-23
[01:49:31] <ermine> даже вот так
[01:58:47] ygrek вышел(а) из комнаты
[02:06:05] ermine вышел(а) из комнаты
[02:41:30] komar вышел(а) из комнаты: Replaced by new connection
[02:41:31] komar вошёл(а) в комнату
[03:13:12] komar вышел(а) из комнаты: Replaced by new connection
[03:13:12] komar вошёл(а) в комнату
[03:33:05] shaggie вышел(а) из комнаты
[03:36:15] komar вышел(а) из комнаты: Replaced by new connection
[03:36:15] komar вошёл(а) в комнату
[11:15:45] ygrek вошёл(а) в комнату
[11:20:05] ermine вошёл(а) в комнату
[11:21:38] ygrek вышел(а) из комнаты
[11:58:00] ygrek вошёл(а) в комнату
[12:56:53] shaggie вошёл(а) в комнату
[14:06:57] shaggie вышел(а) из комнаты
[14:09:29] arhibot вошёл(а) в комнату
[14:37:22] gds вошёл(а) в комнату
[15:10:20] <ermine> интересно, а как на камле выглядит х-льная функция read?
[15:10:32] ermine типа читает learnyouahaskell
[15:14:48] <ermine> хотя наверное пройдет без проверки типа
[15:15:03] <ermine> неужели камло в этом плане слабо :)
[15:23:29] <gds> ermine: если правильно помню, про read смотри deriving.
[15:26:45] <ermine> gds: а там используется аннотация типов?
[15:28:37] <ermine> из read вытаскивают тот тип, который укладывается в аннотацию, поэтому на этапе компиляции удостоверятся, что падать не будет
[15:36:22] <gds> ermine: ага, значит принципиально мы об одной штуке говорим.  Так вот, в deriving указывается, какой тип будут читать, и 1. используется нужный парсер, 2. выражение приобретает нужный тип.
Хотя не помню, есть ли там конкретно read.  Но show точно есть.
[15:39:17] <ermine> не, show для парсинга не очень интересен
[15:49:39] <komar> ermine: тебя просят забрать обратно.
[15:53:04] <ermine> komar: ?
[15:53:42] <komar> С haskell@, дальше не знаю.
[15:54:12] <ermine> komar: а, переживут как-нибудь
[15:57:09] arhibot вышел(а) из комнаты
[15:57:11] arhibot вошёл(а) в комнату
[15:57:46] <gds> komar: ну чего пеарил?  Всё там прилично и культурно.  Даже без коней.
[16:00:36] <ermine> вот интересно, пчу среди хаскелистов там так много устойчивых двачерей?
[16:01:46] komar вышел(а) из комнаты: Replaced by new connection
[16:01:47] komar вошёл(а) в комнату
[16:02:53] <gds> д#очую этот вопрос!
[16:02:55] <ermine> gds: а у тебя в блоге смешно про инфиксные функции написано, только непонятно как это к ругательству привязано
[16:05:13] <gds> ermine: ну там скорее про уровень, что ли, доказательства/показательства/подтверждения мысли, про восхитительные логические доводы и попытки показать/доказать исходя из популярности.
[16:07:11] <ermine> gds: а я бы согласилась, что лисп рулит, если ненавидеть инфиксы
[16:10:23] <ermine> просто связи с хаскелем не видно
[16:12:01] <gds> автор второй реплики -- известный х-ефаг.
[16:12:54] <gds> я не ненавижу инфиксные операторы/функции.  Учитывая мои модули *ops.ml -- даже скорее уважаю.  Учитывая операторы /* func */, я даже пользуюсь инфиксными функциями.  Как-то так.
[16:13:25] <gds> кстати, дабы не быть голословным по поводу "х-ефаг", http://www.rsdn.ru/forum/decl/4320733.aspx
[16:13:37] <gds> ссылоту дали независимо от поста.
[16:14:43] komar вышел(а) из комнаты: Replaced by new connection
[16:14:49] komar вошёл(а) в комнату
[16:19:19] <ermine> надо писать в таком стиле abc def qwe fsd sss
[16:19:32] <ermine> и никакой лапши или инфиксов
[16:20:00] <ermine> и перловки
[16:20:54] <gds> только примитивные и ограниченные штуки наподобие unparsing'а можно записать таким образом.  Когда описываешь суровую логику, будут либо извратные комбинаторы, либо рекурсия и let-привязки.  Я выбрал второе, но пофиг, крайних варианта два.
[16:21:00] <ermine> а вот меня уже начинает бесить a >>= fun b -> c >>= fun z -> ...
[16:23:31] <arhibot> gds: какие-то вялые аргументы в треде
[16:24:07] <gds> ermine: бери pa_monad, на original syntax оно заводится в теории.
[16:24:57] <gds> arhibot: they're sick bastards.  не хочу обсуждать, по крайней мере сейчас.  может настроение такое, хз, а может и нечего.
[16:32:21] komar вышел(а) из комнаты: Replaced by new connection
[16:32:24] komar вошёл(а) в комнату
[16:54:15] <ygrek> как не почитаю на rsdn'е тред про камль - там всегда почему-то обсуждают х-ь
[17:01:37] <gds> rsdn.  русская призма.
[17:02:21] komar вышел(а) из комнаты
[17:06:57] shaggie вошёл(а) в комнату
[17:09:51] <ermine> призма чего?
[17:10:24] <ermine> кстати, а тут число участников не увеличивается с годами и веками
[17:10:33] <ermine> слабо работаете, товариши
[17:11:09] ermine решила скомпилить cmdliner и заюзать его
[17:11:21] <ermine> в сульце, например
[18:08:51] iNode вошёл(а) в комнату
[18:14:31] komar вошёл(а) в комнату
[18:17:00] komar вышел(а) из комнаты
[18:17:52] komar вошёл(а) в комнату
[18:38:46] komar вышел(а) из комнаты: Replaced by new connection
[18:38:49] komar вошёл(а) в комнату
[18:42:33] komar вышел(а) из комнаты
[18:55:55] komar вошёл(а) в комнату
[19:09:42] ygrek вышел(а) из комнаты: Replaced by new connection
[19:09:43] ygrek вошёл(а) в комнату
[19:13:30] komar вышел(а) из комнаты: Replaced by new connection
[19:13:32] komar вошёл(а) в комнату
[19:19:38] komar вышел(а) из комнаты: Replaced by new connection
[19:19:40] komar вошёл(а) в комнату
[19:24:21] komar вышел(а) из комнаты: Replaced by new connection
[19:24:27] komar вошёл(а) в комнату
[19:29:57] komar вышел(а) из комнаты: Replaced by new connection
[19:30:24] komar вошёл(а) в комнату
[19:48:30] komar вышел(а) из комнаты: Replaced by new connection
[19:48:31] komar вошёл(а) в комнату
[19:59:16] arhibot вышел(а) из комнаты: Replaced by new connection
[19:59:16] arhibot вошёл(а) в комнату
[20:04:58] komar вышел(а) из комнаты: Replaced by new connection
[20:05:01] komar вошёл(а) в комнату
[20:05:16] komar вышел(а) из комнаты
[20:06:04] komar вошёл(а) в комнату
[20:13:53] rren вышел(а) из комнаты
[20:15:58] komar вышел(а) из комнаты: Replaced by new connection
[20:16:03] komar вошёл(а) в комнату
[20:23:35] <ermine> в cmdliner уродливый инсталлер
[20:48:24] komar вышел(а) из комнаты: Replaced by new connection
[20:48:27] komar вошёл(а) в комнату
[20:59:08] shaggie вышел(а) из комнаты
[21:00:00] zert вошёл(а) в комнату
[21:02:39] komar вышел(а) из комнаты: Replaced by new connection
[21:02:40] komar вошёл(а) в комнату
[21:11:28] komar вышел(а) из комнаты: Replaced by new connection
[21:11:30] komar вошёл(а) в комнату
[21:23:54] komar вышел(а) из комнаты: Replaced by new connection
[21:23:56] komar вошёл(а) в комнату
[21:33:26] <ermine> gds: а cmdliner будет работать на винде?
[21:33:43] <gds> ermine: а я знаю?
[21:34:00] <ermine> gds: может, тоже проникся и скомпилил? :)
[21:34:13] <ermine> gds: там --help вызывает less
[21:35:18] <ermine> точнее env PAGER
[21:35:30] <ermine> вот интересно, что с виндой станется
[21:36:38] komar вышел(а) из комнаты: Replaced by new connection
[21:36:39] komar вошёл(а) в комнату
[21:37:01] <ermine> судя по коду - ничо не станется, поскипает
[21:37:02] <gds> не, мне оно пока не надо было компилить.  мне пока с другими штуками разобраться.  но, кстати, разобрался, скоро будет оверблд.
а так -- в нормальной винде (ну, msys/mingw, тем более в цыгвыне) есть less.
[21:37:08] <ermine> тогда можно заюзать
[21:37:35] <ermine> меня прикололо еще и тем, что там man генерится
[21:37:46] <ermine> в этом --help
[21:38:07] <gds> cmdliner клёви вообще, как будет нужно разбирать командную строку -- буду каньпелять.
[21:38:50] <ermine> а что еще ты видел с аппликативными функторами на камле?
[21:39:38] komar вышел(а) из комнаты: Replaced by new connection
[21:39:40] komar вошёл(а) в комнату
[21:40:33] <gds> ничего особо.  слышал, что в ocsigen что-то есть для разбора урлов, но не больше.
[21:41:22] ermine помчалась проверять
[21:42:12] <ermine> там функции pure точно нет
[21:48:23] <ermine> (* TODO: rewrite header parsing! *)
[21:49:16] <ermine> (* Include in a better cooperative parser for header or use regexp?. *)
[21:49:32] <ermine> да, планов громадье
[21:49:51] <ermine> жаль, надо было учить хмаскиль лет 10 назад хотя бы
[21:51:58] <gds> pure не является обязательным признаком.
а вот хаксиль -- не знаю, стоило или нет.  Вместо него, думается, лучше было бы в различные методы лямбда-редукции повтыкать.  А то и накодить какой-нибудь дсл поверх ленивой лямбды.  Ну, как моя недоделанная разметка :)
[21:58:40] komar вышел(а) из комнаты: Replaced by new connection
[21:58:41] komar вошёл(а) в комнату
[22:05:25] <ermine>     let url_re = Netstring_pcre.regexp "^([Hh][Tt][Tt][Pp][Ss]?)://([0-9a-zA-Z.-]+|\\[[0-9A-Fa-f:.]+\\])(:([0-9]+))?/([^\\?]*)(\\?(.*))?$" in
[22:07:06] <ermine> ну и многочлен с ним
[22:08:13] <gds> ну, url_re.  некоторые грешат, да.
[22:11:41] <gds> а для некоторых штук это -- https://bitbucket.org/jhw/oni -- вроде таки годно.
[22:15:12] komar вышел(а) из комнаты: Replaced by new connection
[22:15:13] komar вошёл(а) в комнату
[22:23:44] <ermine> а что там?
[22:26:58] <ermine> а, слышала про nae
[22:27:16] ermine на всякий случай склонировала
[22:41:14] shaggie вошёл(а) в комнату
[23:26:15] arhibot вышел(а) из комнаты
[23:38:40] ygrek вышел(а) из комнаты
[23:42:49] ygrek вошёл(а) в комнату
[23:43:25] ygrek вышел(а) из комнаты
[23:44:01] ygrek вошёл(а) в комнату
[23:47:20] <ygrek> для такого ужаса как url_re надо mikmatch юзать