Objective Caml - Воскресенье, 20 января 2013

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 20 января 2013< ^ >

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

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

GMT+4
[00:10:51] strobegen вышел(а) из комнаты
[00:34:16] komar вышел(а) из комнаты: Logged out
[02:06:58] Sun][ вышел(а) из комнаты
[02:20:03] komar вошёл(а) в комнату
[02:46:31] komar вышел(а) из комнаты: Logged out
[05:17:41] Andrey Popp вышел(а) из комнаты
[07:31:29] strobegen вошёл(а) в комнату
[09:02:48] strobegen вышел(а) из комнаты
[10:17:27] tilarids вошёл(а) в комнату
[10:29:32] ermine вошёл(а) в комнату
[10:42:18] tilarids вышел(а) из комнаты: Replaced by new connection
[10:42:21] tilarids вошёл(а) в комнату
[11:00:54] Kakadu вошёл(а) в комнату
[11:18:20] tilarids вышел(а) из комнаты: Machine going to sleep
[11:24:45] strobegen вошёл(а) в комнату
[11:24:58] Andrey Popp вошёл(а) в комнату
[11:31:07] tilarids вошёл(а) в комнату
[12:07:17] Andrey Popp вышел(а) из комнаты
[12:25:55] Andrey Popp вошёл(а) в комнату
[12:51:07] tilarids вышел(а) из комнаты: Machine going to sleep
[12:59:08] tilarids вошёл(а) в комнату
[14:15:37] komar вошёл(а) в комнату
[15:28:24] Typhon вошёл(а) в комнату
[15:30:24] Typhon вышел(а) из комнаты
[15:31:31] Typhon вошёл(а) в комнату
[15:43:19] Typhon вышел(а) из комнаты
[15:57:54] Typhon вошёл(а) в комнату
[16:05:35] Typhon вышел(а) из комнаты
[16:06:48] Typhon вошёл(а) в комнату
[16:08:51] Typhon вышел(а) из комнаты
[16:10:02] Typhon вошёл(а) в комнату
[16:19:33] Typhon вышел(а) из комнаты
[16:20:16] Typhon вошёл(а) в комнату
[16:24:16] Typhon вышел(а) из комнаты
[16:25:38] tilarids вышел(а) из комнаты: Machine going to sleep
[16:29:08] tilarids вошёл(а) в комнату
[16:47:23] strobegen вышел(а) из комнаты
[16:48:25] strobegen вошёл(а) в комнату
[17:14:04] Typhon вошёл(а) в комнату
[17:36:09] <ermine> gds: операции с int32 медленее чем с int?
[17:45:07] ermine прочитала в доке, что int32 занимают больше места чем int и таки медленее, значит, бяка
[17:47:51] tilarids вышел(а) из комнаты: Machine going to sleep
[18:20:12] tilarids вошёл(а) в комнату
[18:28:56] tilarids вышел(а) из комнаты
[18:29:42] tilarids вошёл(а) в комнату
[18:38:53] <gds> ermine: таки да, boxed, оттуда -- точно медленнее. А про unboxing/оптимизации я не в курсе, делается ли он для int32, когда оно промежуточное.
[18:45:35] <ermine> gds: nativeint тоже оказался бякой, наверное и int64 тоже бяка :) я просто хотела сэкономить память, имея int 32 битный, но выходит фиг
[18:47:29] <gds> вообще, странно, что int32 не оптимизируют в int на 64-битных платформах.
[18:47:43] <gds> (то есть, причины понятны, но профит был бы.)
[18:49:24] <ermine> ну сам int в камле безразмерный
[18:50:03] <gds> чо.
[18:50:08] <gds> 31/63
[18:51:01] <ermine> а вот клепаю массив с трёмя интами в каждой строчке, какого размера массив получится?
[18:51:23] <ermine> три инта плюс тип массива помножить на число строк плюс тип массива?
[18:52:09] <ermine> и влезет ли всё в одну кучу или будет размазано по всему миру?
[18:53:09] <ermine> декларативное программирование - только для истинных блондинок
[18:53:19] <gds> а не пробовала Bigarray?
[18:53:55] <ermine> ну число строк у меня 1700 всего-то
[18:54:09] <ermine> а что bigarray дало бы?
[18:54:12] <gds> тогда к чему вопрос про память?
[18:54:38] <ermine> если в каждой строчке еще массив, то что будет?
[18:55:12] <ermine> оптимизация вроде есть только когда сам весь массив из одних интов идет
[18:55:30] <ermine> чтобы влезло в один кусок памяти
[18:55:56] <ermine> но это так, на современных компах большой ценности не имеет
[18:56:38] <gds> если нужно, чтобы с учётом кеша процессора, например, то Bigarray это делает. Выделяет непрерывный кусок, а там адресуй его как [1700][3], например.
[19:05:06] <ermine> gds: не, если в с - то там ведь легко имитировать многомерные массивы, в отличие от камла, а в камле есть многомерные массивы?
[19:10:26] Andrey Popp вышел(а) из комнаты
[19:23:43] Andrey Popp вошёл(а) в комнату
[19:46:54] Typhon вышел(а) из комнаты
[20:13:37] Andrey Popp вышел(а) из комнаты
[20:17:10] Andrey Popp вошёл(а) в комнату
[20:28:40] Andrey Popp вышел(а) из комнаты
[20:33:00] Andrey Popp вошёл(а) в комнату
[20:39:06] Andrey Popp вышел(а) из комнаты
[20:58:05] <gds> ermine: да емое, посмотри ты на Bigarray.
[21:59:18] Kakadu вышел(а) из комнаты
[22:01:01] tilarids вышел(а) из комнаты: Machine going to sleep
[22:03:44] Kakadu вошёл(а) в комнату
[22:04:30] tilarids вошёл(а) в комнату
[23:19:21] <Kakadu> что-то я какой-то тупой
[23:19:40] <Kakadu> всегда думал что аргумент функции должен быть ковариантен, а результат наоборот
[23:19:48] <Kakadu> оказалось всё наоборот