Objective Caml - Вторник, 10 июля 2012

Objective Caml

ocaml@conference.jabber.ru

Вторник, 10 июля 2012< ^ >

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

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

GMT+4
[00:27:57] ermine вышел(а) из комнаты
[00:56:03] Typhon вошёл(а) в комнату
[01:21:06] Kakadu вышел(а) из комнаты
[01:21:58] gds вышел(а) из комнаты
[01:34:43] gds вошёл(а) в комнату
[01:53:49] Typhon вышел(а) из комнаты
[02:25:37] bobry вышел(а) из комнаты
[05:57:44] komar вышел(а) из комнаты
[08:34:50] Typhon вошёл(а) в комнату
[09:52:23] bobry вошёл(а) в комнату
[10:02:33] bobry вышел(а) из комнаты
[10:32:17] ftrvxmtrx вышел(а) из комнаты
[10:50:12] komar вошёл(а) в комнату
[11:10:53] ftrvxmtrx вошёл(а) в комнату
[11:18:43] Sun][ вошёл(а) в комнату
[11:19:11] Sun][ вышел(а) из комнаты
[11:20:52] Sun][ вошёл(а) в комнату
[11:43:22] komar вышел(а) из комнаты
[11:53:16] ermine вошёл(а) в комнату
[12:27:22] Kakadu вошёл(а) в комнату
[12:56:53] Typhon вышел(а) из комнаты
[13:43:49] bobry вошёл(а) в комнату
[13:49:34] <bobry> что-тут совсем все затихло
[13:49:37] <bobry> вроде камло 4 на носу
[13:49:40] <bobry> и никто ничего не обсуждает
[13:50:23] <f[x]> поэтому мы обсудим тот факт что никто ничего не обсуждает
[13:50:57] <bobry> я не предлагаю это обсуждать :)
[13:55:27] <klapaucius> А что будет интересного в 4-ой версии? Я как-то отстал от жизни.
[14:00:03] Typhon вошёл(а) в комнату
[14:00:43] <f[x]> gadt'ы
[14:01:20] <f[x]> точные нативные бэктрейсы
[14:01:42] <f[x]> меньше аннотаций типов при работе с fcm
[14:01:53] <f[x]> оптимизации какие-то в компилере
[14:02:32] <klapaucius> Что за оптимизации?
[14:03:01] <f[x]> а, и новый ARM'овый бэкенд
[14:03:17] <ftrvxmtrx> инсталлятор под винду
[14:03:25] <f[x]> в кодогенерации, в деталях я не разбирался
[14:04:00] <f[x]> можно кстати было бы на вики забабахать highlight'ы релизов
[14:04:17] <f[x]> т.е. основные пункты из changes перевести и разжевать если надо
[14:04:20] <f[x]> как kernelnewbies
[14:05:44] <ftrvxmtrx> %revapply ещё добавили
[14:05:59] <ftrvxmtrx> если я не ошибаюсь, в 3.12 его нету
[14:20:48] <gds> самое интересное для меня, всё же, "Optimize away compile-time beta-redexes, e.g. (fun x y -> e) a b"
[14:24:10] <gds> и я бы обсудил кое-что.  в основном батарейки и окамлнет.  не собираются, гады, под 4.
[14:44:35] <f[x]> покажи
[14:44:40] <f[x]> для окамлнет есть патчи
[14:44:44] <f[x]> но релиза нет
[14:44:50] <f[x]> было же в мыллисте
[14:44:57] <f[x]> а батарейки должны
[14:56:47] <gds> патчи для окамлнета, по словам гердушки, ломают код унутре -- O_SHARE_DELETE должно и сишечькой обрабатываться тоже.  батарейки ща покажу.
[14:59:27] bobry вышел(а) из комнаты
[15:01:16] <gds> f[x]: батарейки: http://paste.in.ua/4495/
[15:03:42] <f[x]> не ломают
[15:03:44] <f[x]> там в ноль маппится
[15:04:17] <f[x]> а, это, в ^compiler-libs перенесли
[15:04:29] <f[x]> какая версия батареек?
[15:28:12] Kakadu вышел(а) из комнаты
[15:29:27] <gds> f[x]: последний релиз, 1.4.3.
[15:40:34] <gds> потестил свой ребилдол в продакшоне, рабочий проект собирается с такими описаниями: http://paste.in.ua/4497/ -- сначала собирается "виртуальное окружение", затем уже "rebildol -venv ~/src/renv run make ..."
[15:45:00] <gds> и да, люди меняются, я тоже.  раньше мне не нравилась идея использовать язык программирования в качестве языка для конфигов, теперь же захотел сделать быстро и расширяемо, ценой безопасности, и вот, кодогенерация, компиляция сборного бинарника на основании конфигов, и прочий ональный ад.
[16:07:05] <gds> да, мать их, неужели!  http://caml.inria.fr/cgi-bin/viewvc.cgi?view=revision&revision=12686 .  почти ровно год.
[16:39:38] <f[x]> gds: make OCAMLBUILDFLAGS="-no-links -cflags -I,+compiler-libs"
[16:39:45] <f[x]> но там всё равно не соберётся из-за hashtbl
[16:40:01] <gds> ну hashtbl это мелочь, в extlib уже пропатчил.
[16:40:21] <gds> (кстати вот, а почему я?..)
[16:41:35] <f[x]> потому что из svn не берёшь?
[16:42:16] <f[x]> http://code.google.com/p/ocaml-extlib/source/detail?r=396
[16:42:58] <f[x]> релизнуть что-ли?
[16:43:22] <gds> про svn -- угадал!
[16:44:18] <gds> релизить -- хз, я обошёлся.  Но, наверное, неплохо бы, чтобы народ, берущий релизы, не обламывался.
[16:45:35] <f[x]> я не спешил пока 4.00 официально нету
[16:52:30] <gds> так оно же не затрагивает <4.  впрочем, понятно.
а с батарейками валится на weak hashtables.  в топку пока что.  не будет оверблд сейчас.
[16:53:43] <f[x]> зарепорть?
[16:55:20] <gds> сами увидят, не дебилы.  да и лень.
[17:32:45] komar вошёл(а) в комнату
[18:04:54] Sun][ вышел(а) из комнаты
[18:31:59] Kakadu вошёл(а) в комнату
[18:54:55] komar вышел(а) из комнаты: Replaced by new connection
[18:54:55] komar вошёл(а) в комнату
[19:02:32] komar вышел(а) из комнаты: Logged out
[19:08:04] gnusf вошёл(а) в комнату
[19:08:30] gnusf вышел(а) из комнаты
[19:40:45] ftrvxmtrx вышел(а) из комнаты
[20:08:25] Typhon вышел(а) из комнаты
[20:23:11] komar вошёл(а) в комнату
[21:08:40] ludovik вошёл(а) в комнату
[21:18:43] komar вышел(а) из комнаты: Replaced by new connection
[21:18:43] komar вошёл(а) в комнату
[21:28:30] <Kakadu> а как в revised указать тип у labeled аргумента?
[21:29:15] <Kakadu> value f ~(x: int) = x + 1;
не пашет
[21:36:18] <gds> только так:
value f
  : ~x:int -> int
  = fun ~x ->
      тело
;
или, если аргумент не функциональный, можно
value f ~x =
  let () = ignore (x : int) in
  тело
;
[21:37:01] <gds> первое вполне приемлемо лично для меня, зато второе позволяет описывать более хитрые ограничения типов, выводимые из выражения в ignore.
[21:37:13] <Kakadu> ясно
[21:44:11] komar вышел(а) из комнаты: Replaced by new connection
[21:44:12] komar вошёл(а) в комнату
[21:49:55] bobry вошёл(а) в комнату
[21:59:12] <gds> кстати, я нашёл поистине чудесный способ доставать зависимости из oasis-проектов, но поля чятика слишком узки для него.
[22:41:27] komar вышел(а) из комнаты: Replaced by new connection
[22:41:27] komar вошёл(а) в комнату
[22:44:54] ftrvxmtrx вошёл(а) в комнату
[23:01:15] komar вышел(а) из комнаты
[23:10:47] komar вошёл(а) в комнату
[23:39:04] komar вышел(а) из комнаты