Objective Caml - Пятница, 24 сентября 2010

Objective Caml

ocaml@conference.jabber.ru

Пятница, 24 сентября 2010< ^ >

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

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

GMT+4
[00:08:59] serp256 вышел(а) из комнаты
[00:09:06] gds вышел(а) из комнаты
[00:09:25] serp256 вошёл(а) в комнату
[00:15:25] arhibot вышел(а) из комнаты
[00:17:42] serp256 вышел(а) из комнаты
[00:19:10] serp256 вошёл(а) в комнату
[00:27:40] serp256 вышел(а) из комнаты
[00:27:58] serp256 вошёл(а) в комнату
[00:33:22] serp256 вышел(а) из комнаты
[00:39:42] Kakadu вышел(а) из комнаты
[00:41:02] <ygrek> Доказательство программ? Поедание грибов!
[00:44:44] olegfink вышел(а) из комнаты
[00:44:50] olegfink вошёл(а) в комнату
[01:35:09] ygrek вышел(а) из комнаты
[01:51:01] zert вышел(а) из комнаты
[02:54:26] Typhon вышел(а) из комнаты
[03:13:32] komar вышел(а) из комнаты
[08:20:10] iNode вышел(а) из комнаты
[08:41:22] iNode вошёл(а) в комнату
[09:02:37] gds вошёл(а) в комнату
[09:21:50] gds вышел(а) из комнаты: Replaced by new connection
[09:21:53] gds вошёл(а) в комнату
[09:35:39] iNode вышел(а) из комнаты
[09:35:45] iNode вошёл(а) в комнату
[10:00:49] serp256 вошёл(а) в комнату
[10:01:32] Typhon вошёл(а) в комнату
[10:09:16] arhibot вошёл(а) в комнату
[10:09:44] <arhibot> ygrek почему?
[10:23:34] <gds> arhibot: http://metaclass.livejournal.com/543773.html + http://metaclass.livejournal.com/544077.html
[10:31:49] <arhibot> gds: фи. так оно только границы массивов и другие не очень интересные вещи проверяет?
[10:36:16] <gds> толком не вникал. Вроде главным образом проверяет завершимость и ограниченность использования памяти. Тоже достойная цель, но надо всё делать как-то чуть более комплексно, что ли.
[10:37:17] ygrek вошёл(а) в комнату
[10:38:12] <arhibot> про завершимость, я что-то там ничего не увидел
[11:00:13] arhibot вышел(а) из комнаты
[11:03:22] arhibot вошёл(а) в комнату
[11:13:22] serp256 вышел(а) из комнаты
[11:13:34] serp256 вошёл(а) в комнату
[11:23:44] serp256 вышел(а) из комнаты
[11:26:00] serp256 вошёл(а) в комнату
[11:33:09] komar вошёл(а) в комнату
[11:39:04] komar вышел(а) из комнаты
[11:44:48] ʇsʎɯ вошёл(а) в комнату
[11:54:50] gds вышел(а) из комнаты: Replaced by new connection
[11:54:51] gds вошёл(а) в комнату
[12:03:12] zert вошёл(а) в комнату
[12:08:04] ʇsʎɯ вышел(а) из комнаты: Replaced by new connection
[12:08:08] ʇsʎɯ вошёл(а) в комнату
[12:09:07] Kakadu вошёл(а) в комнату
[12:17:15] <Typhon> "#ocaml <http://twitter.com/#search/%23ocaml> top 30 words: let in s with _ x fun Some None match n if the then l loc List a name of try t method string String p false f else ref" @mjambon <http://twitter.com/#!/mjambon>
[12:45:08] <olegfink> а false популярнее true. французы такие пессимисты?
[13:07:23] ermine вошёл(а) в комнату
[13:31:26] ygrek вышел(а) из комнаты
[13:41:57] komar вошёл(а) в комнату
[13:43:54] f[x] правильно понимает что value обьявленный CAMLparam'ом можно (под локом, до соответсвующего CAMLreturn) спокойно пробрасывать в сишный код как value* и там разыменовывать когда понадобится, даже если в процессе происходят аллокации на камль хипе?
[13:45:47] <gds> имхо да -- в стек-фрейме зарегистрировано место, которое gc проапдейтит в случае передвижений, и это место по ссылке. CAMLreturn это место "забудет", и указатель больше нельзя будет трогать.
[13:47:46] <f[x]> угу, вроде так
[13:58:18] ʇsʎɯ вышел(а) из комнаты
[14:06:46] ʇsʎɯ вошёл(а) в комнату
[15:15:39] ygrek вошёл(а) в комнату
[15:15:55] ygrek вышел(а) из комнаты
[16:32:00] gds вышел(а) из комнаты
[16:45:30] Typhon вышел(а) из комнаты
[16:45:51] Typhon вошёл(а) в комнату
[17:05:54] iNode вышел(а) из комнаты
[17:17:35] gds вошёл(а) в комнату
[17:52:01] iNode вошёл(а) в комнату
[17:57:15] arhibot вышел(а) из комнаты
[19:05:01] Typhon вышел(а) из комнаты
[19:29:04] f[x] вышел(а) из комнаты
[19:41:27] ʇsʎɯ вышел(а) из комнаты
[20:05:34] Kakadu вышел(а) из комнаты
[20:51:17] Kakadu вошёл(а) в комнату
[20:57:26] arhibot вошёл(а) в комнату
[21:20:01] serp256 вышел(а) из комнаты
[22:00:53] zert вышел(а) из комнаты
[22:04:57] zert вошёл(а) в комнату
[22:23:55] Typhon вошёл(а) в комнату
[22:24:37] ygrek вошёл(а) в комнату
[23:24:10] komar вышел(а) из комнаты
[23:41:05] zert вышел(а) из комнаты
[23:46:16] ermine вышел(а) из комнаты