Objective Caml - Суббота, 24 декабря 2011

Objective Caml

ocaml@conference.jabber.ru

Суббота, 24 декабря 2011< ^ >

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

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

GMT+4
[00:45:49] Kakadu вышел(а) из комнаты
[00:46:42] f[x] за сегодня узнал про пи-н больше чем когда-либо хотел
[00:49:53] komar вышел(а) из комнаты: Replaced by new connection
[00:49:53] komar вошёл(а) в комнату
[01:01:51] <f[x]> зато теперь можно делать
    l = OCamlValue(gdb.parse_and_eval(arg_list[0]))
    while l != OCamlValue.of_int(0):
      print "(", l.field(0), ",", l.field(1), ") ::",
      l = l.field(1)
    print "[]"
и получать :
(gdb) ml_print_list &camlTest__1
( 1 , 0x61B310 ) :: ( 2 , 0x61B328 ) :: ( 3 , 0 ) :: []
[01:08:36] Andrey Popp вошёл(а) в комнату
[01:08:46] Andrey Popp вышел(а) из комнаты
[04:04:49] ftrvxmtrx вышел(а) из комнаты
[04:08:00] ftrvxmtrx вошёл(а) в комнату
[04:08:08] ftrvxmtrx вышел(а) из комнаты
[04:08:18] ftrvxmtrx вошёл(а) в комнату
[05:06:02] f[x] вышел(а) из комнаты
[06:36:49] komar вышел(а) из комнаты
[07:26:11] ftrvxmtrx вышел(а) из комнаты
[07:28:35] ftrvxmtrx вошёл(а) в комнату
[08:52:51] dzhon вошёл(а) в комнату
[11:33:55] Kakadu вошёл(а) в комнату
[11:38:39] Kakadu вышел(а) из комнаты
[11:39:06] Kakadu вошёл(а) в комнату
[11:48:34] ermine вошёл(а) в комнату
[12:04:13] dzhon вышел(а) из комнаты
[12:12:26] gds вошёл(а) в комнату
[12:39:04] <gds> я хочу составить модели производительности алгоритмов в окамле, алгоритмов простых.  модели -- потому что точная производительность зависит от многого, а мне хотя бы приближение интересно.  пока модели включают в себя такие показатели, как "общая используемая память", "общее количество значений", и такие действия (затраты ресурсов), как выделение памяти, подсовывание работы мусорщику, pointer dereference, memory read, memory write.
далее, имея алгоритмы, можно их померять на практике (по скорости, по работе мусорщика) и найти численные коэффициенты для конкретной машины, и, если они будут сходиться для всех алгоритмов, значит модель правильная, и её оценки можно принимать на веру (например, при выборе какого-то алгоритма из нескольких, для каких-то заданных условий).
интересно, что я забыл учесть и насколько это плохо?  например, кеши -- в списках и в массивах явно разное последовательное чтение, но не только из-за дополнительного чтения памяти и разыменования указателя.  например, в мутабельных структурах при присвоении объём работы мусорщика как-то зависит то ли от старого, то ли от нового значения, а я уже не помню, как (и зависит ли).
в общем, набрасывайте идей.
[12:43:37] <letrec> есть смысл с Str связываться или сразу pcre взять?
[14:06:08] komar вошёл(а) в комнату
[14:07:14] ermine вышел(а) из комнаты
[14:07:18] ermine вошёл(а) в комнату
[15:01:38] ygrek вошёл(а) в комнату
[15:02:34] <ygrek> letrec: бери сразу pcre, а ещё лучше mikmatch
[15:17:15] <ygrek> camlunity.ru переехал на новый сервер, всё должно работать
[16:14:10] Andrey Popp вышел(а) из комнаты
[16:40:39] komar вышел(а) из комнаты
[17:05:50] ygrek вышел(а) из комнаты
[17:06:07] ygrek вошёл(а) в комнату
[18:34:22] letrec вышел(а) из комнаты
[18:42:00] letrec вошёл(а) в комнату
[19:03:00] komar вошёл(а) в комнату
[20:13:56] schurshik вошёл(а) в комнату
[21:12:12] schurshik вышел(а) из комнаты: qutIM : Jabber plugin
[21:15:25] Andrey Popp вошёл(а) в комнату
[21:23:15] komar вышел(а) из комнаты: Replaced by new connection
[21:23:16] komar вошёл(а) в комнату
[21:37:24] <ygrek> инструкция по травле скалаводов -> http://codahale.com/downloads/email-to-donald.txt
[21:43:11] ftrvxmtrx вышел(а) из комнаты
[21:43:12] <ermine> .txt? в 21 веке?
[21:43:25] <Kakadu> ermine: скажи это gds
[21:43:56] <ermine> Kakadu: а что он натворил?
[21:46:18] ftrvxmtrx вошёл(а) в комнату
[21:46:31] ftrvxmtrx вышел(а) из комнаты
[21:46:41] ftrvxmtrx вошёл(а) в комнату
[21:48:31] <Kakadu> ermine: он любит плейнтексты
[21:50:26] komar вышел(а) из комнаты: Replaced by new connection
[21:50:27] komar вошёл(а) в комнату
[21:58:03] <ermine> Kakadu: ну я тоже люблю, в нем удобно искать
[21:58:28] <ermine> но странички на сайтах в плайнтексте - это неудобно и некрасиво
[21:58:38] <ermine> даже если это даун марка
[22:02:21] <Andrey Popp> ygrek: уже пошумело месяц назад) в целом — многое правда
[22:49:47] arhibot вошёл(а) в комнату
[22:49:52] arhibot вышел(а) из комнаты
[23:23:06] ermine вышел(а) из комнаты
[23:26:34] ftrvxmtrx вышел(а) из комнаты
[23:29:21] ftrvxmtrx вошёл(а) в комнату
[23:53:55] Kakadu вышел(а) из комнаты
[23:54:08] Kakadu вошёл(а) в комнату