Objective Caml - Воскресенье, 25 декабря 2011

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 25 декабря 2011< ^ >

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

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

GMT+4
[00:18:39] mrm вошёл(а) в комнату
[00:54:09] komar вышел(а) из комнаты: Replaced by new connection
[00:54:10] komar вошёл(а) в комнату
[01:10:49] komar вышел(а) из комнаты: Replaced by new connection
[01:10:50] komar вошёл(а) в комнату
[01:11:37] <ygrek> Andrey Popp: мне можно, я дипломированный слоупок
[01:50:41] Kakadu вышел(а) из комнаты
[02:41:58] Andrey Popp вышел(а) из комнаты
[03:28:05] <ygrek> http://www.muromec.org.ua/2011/12/blog-post.html
[04:22:45] ygrek вышел(а) из комнаты
[04:46:37] ftrvxmtrx вышел(а) из комнаты
[04:49:12] ftrvxmtrx вошёл(а) в комнату
[04:58:57] Andrey Kovbovich вошёл(а) в комнату
[05:02:05] Andrey Kovbovich вышел(а) из комнаты
[06:04:46] ftrvxmtrx вышел(а) из комнаты
[06:06:45] ftrvxmtrx вошёл(а) в комнату
[06:15:05] letrec вышел(а) из комнаты
[06:17:12] letrec вошёл(а) в комнату
[08:38:10] ftrvxmtrx вышел(а) из комнаты
[08:40:41] ftrvxmtrx вошёл(а) в комнату
[08:40:46] ftrvxmtrx вышел(а) из комнаты
[08:40:48] mrm вышел(а) из комнаты
[08:41:09] ftrvxmtrx вошёл(а) в комнату
[08:42:33] mrm вошёл(а) в комнату
[09:00:24] <gds> к вопросу о "склейка с разделителем + моноиды" -- http://paste.in.ua/3540/ -- и работает. даже функцию написал, который из "расширенного моноида" с входом 'i, внутренним состоянием 'a и выходом 'o делает итерат, кушающий 'i и выдающий в качестве результата 'o. ну и есть функция, доводящая обычный моноид до расширенного, подсовывая inj = proj = identity. в общем, для мелочей покатит.
[09:11:01] <gds> кстати, несложно, но интересно понять, почему на этих расширенных моноидах можно (и нужно) сделать как premap, так и postmap, и почему сигнатуры
value premap : ('i2 -> 'i1) -> ext 'i1 'a 'o -> ext 'i2 'a 'o
value postmap : ('o1 -> 'o2) -> ext 'i 'a 'o1 -> ext 'i 'a 'o2
[09:13:10] ftrvxmtrx вышел(а) из комнаты
[09:15:42] ftrvxmtrx вошёл(а) в комнату
[09:15:51] ftrvxmtrx вышел(а) из комнаты
[09:16:03] ftrvxmtrx вошёл(а) в комнату
[09:38:12] ftrvxmtrx вышел(а) из комнаты
[09:40:00] ftrvxmtrx вошёл(а) в комнату
[10:27:53] ermine вошёл(а) в комнату
[10:29:46] mrm вышел(а) из комнаты
[10:51:06] <gds> поглядел на задачку "создать спископодобную структуру (nil+cons) длиной size, узнать её длину, пройтись по ней".
https://docs.google.com/spreadsheet/oimg?key=0AtgxgH8vnvbNdHhhX3Z3WGRHYVNVOW1wcjF3LWZBd2c&oid=2&zx=d1tsonobd33k
пробовал типы, описанные в подписях к графику, чото никакого профита от хранения длины в списке, даже несмотря на то, что для list 'a требуется фактически два прохода по списку -- List.length для длины и собственно проход по элементам (тогда как для других структур длина узнаётся за O(1)).
шок!
[10:51:48] <gds> (да, логарифмы везде двоичные, т.е. список с log(size)=25 это список с size=2^25.)
[10:57:04] klapaucius вышел(а) из комнаты
[11:30:41] Andrey Popp вошёл(а) в комнату
[11:48:21] Kakadu вошёл(а) в комнату
[14:43:45] Typhon вошёл(а) в комнату
[15:12:23] <Typhon> f[x]: про питон пацаны ща мутят пакетирование более чотким, вот на пайкон киевский приезжал француз из мозилы, который этим заведует
[15:13:17] <gds> Typhon: сливай инсайдерскую инфу!
[15:14:43] <Andrey Popp> gds: плана у них нет, Тарек (тот француз) практически слился уже
[15:14:57] <Andrey Popp> по этой теме
[15:15:21] <gds> и шо, и всё?
[15:15:55] <Andrey Popp> вообщем, сейчас проект опеределяется как исполняемый питон-файл, они хотят привести это дело к декларативному виду — think of cabal ;-)
[15:16:08] <Andrey Popp> думаю это мало поможет )
[15:19:31] Typhon вышел(а) из комнаты
[15:45:31] Typhon вошёл(а) в комнату
[15:56:22] Typhon вышел(а) из комнаты: Replaced by new connection
[15:56:42] Typhon вошёл(а) в комнату
[15:56:44] Typhon вышел(а) из комнаты
[17:00:01] mrm вошёл(а) в комнату
[18:46:34] mrm вышел(а) из комнаты
[19:26:23] <gds> > сейчас проект опеределяется как исполняемый питон-файл
*-фейл
в барбре я уже говорил по этому поводу, но и тут повторюсь.
[19:31:54] f[x] вошёл(а) в комнату
[20:21:23] <Andrey Popp> gds: есть плюсы, есть и минусы
[20:22:00] <Andrey Popp> цепочка из autotools/m4 -> configure -> Makefile говорит о том, что у "сейчас проект опеределяется как исполняемый питон-файл" есть плюсы
[20:29:30] Andrey Popp вышел(а) из комнаты
[20:29:48] Andrey Popp вошёл(а) в комнату
[21:52:22] f[x] вышел(а) из комнаты
[21:54:34] Andrey Popp вышел(а) из комнаты
[21:57:33] Andrey Popp вошёл(а) в комнату
[22:04:41] ak79 вошёл(а) в комнату
[22:08:47] ak79 вышел(а) из комнаты
[22:58:38] letrec вышел(а) из комнаты
[23:19:57] ermine вышел(а) из комнаты