Objective Caml - Суббота, 16 февраля 2013

Objective Caml

ocaml@conference.jabber.ru

Суббота, 16 февраля 2013< ^ >

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

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

GMT+4
[00:41:21] Sun][ вышел(а) из комнаты
[00:41:25] Sun][ вошёл(а) в комнату
[01:42:07] Sun][ вышел(а) из комнаты
[04:07:50] f[x] вышел(а) из комнаты
[05:54:44] tilarids вошёл(а) в комнату
[06:24:38] tilarids вышел(а) из комнаты: Machine going to sleep
[08:24:49] zinid вошёл(а) в комнату
[08:56:50] tilarids вошёл(а) в комнату
[09:02:36] ermine вошёл(а) в комнату
[10:30:05] Kakadu вошёл(а) в комнату
[12:19:42] tilarids вышел(а) из комнаты
[12:32:40] tilarids вошёл(а) в комнату
[12:58:12] tilarids вышел(а) из комнаты
[12:58:45] tilarids вошёл(а) в комнату
[13:22:23] tilarids вышел(а) из комнаты
[13:28:28] tilarids вошёл(а) в комнату
[13:35:29] Sun][ вошёл(а) в комнату
[13:36:10] Kakadu вышел(а) из комнаты
[14:15:35] tilarids вышел(а) из комнаты
[14:16:38] tilarids вошёл(а) в комнату
[14:39:49] tilarids вышел(а) из комнаты
[14:40:16] tilarids вошёл(а) в комнату
[14:44:30] tilarids вышел(а) из комнаты: Machine going to sleep
[16:23:20] tilarids вошёл(а) в комнату
[16:35:32] <zinid> чего-то у меня List.map со stack overflow вылетает, увеличение стека ничего не даёт
[16:35:32] akovbovich вышел(а) из комнаты
[16:37:23] <zinid> заменил на fold_left - прососало
[16:41:17] <gds> zinid: List.map не tail-recursive. Можешь использовать extlib (а может и батарейки, не в курсе). Либо List.rev_map + List.rev.
[16:41:47] <zinid> да я в курсе, просто непятно почему увеличение стека не помогает
[16:41:53] <zinid> *непонятно
[16:42:39] Kakadu вошёл(а) в комнату
[16:43:44] <gds> либо, если важна как производительность, так и скорость на мелких списках, наговнокодить гибрид, в стиле
let rec map f lst = let rec loop n lst = if n = 0 then List.rev (List.rev_map f lst) else match lst with | [] -> [] | h::t -> (f h) :: loop (n - 1) t in loop 100 lst;;
[16:44:02] <gds> увеличение стека должно помогать.
[16:44:27] <zinid> у пробую OCAMLRUNPARAM='l=2000000'
[16:44:32] <zinid> чота не помогает
[16:48:05] <gds> не помню точно, вроде l=.. это для байткода, а для нативного кода надо опцию линкеру давать (потому что размер стека прописан где-то в бинарнике, и OCAMLRUNPARAM до жопы).
[16:50:53] Sun][ вышел(а) из комнаты
[16:51:50] <gds> а вообще, не нужно иметь длинные списки.
[16:53:15] <zinid> да мне влом переписывать
[16:53:20] <zinid> пока надо чтобы просто работало
[16:53:43] Sun][ вошёл(а) в комнату
[17:02:27] tilarids вышел(а) из комнаты
[17:25:32] <gds> и ещё замечу, что иногда списки не нужны, вместо них в плане потребления памяти экономнее потоки (Stream), которые в простых случаях преобразований данных вообще O(1) могут дать.
[17:28:46] Sun][ вышел(а) из комнаты: Replaced by new connection
[17:28:46] Sun][ вошёл(а) в комнату
[17:31:31] Sun][ вышел(а) из комнаты: Replaced by new connection
[17:31:33] Sun][ вошёл(а) в комнату
[17:40:21] Sun][ вышел(а) из комнаты: Replaced by new connection
[17:40:23] Sun][ вошёл(а) в комнату
[17:44:32] Sun][ вышел(а) из комнаты: Replaced by new connection
[17:44:33] Sun][ вошёл(а) в комнату
[18:05:28] Typhon вошёл(а) в комнату
[18:09:12] Sun][ вышел(а) из комнаты: Replaced by new connection
[18:09:13] Sun][ вошёл(а) в комнату
[18:26:43] Typhon вышел(а) из комнаты: Replaced by new connection
[18:26:53] Typhon вошёл(а) в комнату
[19:12:09] Sun][ вышел(а) из комнаты: Replaced by new connection
[19:12:09] Sun][ вошёл(а) в комнату
[19:12:38] Typhon вышел(а) из комнаты
[19:13:29] Typhon вошёл(а) в комнату
[19:45:45] zinid вышел(а) из комнаты
[19:48:32] Sun][ вышел(а) из комнаты: Replaced by new connection
[19:48:32] Sun][ вошёл(а) в комнату
[19:58:12] tilarids вошёл(а) в комнату
[20:21:02] Typhon вышел(а) из комнаты
[20:46:34] komar вышел(а) из комнаты: Logged out
[20:46:37] komar вошёл(а) в комнату
[21:02:48] Sun][ вышел(а) из комнаты: Replaced by new connection
[21:02:48] Sun][ вошёл(а) в комнату
[21:35:30] tilarids вышел(а) из комнаты
[21:36:05] tilarids вошёл(а) в комнату
[22:44:05] ermine вышел(а) из комнаты
[23:34:02] Kakadu вышел(а) из комнаты