Objective Caml - Среда, 4 ноября 2009

Objective Caml

ocaml@conference.jabber.ru

Среда, 4 ноября 2009< ^ >

ygrek установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Верблюды грязи не боятся! | release crap | voice по запросу

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

GMT+3
[00:17:59] sevenov вышел(а) из комнаты: Replaced by new connection
[00:18:02] sevenov вошёл(а) в комнату
[00:34:13] Typhon дочитал до vsl-mode, рад и доволен
[00:36:29] <sceptic> эпический срач
[00:55:03] <sceptic> plumqqz идиот или тролль?
[00:57:04] <gds> ближе к первому. называть пердл простым языком на серьёзе (и писать на нём плотно) -- это почти диагноз.
[00:59:16] <ygrek> манагер
[00:59:24] <ygrek> диагноз
[01:03:28] <sceptic> http://ru.wikipedia.org/wiki/YAML интересно
[01:03:48] <ygrek> yet another?
[01:10:27] <sceptic> YAML Ain't Markup Language
[01:11:23] <gds> "из всех языков семейства ML наиболее популярен HTML"
[01:30:05] ygrek вышел(а) из комнаты
[01:55:05] <sceptic> gds: сорвался ты однако.
[01:56:49] <Typhon> sceptic, google://Луговский
[01:57:34] <sceptic> ;) да знаю я знаю.
[01:57:50] <gds> я долго и тщательно выстраивал текст, читал первоисточники, проникался духом. даже при желании это нельзя так назвать.
[01:58:22] <sceptic> блин, почему в LJ такие тупые трэды =/
[01:58:35] <Typhon> sceptic, deep-water.ru поможет немного
[01:58:37] <gds> ибо.
[01:58:41] gds спатке
[01:59:04] <sceptic> Typhon: совсем немного, новые сообщения он не посасывает =/
[01:59:21] <Typhon> ctrl + К
[01:59:24] <Typhon> *R
[02:01:35] <sceptic> Однозначно трэд месяца, я аж выздоровил от такого ржача.
[02:39:05] Typhon вышел(а) из комнаты
[03:18:52] sevenov вышел(а) из комнаты
[06:17:04] sevenov вошёл(а) в комнату
[08:28:05] gds вышел(а) из комнаты
[09:05:02] gds вошёл(а) в комнату
[09:51:52] ygrek вошёл(а) в комнату
[10:21:08] DimitryKakadu вошёл(а) в комнату
[10:33:25] animist вышел(а) из комнаты
[10:33:42] animist вошёл(а) в комнату
[10:38:17] Typhon вошёл(а) в комнату
[11:11:50] f[x] вошёл(а) в комнату
[12:11:49] Typhon вышел(а) из комнаты
[13:55:05] <sceptic> http://users.livejournal.com/_adept_/99574.html
[14:01:59] f[x] предлагает запретить ссылки на жж по будням с 9 до 6, во избежание
[14:05:59] f[x] нарыл в камлобилде правило *.pp.ml
[14:09:54] <gds> про ссылки -- жостко. повод сменить часовой пояс и травить вас тут.
а что там .pp.ml -- какой-то определённый препроцессор?
[14:13:32] <f[x]> тот что в тегах
[14:16:22] <gds> чем отличается от тега camlp4r например?
[14:18:00] <f[x]> э
[14:18:20] <f[x]> в существующем проекте, хочется посмотреть что попадает на вход ocamlc
[14:18:28] <f[x]> делаешь ocamlbuild file.pp.ml
[14:18:47] <gds> а, я по-другому понял изначально. Теперь понятно, прикольная штука.
[14:18:56] <f[x]> и смотришь plain ocaml syntax, а file.ml может использовать кучу pa_* итд
[14:18:57] <f[x]> угу
[15:45:53] ygrek вышел(а) из комнаты
[16:02:12] sceptic вышел(а) из комнаты: Replaced by new connection
[16:02:17] sceptic вошёл(а) в комнату
[16:55:10] <f[x]> > Вывод типов для SQL или иного простого языка
хм
[17:01:12] <gds> тоже обратил внимание.
[17:20:02] animist вышел(а) из комнаты: Replaced by new connection
[17:29:27] gds вышел(а) из комнаты
[18:11:08] gds вошёл(а) в комнату
[18:23:48] DimitryKakadu вышел(а) из комнаты
[18:43:30] <f[x]> Интересно, а камлевские channels мусорщиком вообще не собираются/закрываются? Эмпирика говорит что нет. А почему?
[18:44:46] <gds> вроде должны, афаир.
[18:45:03] <f[x]> в топлевеле не получается, попробую по настоящему
[18:45:52] <gds> интересно, как бы проверить. Как там к значениям финализатор цеплять? Ни разу не практиковал.
[18:47:44] <f[x]> ignore open_in и Gc.compact
[18:47:56] <f[x]> финализатор с сишной стороны цепляется
[18:49:21] <f[x]> хм, и с камлевской тоже
[18:49:25] <f[x]> не знал :)
[18:50:10] <gds> не знал -- почти то же, что не практиковал, в данном случае. мы квиты :)
[18:50:30] <gds> так вот, как проверить, что мусорщик закрыл всё?
[18:51:31] <f[x]> мусорщик сам хэндл не закрывает, но вызывает финализатор, т.е. можно закрыть самому
[18:52:08] <f[x]> let () = let x = open_in "devkit.mllib" in Gc.finalise (fun z -> print_endline "fin"; close_in z) x; ();;
[18:52:56] <f[x]> интересно почему это по дефолту не так. хотя в принципе это не нормальная ситуация, и раз можно самому обойти то ок
[18:57:36] <gds> точно, сишный финализатор не закрывает.
левенькое объяснение можно придумать: чтобы как можно раньше ловить ошибки, связанные с тем, что на мусорщика в целом не следует навешивать управление внешними ресурсами.
[18:58:44] <f[x]> угу, разумно
[18:59:03] iNode вошёл(а) в комнату
[20:01:27] ygrek вошёл(а) в комнату
[20:28:48] f[x] вышел(а) из комнаты
[22:54:00] <ygrek> citrix xenserver oss'нули свой камловский код, видно сами уже не могут понять что там к чему :)
[22:54:50] <sceptic> это какой?
[22:55:46] <ygrek> "XAPI toolstack, written in OCaml"
[22:56:08] <ygrek> "200k lines"
[22:56:59] <iNode> ygrek: это единственный повод открывать код программного продукта? :)
[22:57:31] <sceptic> может 2/3 это дока...
[22:57:42] <iNode> ygrek: думаю это просто в рамках конкуренции с другими системами виртуализации
[22:58:59] ygrek был ироничен, кается
[23:01:24] <sceptic> да 200к как бэ не очень легко поддерживается, даже на ocaml
[23:01:37] <gds> в последнее время opensource это модно.
даже вон firefox и то opensource, хотя какой в этом смысл, когда сотня мудрецов в нём не разберётся.
[23:04:04] <ygrek> не обязательно разбираться полностью
[23:04:26] <ygrek> зато если есть трабла можно быстро самому попытаться её локализовать
[23:04:37] <ygrek> у меня есть такой опыт как раз с firefox'ом
[23:04:38] <iNode> gds: ну раз в десять лет находится какой нибудь эпический герой, который долго и упорно выслеживает какого нибудь коварного бага и в конце концов одерживает над ним победу, как например с горячими клавишами для русского языка.