Objective Caml - Вторник, 6 ноября 2012

Objective Caml

ocaml@conference.jabber.ru

Вторник, 6 ноября 2012< ^ >

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

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

GMT+4
[00:11:28] Sun][ вышел(а) из комнаты
[00:12:01] Sun][ вошёл(а) в комнату
[00:21:35] komar вышел(а) из комнаты: Logged out
[00:29:09] Sun][ вышел(а) из комнаты
[00:33:21] tilarids вышел(а) из комнаты: Machine going to sleep
[00:33:43] komar вошёл(а) в комнату
[00:37:06] komar вышел(а) из комнаты: Logged out
[00:59:44] ermine вышел(а) из комнаты
[01:06:43] tilarids вошёл(а) в комнату
[01:25:01] Andrey Popp вошёл(а) в комнату
[01:58:24] Andrey Popp вышел(а) из комнаты
[02:11:16] Kakadu вышел(а) из комнаты
[02:30:08] komar вошёл(а) в комнату
[02:30:14] komar вышел(а) из комнаты: Logged out
[03:15:02] dzhon вышел(а) из комнаты
[03:20:18] vladimir.chujkov вошёл(а) в комнату
[04:22:53] Typhon вышел(а) из комнаты
[04:24:45] vladimir.chujkov вошёл(а) в комнату
[04:26:10] vladimir.chujkov вышел(а) из комнаты
[04:36:09] vladimir.chujkov вышел(а) из комнаты
[04:50:59] gds вышел(а) из комнаты
[09:13:14] avkarpich вошёл(а) в комнату
[09:14:58] avkarpich вышел(а) из комнаты
[09:30:14] dzhon вошёл(а) в комнату
[10:53:00] Andrey Popp вошёл(а) в комнату
[10:54:44] Andrey Popp вышел(а) из комнаты
[10:57:22] Andrey Popp вошёл(а) в комнату
[11:00:03] dzhon вышел(а) из комнаты
[11:00:07] dzhon вошёл(а) в комнату
[11:12:19] Sun][ вошёл(а) в комнату
[11:32:00] ermine вошёл(а) в комнату
[11:56:30] ygrek вошёл(а) в комнату
[12:08:56] Andrey Popp вышел(а) из комнаты
[12:13:55] komar вошёл(а) в комнату
[12:31:43] ftrvxmtrx вышел(а) из комнаты
[12:39:23] Kakadu вошёл(а) в комнату
[12:40:57] ygrek вышел(а) из комнаты: Replaced by new connection
[12:41:03] ygrek вошёл(а) в комнату
[12:48:39] Kakadu вошёл(а) в комнату
[12:49:25] ygrek вышел(а) из комнаты
[13:04:40] Andrey Popp вошёл(а) в комнату
[13:26:20] Kakadu вышел(а) из комнаты
[13:43:00] Kakadu вошёл(а) в комнату
[13:54:11] akovbovich вышел(а) из комнаты
[14:04:31] tilarids вышел(а) из комнаты: Machine going to sleep
[14:42:23] tilarids вошёл(а) в комнату
[14:56:43] vladimir.chujkov вошёл(а) в комнату
[15:34:14] letrec вошёл(а) в комнату
[15:48:57] Typhon вошёл(а) в комнату
[16:57:07] <letrec> gds: статья супер
[16:57:07] akovbovich вышел(а) из комнаты
[16:57:07] akovbovich вышел(а) из комнаты
[16:57:07] akovbovich вышел(а) из комнаты
[17:03:22] ftrvxmtrx вошёл(а) в комнату
[17:15:01] <Kakadu> gds: > Если х-ь тыкали х-м
жжошь
[17:35:36] akovbovich вошёл(а) в комнату
[17:45:43] Ilya Rezvov вошёл(а) в комнату
[17:46:06] <Ilya Rezvov> дайте войса, я терь буду окамлером!
[17:50:00] <Kakadu> Ilya Rezvov: а ты сюда откуда?
[17:50:45] <Kakadu> блинский, gds так популярно рассказал что аж +2 "неизвестных" селовека набежало
[17:50:55] <Ilya Rezvov> с хаскеля, например
[17:52:01] <Kakadu> я знаю что ты в #haskell тусуешься. Вопрос был не про это
[17:55:45] <ermine> coq рулит?
[17:58:00] <Ilya Rezvov> Kakadu: а про что вопрос тогда?
[17:58:22] <Ilya Rezvov> уточни тип до мономорфного
[17:58:27] <Kakadu> как ты поймал ссылку
[17:58:29] <Kakadu> ?
[17:58:44] <Ilya Rezvov> а, ну просто зашел на ocaml конфочку
[17:59:11] <Kakadu> т.е. ты статью не читал?
[18:00:22] Sun][ вышел(а) из комнаты
[18:00:36] <ermine> :))
[18:01:19] <ermine> Kakadu: читай уже книжку про coq
[18:07:45] <Kakadu> ermine: чтобы я превратился в coqueqadout?
[18:08:56] <ermine> Kakadu: чтобы скорее пережить эту полоску жизни
[18:09:26] <ermine> и в глубокой старости вспоминать "дааа, было веселое времечко..."
[18:10:13] <Kakadu> трогательно
[18:14:18] komar вышел(а) из комнаты
[18:17:03] komar вошёл(а) в комнату
[19:09:03] Kakadu вышел(а) из комнаты
[19:11:17] dzhon вышел(а) из комнаты
[19:16:28] Kakadu вышел(а) из комнаты
[19:34:44] gds вошёл(а) в комнату
[19:49:17] Sun][ вошёл(а) в комнату
[19:55:36] f[x] вошёл(а) в комнату
[20:12:53] vladimir.chujkov вошёл(а) в комнату
[20:14:51] f[x] вышел(а) из комнаты
[20:16:02] vladimir.chujkov вышел(а) из комнаты
[20:20:12] ftrvxmtrx вышел(а) из комнаты
[20:26:17] letrec вышел(а) из комнаты
[20:34:23] f[x] вошёл(а) в комнату
[20:37:33] vladimir.chujkov вышел(а) из комнаты
[20:48:45] Andrey Popp вышел(а) из комнаты
[20:55:32] Ilya Rezvov вышел(а) из комнаты
[21:33:03] dzhon вошёл(а) в комнату
[21:36:46] vladimir.chujkov вошёл(а) в комнату
[22:07:36] f[x] вышел(а) из комнаты
[22:17:24] Sun][ вышел(а) из комнаты
[22:17:34] Sun][ вошёл(а) в комнату
[22:21:19] f[x] вошёл(а) в комнату
[22:24:33] ermine дочитала демоническую статью
[22:27:44] <ermine> gds: продолжение будет?
[22:29:30] vladimir.chujkov вышел(а) из комнаты
[22:31:00] <ermine> gds: и статья уже устрашила меня, когда я собиралась на coq тренировать свою либлу teap - это типа деревья с двойной балансировкой
[22:31:24] vladimir.chujkov вошёл(а) в комнату
[22:35:39] vladimir.chujkov вошёл(а) в комнату
[22:40:00] vladimir.chujkov вышел(а) из комнаты
[22:46:58] Andrey Popp вошёл(а) в комнату
[22:47:30] Ilya Rezvov вошёл(а) в комнату
[22:59:24] <gds> ermine: правильно -- "диманическую", если брать моё имя.
продолжение -- ну.. а что там можно ещё продолжить? Опыт использования описал, вот и всё. Разве что другие открытия, хорошие/плохие, тоже можно описывать. Буду в жыжыцу писать, в чятик ссылки кидать, не пропустишь.
и я тебя спрашивал, чо за teap/treap -- расскажи подробно, может там наоборот всё будет клёво.
[23:02:14] Kakadu вошёл(а) в комнату
[23:03:59] f[x] вышел(а) из комнаты
[23:04:06] tilarids вышел(а) из комнаты: Machine going to sleep
[23:04:18] f[x] вошёл(а) в комнату
[23:09:40] <ermine> gds: treap в википедии описана, а на мой взгляд это обычное дерево с балансировкой плюс еще один критерий балансировки, обычно туда ставят время, по истечении которого узел дерева надо выкинуть, для простоты поиска узел с ближайшим временем истечения жизни ставят корнем дерева
[23:10:24] <ermine> бинарное дерево
[23:11:55] <ermine> в камлевой версии дерево реализуется в виде array со сваппингом, мне aleksey дал алгоритм, я не до конца его осознала
[23:13:10] <ermine> а может я вру, array был в другом коде, а тут обычное дерево а-ля Map
[23:13:17] <ermine> лень посмотреть
[23:13:18] f[x] вышел(а) из комнаты
[23:14:03] f[x] вошёл(а) в комнату
[23:14:06] ermine заново осваивает camlp4
[23:14:22] <ermine> жуткая штука, если не запоминается
[23:14:49] <ermine> и наверное доки по camlp4 нет до сих пор?
[23:19:14] <f[x]> true
[23:20:13] <ermine> f[x]: а в четвертом камле camlp4 переломали до несовместимости?
[23:20:23] <f[x]> нет
[23:20:31] <f[x]> ничего кардинального
[23:21:11] <ermine> видать идеи у них исчерпались
[23:21:48] Typhon вышел(а) из комнаты
[23:38:27] tilarids вошёл(а) в комнату
[23:38:50] tilarids вышел(а) из комнаты
[23:39:06] tilarids вошёл(а) в комнату
[23:45:08] ftrvxmtrx вошёл(а) в комнату