Objective Caml - Вторник, 27 сентября 2011

Objective Caml

ocaml@conference.jabber.ru

Вторник, 27 сентября 2011< ^ >

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

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

GMT+4
[00:14:42] Typhon вышел(а) из комнаты
[00:15:26] Typhon вошёл(а) в комнату
[00:28:26] <gds> приходить к тому, что неправильное неправильно -- это правильно.  сотони раз так делал лично, ну и видел примеры.  это, конечно, не мудро, но это -- умно.
[00:30:04] komar сломал моск.
[00:30:47] gds : wis += 1
[00:34:09] <Typhon> http://rwmj.wordpress.com/2011/09/21/which-foreign-function-interface-is-the-best/ <-- годно!
[00:41:45] <gds> Typhon: ога, закинул ссылку и сказал, что "жонс лашара и не разобрался хахаха".  узнал, что, оказывается, это не ffi нужно х-ю, а сишечьку нужно прямо так встраивать в х-ь, и с такой же детальностью надо было изучить ffi для пролога и sql.  Ну, я далее отсох свой язык.  Вообще, сильные слова в последнее время стараюсь не использовать.
[00:48:49] Kakadu вышел(а) из комнаты
[01:31:15] <Typhon> f[x], https://github.com/cfuehrmann/bringer -- ты пробовал? удобно?
[01:35:50] shaggie вышел(а) из комнаты
[02:44:24] Typhon вышел(а) из комнаты
[02:47:07] Typhon вошёл(а) в комнату
[03:33:32] ftrvxmtrx вошёл(а) в комнату
[04:04:00] letrec вошёл(а) в комнату
[05:09:47] Typhon вышел(а) из комнаты
[05:17:34] letrec вышел(а) из комнаты
[08:19:51] zert вошёл(а) в комнату
[09:04:29] Typhon вошёл(а) в комнату
[09:08:34] Typhon вышел(а) из комнаты: Replaced by new connection
[09:08:36] Typhon вошёл(а) в комнату
[09:32:49] komar вышел(а) из комнаты: Logged out
[10:23:52] Typhon вышел(а) из комнаты
[10:56:48] ermine вошёл(а) в комнату
[10:58:38] komar вошёл(а) в комнату
[11:03:29] <f[x]> Typhon: нет ещё, но надо пощупать
[11:03:58] f[x] юзает json для конфигов, и недоволен, хоть и не критично, но руками редактировать не шибко удобно
[11:04:15] <zert> иксемель юзай
[11:07:58] komar послал лучей.
[11:14:42] <f[x]> для камля yaml парсер разве есть?
[11:45:38] bobry вошёл(а) в комнату
[11:54:50] shaggie вошёл(а) в комнату
[12:12:32] Kakadu вошёл(а) в комнату
[12:36:13] <Kakadu> gds: А мы что-нибудь решили с тем багом про let _ : int = 1; ?
[12:37:25] <gds> Kakadu: пришло время зафайлить баг.  баг сам не зафайлится.
[12:40:24] <gds> если лень -- давай я зафайлю, мне-то чо.
[12:40:34] komar вышел(а) из комнаты: Replaced by new connection
[12:40:35] komar вошёл(а) в комнату
[12:48:36] <Kakadu> gds: ОК. давай ты. А то  мне лень сейчас на работе собирать камло новое
[13:02:42] bobry вышел(а) из комнаты
[13:03:32] <gds> http://caml.inria.fr/mantis/view.php?id=5362
[13:19:27] <Kakadu> ага
[13:24:19] Typhon вошёл(а) в комнату
[13:35:36] ftrvxmtrx вышел(а) из комнаты
[13:36:04] ftrvxmtrx вошёл(а) в комнату
[13:36:40] bobry вошёл(а) в комнату
[13:51:07] <Kakadu> такой лошара как я попал в cwn)))
[13:51:32] <Typhon> Kakadu: поздравляю %)
[13:52:09] Typhon записал в книжецу "yaml-парсер и генератор для камла"
[13:54:40] <bobry> шо эта?
[13:56:08] <Typhon> cwn или yaml?
[13:56:17] <bobry> cwn
[13:56:23] <Typhon> caml weekly news же
[13:56:34] <bobry> ааа, черт :)
[14:01:57] <Kakadu> yaml это типа замена sexplib, да?
[14:30:10] ermine потрахалась с gtk под макосью
[14:30:18] <ermine> ну и глючные макпорты
[14:30:28] <ermine> зато горгона запускается без иксов
[14:30:53] <ermine> дайте мне камлевый yaml
[14:31:36] ermine смотрит на Typhon
[14:31:44] <bobry> ermine: ставь сразу brew
[14:32:24] <ermine> bobry: аштойта?
[14:33:55] <bobry> так это макпорты для белых людей
[14:34:05] <bobry> mxcl.github.com/homebrew/
[14:34:31] <bobry> для камло правда маловато всего, но я эту проблему решил через odb
[14:34:41] <bobry> точнее нефига там нет для камло :)
[14:35:42] <ermine> а там gtk весь и целиком умеет quartz?
[14:36:10] <bobry> вот тут я не в курсе
[14:57:20] <Kakadu> gds: Жак сказал, что это всё нормальное поведение, но никак не прокомментировал почему revised ничего не печатает...
[15:40:01] bobry вышел(а) из комнаты
[15:49:21] letrec вошёл(а) в комнату
[15:58:05] ftrvxmtrx вышел(а) из комнаты
[15:58:43] zbroyar вошёл(а) в комнату
[16:25:25] ftrvxmtrx вошёл(а) в комнату
[17:16:56] klapaucius вышел(а) из комнаты
[17:40:24] zbroyar вышел(а) из комнаты
[18:16:13] <gds> http://caml.inria.fr/mantis/view.php?id=5362#c6133
[18:21:07] <gds> "A DBA walks into a NOSQL bar, but turns and leaves because he couldn't find a table"
[18:22:23] <letrec> годно
[18:48:19] zert вышел(а) из комнаты
[19:08:18] ftrvxmtrx вышел(а) из комнаты
[19:22:07] Kakadu вышел(а) из комнаты
[20:02:32] Typhon вышел(а) из комнаты
[20:07:36] Kakadu вошёл(а) в комнату
[20:16:40] ftrvxmtrx вошёл(а) в комнату
[20:57:18] shaggie вышел(а) из комнаты
[21:06:48] <gds> сегодня я жутко туплю.  Не стесняйтесь :)
Хочется как-то задавать типы данных и некоторые операции над ними, но так, чтобы, с одной стороны, кое-что гарантировать про типы -- например, то, что на значениях этого типа определено сравнение на равенство, причём статически проверяя (ну, объекты либо модули передавать, и ограничить аргумент определённым типом), но так, чтобы кое-что сделать опциональным -- например, если определено только равенство, но не определено упорядочивание, то для каких-то аргументов получается сложность только O(N^2), но код будет работать хоть как-нибудь, а если вдобавок определено упорядочивание, то сложность можно снизить до O(N*log(N)).  Но так, чтобы упорядочивание было необязательным.  И желательно так, чтобы описание типа представляло собой одно значение (объект, модуль, запись, функция), а не несколько их.  И так, чтобы одно и то же описание, допустим, содержащее сравнение на равенство и упорядочивание, можно было бы подсунуть как функции, требующей равенство и опциональное упорядочивание, так и функции, требующей и равенство, и упорядочивание.
[21:12:49] <Kakadu> Если нет функции упорядочивания, то можно передавать модуль с дефолтной функцией упорядочивания и с заинклюженным исходным модулем. Если при использовании алгоритма с упорядочиванием мы словим исключение, что ф-я упор-я дефолтная, то запускаем алгоитм квадратичной сложности
[21:16:45] letrec вышел(а) из комнаты
[21:16:53] <gds> гы, а ведь идея.
то есть, всегда требовать "по максимуму", но подразумевать, что могут быть дефолтовые функции с фиксированными исключениями типа No_method.
не очень хорошо то, что в случае, если даже равенство не определили, то мы это узнаем только при попытке его использования.
[21:37:10] <Kakadu> gds: я думаю что равенство должно быть обязательно
[21:37:25] <Kakadu> если нет равенства, то и не должно быть сравнение
[21:37:29] <Kakadu> я*
[21:38:09] <Kakadu> ибо если у типа реализовано вместо упорядочивания только яастичный порядок, то любая попытка хранить это отсортированныым --- имхо, бред
[21:38:21] <Kakadu> частичный*
[21:39:46] <gds> бывают такие типы, на которых равенства не ввести, или оно не будет полностью отражать реальное равенство -- например, на функциях.  Бывают типы, равенство на которых проверяется очень ресурсоёмко.  Бывают случаи, когда равенство не нужно -- например, для складирования значений в тупой список.
[21:41:18] <gds> а так -- согласен, если есть упорядочивание, то из него сравнение выводится нормально.
[21:41:28] <Kakadu> ye [p
[21:41:31] <Kakadu> ну хз
[21:45:43] <gds> а вообще, про частичный порядок ты меня навёл на мысль.  я её буду думать.
[22:16:03] ftrvxmtrx вышел(а) из комнаты
[22:56:30] ermine вышел(а) из комнаты
[23:08:56] gds вышел(а) из комнаты