Objective Caml - Четверг, 17 июня 2010

Objective Caml

ocaml@conference.jabber.ru

Четверг, 17 июня 2010< ^ >

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

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

GMT+4
[00:47:26] ermine вышел(а) из комнаты
[02:06:41] komar вошёл(а) в комнату
[02:20:59] Typhon вышел(а) из комнаты
[02:22:11] Typhon вошёл(а) в комнату
[02:41:05] Typhon вышел(а) из комнаты
[04:25:25] iNode вышел(а) из комнаты
[04:33:34] iNode вошёл(а) в комнату
[06:44:51] komar вышел(а) из комнаты
[07:55:03] iNode вышел(а) из комнаты
[08:13:56] iNode вошёл(а) в комнату
[08:26:22] gds вышел(а) из комнаты
[09:04:41] gds вошёл(а) в комнату
[09:39:24] Kakadu вошёл(а) в комнату
[09:39:31] Kakadu вышел(а) из комнаты
[10:06:01] serp256 вошёл(а) в комнату
[10:40:56] Typhon вошёл(а) в комнату
[10:43:08] <Typhon> меж тем питонисты отжигают и феерически расставляют точки (ru_python): Это называется каррирование, используется в частности для удобства, в общем же является важной частью функциональной парадигмы. Например, это может быть использовано для автоматического докозательства теорем, вывода правил и прочее и прочее.
[10:53:05] <gds> почитал, жгут.
[11:08:33] ʇsʎɯ вошёл(а) в комнату
[11:12:16] ermine вошёл(а) в комнату
[11:56:24] gds вышел(а) из комнаты
[11:56:33] gds вошёл(а) в комнату
[12:23:08] <gds> а теперь проблема с 3.12 в том, что ocamlbuild не читает _tags.  Описал тут: http://caml.inria.fr/mantis/view.php?id=5077 .  Есть идеи?
[13:54:36] <gds> iteratees клёвые.  http://okmij.org/ftp/layered-io.txt -- вот тут, если брать Stream, было бы сложно сказать что-то типа "вот мы из http-читающего потока делаем поток, читающий не более 12345 байтов, разбираем японский текст в пределах того потока, а затем продолжаем читать http".
Кстати, ищу красивое решение этой проблемы поверх Stream.  Некрасивое уже вообразил.
[14:45:51] komar вошёл(а) в комнату
[15:32:00] serp256 вышел(а) из комнаты
[15:42:48] gds вышел(а) из комнаты
[15:43:01] gds вошёл(а) в комнату
[15:52:27] <gds> http://pastebin.com/xabue8Vi -- обрезаю поток по n элементам, тупо, но как-то слишком тупо -- расчёт на то, что все n символов будут прочитаны (или меньше, если доступно меньше) перед чтением "хвоста".  А если нужно меньше, нужно явно скипать их, чтобы вызывающий код думал, что прочиталось n, и отпозиционировался правильно.  Та же императивщина получается.
[16:30:09] <f[x]> открытие дня - функция filter-out в GNU make
[16:30:37] <f[x]> наконец-то я не буду инсталлить myocamlbuild.cmx вместе с либой :)
[16:31:36] <gds> можно было бы и rm -f _build/myocamlbuild.cmx перед инсталлом.
[16:35:03] serp256 вошёл(а) в комнату
[16:40:19] <f[x]> rm забанен
[16:40:34] <f[x]> это ж портабельный makefile
[16:41:36] <gds> портабельный в пределах gnu make?  ужос.
[16:49:30] <f[x]> ага
[17:13:28] <gds> есть ли у кого-нибудь под рукой примеры окамлобилдовского плагина, умеющего билдить сишный код (и линковать его, ясное дело)?
[17:15:42] iNode вышел(а) из комнаты
[17:18:54] vshender вошёл(а) в комнату
[17:22:58] <f[x]> gds: http://paste.org.ru/?oyeq7w
[17:24:23] <gds> а флаг ("флаг"?) "library" -- это может быть только когда есть "link", и ставится в случаях, когда оно пытается линковать библиотеку?
[17:28:19] <f[x]> да
[17:28:44] <gds> остальное вроде понятно.  благодарю за код, вероятно пригодится.
[17:31:02] gds вышел(а) из комнаты
[18:19:23] gds вошёл(а) в комнату
[18:20:03] iNode вошёл(а) в комнату
[19:12:50] gds вышел(а) из комнаты
[19:19:31] vshender решает олимпиадные задачки. Интересно :)
[19:19:49] <vshender> упс, это в icfp'шный org.by :)
[19:23:30] gds вошёл(а) в комнату
[19:34:28] komar вышел(а) из комнаты
[19:38:30] <f[x]> gds: на msvc 3.12 собирается нормально
[19:44:50] <gds> лог сохранял?  А кое-что поменять и пересобрать -- сможешь или геморно?
[19:49:32] <f[x]> могу, только завтра уже
[19:49:44] <f[x]> лог не сохранял
[19:50:01] <f[x]> а ты собирал из чистого tar.gz?
[19:52:09] Typhon вышел(а) из комнаты
[19:53:03] <gds> собирал из чистого, согласно ридмишке сделал s.h + m.h, в config/Makefile пофиксил prefix, линковку tcl/tk поменял на ту, которая у меня работает, опции flexlink'у добавил (-L /mingw -L /msys), вот и всё.  Отклонения от ридми -- необходимые у меня вещи.
[19:56:46] ʇsʎɯ вышел(а) из комнаты
[20:26:19] serp256 вышел(а) из комнаты
[21:32:31] Typhon вошёл(а) в комнату
[21:41:54] <gds> собираюсь написать примитивнейшую библиотеку, позволяющую распараллелить работу посредством message passing, пока в пределах хоста.  Отличия от -- 1. pipe+fork+marshal, 2. jocaml -- в том, что хочу без pipe+fork, чтобы кроссплатформенно.  Прошу, отговорите, если велосипед.
[21:43:06] <gds> (потому что, если у нас будут LogicM + параллельность, контест падёт пред нами)
[21:43:25] <Typhon> тупо параллельно перебрать все варианты? :)
[21:44:27] <gds> ага.  Начиная с варианта подбора того, что же они имели ввиду в условии.  Новаторский подход, нанотехнологии.
[21:44:49] <Typhon> в питоне когда мультипроцессинг модуль писали (кроссплатформенный) поставили один if WINDOWS_PLATFORM (или как-то так) и там грязными хаками все сделали (по словам мейнтейнера пакета), а в случае юникс систем все-таки форками (а как обмениваются данными не помню :) )
[21:46:06] <gds> кстати вот, охотно поверю на слово.  сам бы так делал.
[21:49:00] Typhon вышел(а) из комнаты
[22:11:59] <vshender> gds: у меня для этого clojure со всем искаробки есть ;)
[22:14:35] Kakadu вошёл(а) в комнату
[22:15:56] <gds> как раз недавно была дискуссия в жыжыцэ про clojure.  хороший лисп, как я понял.
[22:18:14] <vshender> Не без недостатков, но неплохой. Ряд неплохих решений есть и, самое главное, даровой доступ к куче библиотек.
[22:18:39] <vshender> Но там параллельность на STM, а значит по машинам не разнесешь. То есть, если нужно, придется ручками
[22:42:10] komar вошёл(а) в комнату