Objective Caml - Понедельник, 26 декабря 2011

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 26 декабря 2011< ^ >

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

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

GMT+4
[00:58:20] ftrvxmtrx вышел(а) из комнаты
[01:00:30] ftrvxmtrx вошёл(а) в комнату
[01:11:15] f[x] вошёл(а) в комнату
[01:11:23] komar вышел(а) из комнаты: Replaced by new connection
[01:11:23] komar вошёл(а) в комнату
[01:13:51] Kakadu вышел(а) из комнаты
[01:32:38] Andrey Popp вошёл(а) в комнату
[01:32:58] Andrey Popp вышел(а) из комнаты
[02:22:24] gds вышел(а) из комнаты: Replaced by new connection
[02:22:25] gds вошёл(а) в комнату
[03:27:50] Andrey Popp вышел(а) из комнаты
[04:05:17] mrm вошёл(а) в комнату
[04:17:41] f[x] вышел(а) из комнаты
[06:13:35] <gds> и всё же не могу разобраться с чистофункциональными deques.  все варианты, которые придумываются, неидеальны, а с окасакиными вариантами чото не срастается, не обеспечивают они заявленных характеристик (но это, наверное, руки у меня кривые).  надо будет fingertrees пощупать ещё.  ну или давайте другие идеи.
[06:17:31] letrec вошёл(а) в комнату
[06:17:38] letrec вышел(а) из комнаты
[06:17:53] letrec вошёл(а) в комнату
[06:22:19] <gds> "Finger trees: a _simple_ general-purpose data structure"
я подчеркнул, где именно смеяться :[
[06:39:25] mrm вышел(а) из комнаты
[07:04:22] letrec вышел(а) из комнаты
[07:07:08] letrec вошёл(а) в комнату
[09:37:09] ftrvxmtrx вышел(а) из комнаты
[09:37:46] ftrvxmtrx вошёл(а) в комнату
[09:53:45] klapaucius вошёл(а) в комнату
[10:01:31] Andrey Popp вошёл(а) в комнату
[10:03:47] Andrey Popp вышел(а) из комнаты
[10:06:53] <bobry> gds: это всегда самое смешное в cs papers, "we present a _simple_ online algorithm for blah blah ..."
[10:10:33] <gds> угу, обхохочешься.  набрали умных по объявлениям, а тебе читать их папиры.
[10:13:35] <bobry> лол
[10:38:32] Kakadu вошёл(а) в комнату
[11:09:55] Kakadu вышел(а) из комнаты
[11:30:47] Kakadu вошёл(а) в комнату
[11:39:10] Typhon вошёл(а) в комнату
[12:06:28] ermine вошёл(а) в комнату
[12:16:48] gds вышел(а) из комнаты
[12:17:13] gds вошёл(а) в комнату
[12:27:55] Kakadu вышел(а) из комнаты
[13:02:19] shaggie вошёл(а) в комнату
[13:32:38] mrm вошёл(а) в комнату
[13:34:17] Andrey Popp вошёл(а) в комнату
[13:48:37] mrm вышел(а) из комнаты
[14:27:53] letrec вышел(а) из комнаты
[14:40:23] ftrvxmtrx вышел(а) из комнаты
[14:44:38] ftrvxmtrx вошёл(а) в комнату
[16:42:11] ftrvxmtrx вышел(а) из комнаты
[16:45:22] ftrvxmtrx вошёл(а) в комнату
[18:30:10] bobry вошёл(а) в комнату
[18:48:44] <bobry> гм, товарищи, поясните мне про GADTs, вот есть у меня тип (Foo 'a) и есть для него пачка конструкторов, уточняющих 'a: Bar int, Bar float etc
[18:48:56] <bobry> почему нельзя сделать список из этих конструкторов?
[18:54:21] letrec вошёл(а) в комнату
[18:54:24] letrec вышел(а) из комнаты
[18:54:39] letrec вошёл(а) в комнату
[18:56:46] gds вышел(а) из комнаты: Replaced by new connection
[18:56:47] gds вошёл(а) в комнату
[19:27:38] letrec вышел(а) из комнаты
[19:32:48] letrec вошёл(а) в комнату
[19:49:53] <gds> bobry: разобрался уже?
[20:04:41] Andrey Popp вышел(а) из комнаты
[20:06:57] <bobry> gds: заюзал existential types
[20:07:18] <bobry> как в х-ле не хватает полиморфных вариантов м..
[20:07:28] <bobry> а то сигнатуры все Foo Bar Baz String
[20:10:02] <gds> тьфуты, а я думал, что ты камловские гадты щупаешь.
[20:12:31] <bobry> неа .. у нас же х-ль @work
[20:12:42] <bobry> и лейблов ооочень не хватает
[20:12:59] <f[x]> хм, "Lightweight Typed Customizable Unmarshaling", Pascal Cuoq, Julien Signoles, Damien Doligez
[20:13:34] <gds> мне их в своё время рекомендовали эмулировать созданием записи с именованными полями.  на каждый чих.  прикольно, чо!
[20:15:57] <gds> а подскажите мне простую структуру данных, в которой, взяв либо хвост, либо гриву (т.е. отбросив либо первый, либо последний элемент), этот элемент мог бы собраться мусорщиком?  если только голову отбрасывать, список таки.
[20:26:01] letrec вышел(а) из комнаты
[20:29:26] letrec вошёл(а) в комнату
[20:34:49] gds вышел(а) из комнаты
[20:35:11] bobry вышел(а) из комнаты
[21:01:14] f[x] вошёл(а) в комнату
[21:01:51] <f[x]> бинарное дерево
[21:02:05] <f[x]> точнее, просто дерево
[21:05:52] Kakadu вошёл(а) в комнату
[21:34:03] letrec вышел(а) из комнаты
[21:36:39] shaggie вышел(а) из комнаты
[22:18:21] Typhon вышел(а) из комнаты
[22:43:32] <bobry> ну обычный двусвязный список не покатит?
[22:55:44] shaggie вошёл(а) в комнату
[22:55:57] shaggie вышел(а) из комнаты
[23:00:50] ermine вышел(а) из комнаты
[23:47:28] Typhon вошёл(а) в комнату
[23:57:46] <bobry> господа, а что с барбарой?