Objective Caml - Суббота, 12 января 2013

Objective Caml

ocaml@conference.jabber.ru

Суббота, 12 января 2013< ^ >

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

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

GMT+4
[00:00:10] Andrey Popp вошёл(а) в комнату
[00:04:58] Andrey Popp вышел(а) из комнаты
[00:06:06] Andrey Popp вошёл(а) в комнату
[00:17:51] Andrey Popp вышел(а) из комнаты
[00:35:19] evilbloodydemon вышел(а) из комнаты
[00:52:32] Andrey Popp вошёл(а) в комнату
[01:03:19] ermine вышел(а) из комнаты
[01:22:02] komar вошёл(а) в комнату
[01:24:21] Andrey Popp вышел(а) из комнаты
[01:27:04] Andrey Popp вошёл(а) в комнату
[02:04:16] Sun][ вошёл(а) в комнату
[02:30:09] Sun][ вышел(а) из комнаты
[02:41:05] f[x] вошёл(а) в комнату
[04:16:36] komar вышел(а) из комнаты: Logged out
[04:32:07] komar вошёл(а) в комнату
[05:12:23] f[x] вышел(а) из комнаты
[06:56:10] gds вышел(а) из комнаты: Replaced by new connection
[06:56:11] gds вошёл(а) в комнату
[08:54:43] Andrey Popp вышел(а) из комнаты
[08:57:34] evilbloodydemon вошёл(а) в комнату
[11:02:21] Andrey Popp вошёл(а) в комнату
[11:52:54] ermine вошёл(а) в комнату
[12:07:47] Typhon вошёл(а) в комнату
[12:26:00] Andrey Popp вышел(а) из комнаты
[12:31:24] Typhon вышел(а) из комнаты
[12:50:25] Andrey Popp вошёл(а) в комнату
[13:14:57] Andrey Popp вышел(а) из комнаты
[13:17:21] Andrey Popp вошёл(а) в комнату
[13:37:57] Andrey Popp вышел(а) из комнаты
[14:18:01] Andrey Popp вошёл(а) в комнату
[14:59:03] Andrey Popp вышел(а) из комнаты
[15:00:18] <ermine> gds: как смастерить NULL в камле, такой чтоб соответствовал сложному типу данных, но реально занимал места в памяти не больше чем NULL?
[15:01:10] <ermine> gds: например за "пусто" у меня сейчас принят (0б [| |]), это ж дофига кусков памяти!
[15:04:50] <ermine> а, видимо, не надо писать в явном вите (0, [||]), а создавать референц на него, даже если рисуешь данные в коде
[15:08:07] <gds> ermine: так конечно, один раз его создай и постоянно обращайся к нему.  Даже == будет работать для СКОРАСТИ.
[15:09:29] <ermine> gds: а фигли компилятор сам не сооптимизирует типа как компилятор для далвика (андроида)?
[15:09:48] <ermine> там, говорят, компилятор сам ищет одинаковые данные и редуцирует их
[15:10:29] <gds> потому что камло тупое.  что пишешь -- то и получаешь.
[15:11:18] <ermine> надо бы получать хорошее
[15:11:45] <gds> и некоторая логика иногда бывает завязана на это.  Например, понятно, что ref () можно создать один раз на всю программу, но нет же, используют его как "атом".
[15:12:33] <gds> зафайли фичреквест, чо.
[15:13:38] <ermine> мне тут в семье недавно намекали, что "компиляторы такое умеют уже лет 20"
[15:46:34] Andrey Popp вошёл(а) в комнату
[16:07:37] Andrey Popp вышел(а) из комнаты
[16:15:39] Andrey Popp вошёл(а) в комнату
[16:41:02] Andrey Popp вышел(а) из комнаты
[16:44:39] <gds> ermine: я тут подумал.  Иногда бывает небезопасный код, использующий Obj или сишные функции, и там очень даже не лишне иметь гарантию того, что (a, b) делает именно новый тупл.  Поэтому сомнительно, что это заимплементят.  Но можно попробовать подойти к вопросу со стороны camlp4 (хотя очень неуверен).
[16:58:08] <ermine> ну лексически выявлять такие штучки всегда можно и просто седом
[17:01:12] <ermine> а camlp4 все равно не умеет инферить типы, чтобы позволять создавать новые тьюплы с мутабельными элементами
[17:01:47] <ermine> gds: ведь тебе не нужен новый тьюпл с немутабельными элементами, а?
[18:29:14] komar вышел(а) из комнаты: Replaced by new connection
[18:29:14] komar вошёл(а) в комнату
[18:38:20] Andrey Popp вошёл(а) в комнату
[18:39:58] Andrey Popp вышел(а) из комнаты
[18:43:22] Andrey Popp вошёл(а) в комнату
[18:43:43] Andrey Popp вышел(а) из комнаты
[19:02:26] Sun][ вошёл(а) в комнату
[19:29:48] <gds> ermine: мутабельность вполне может быть сделана внешне, говорю же про Obj и сишечьку, иногда так нужно.
[19:35:25] <ermine> gds: главное - не мухлевать!
[19:37:33] Andrey Popp вошёл(а) в комнату
[19:42:23] Andrey Popp вышел(а) из комнаты
[19:42:36] Andrey Popp вошёл(а) в комнату
[19:43:05] Andrey Popp вышел(а) из комнаты
[20:07:57] Andrey Popp вошёл(а) в комнату
[20:08:28] Andrey Popp вышел(а) из комнаты
[22:09:10] Andrey Popp вошёл(а) в комнату
[22:34:54] Andrey Popp вышел(а) из комнаты
[22:35:25] evilbloodydemon вышел(а) из комнаты
[22:35:50] evilbloodydemon вошёл(а) в комнату
[23:31:40] Andrey Popp вошёл(а) в комнату