Objective Caml - Пятница, 30 марта 2012

Objective Caml

ocaml@conference.jabber.ru

Пятница, 30 марта 2012< ^ >

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

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

GMT+4
[00:03:45] <ermine> gds: ты не забывай, что ast все равно нужен, чтобы его преобразовывать с целью оптимизации и удаления лишних веток и закруглений
[00:05:02] ermine пошла в кроватку обниматься с книжкой по coq
[00:05:03] ermine вышел(а) из комнаты
[00:22:22] komar вышел(а) из комнаты
[00:22:38] komar вошёл(а) в комнату
[00:43:35] Typhon вошёл(а) в комнату
[00:55:21] Kakadu вышел(а) из комнаты
[01:31:56] bobry вышел(а) из комнаты
[01:34:30] Typhon вышел(а) из комнаты
[01:35:04] Typhon вошёл(а) в комнату
[02:02:47] komar вышел(а) из комнаты
[02:05:18] komar вошёл(а) в комнату
[03:11:08] Typhon вышел(а) из комнаты
[03:14:11] komar вышел(а) из комнаты: Replaced by new connection
[03:14:12] komar вошёл(а) в комнату
[03:32:12] letrec вошёл(а) в комнату
[04:02:41] komar вышел(а) из комнаты
[04:06:49] komar вошёл(а) в комнату
[04:31:42] letrec вышел(а) из комнаты
[04:42:05] komar вышел(а) из комнаты: Replaced by new connection
[04:42:05] komar вошёл(а) в комнату
[05:27:02] komar вышел(а) из комнаты
[05:27:04] komar вошёл(а) в комнату
[08:36:01] komar вышел(а) из комнаты: Replaced by new connection
[08:36:02] komar вошёл(а) в комнату
[09:08:01] komar вышел(а) из комнаты
[09:10:06] komar вошёл(а) в комнату
[09:41:18] dzhon вошёл(а) в комнату
[09:42:20] <dzhon> Добрый день, уважаемые! Может быть, слегка наивный вопрос, но интересно мне, есть ли в Caml возможность низкоуровневой работы с памятью без использования GC ? Ну, допустим, актуально для всяких RT задач.
[10:15:49] ftrvxmtrx вышел(а) из комнаты
[10:15:55] bobry вошёл(а) в комнату
[10:16:07] <bobry> помнится когда то gds заикнулся про функциональные графы
[10:16:21] <bobry> где каждый узел это функция возвращающая всех соседей
[10:16:27] <bobry> бонус: http://compscicenter.ru/sites/default/files/materials/Homework6.htm
[10:25:14] ftrvxmtrx вошёл(а) в комнату
[10:28:04] <bobry> dzhon: пиши stub module на сях и все будет :)
[10:31:32] <dzhon> bobry: ыть, а что, еще никто не написал ? :)
[10:33:06] ftrvxmtrx вышел(а) из комнаты
[10:34:10] ftrvxmtrx вошёл(а) в комнату
[10:34:27] <bobry> смотря что именно тебе надо
[10:34:49] ftrvxmtrx вышел(а) из комнаты
[10:38:27] ftrvxmtrx вошёл(а) в комнату
[10:44:03] ftrvxmtrx вышел(а) из комнаты
[10:44:04] dzhon вышел(а) из комнаты: Replaced by new connection
[10:44:07] dzhon вошёл(а) в комнату
[10:51:37] ftrvxmtrx вошёл(а) в комнату
[10:55:27] ftrvxmtrx вышел(а) из комнаты
[10:56:15] <gds> bobry: бывают совпадения в жизни.  Забавно получилось.
[10:57:42] <gds> dzhon: слишком общий это вопрос, чтобы кому-то было нужно решать его в общей форме.  Так-то возможностей куча.
[10:58:02] ftrvxmtrx вошёл(а) в комнату
[11:08:36] dzhon вышел(а) из комнаты
[11:29:45] ermine вошёл(а) в комнату
[12:23:31] Kakadu вошёл(а) в комнату
[13:17:55] Typhon вошёл(а) в комнату
[13:21:37] komar вышел(а) из комнаты
[13:52:46] shaggie вошёл(а) в комнату
[14:00:12] komar вошёл(а) в комнату
[16:03:11] <Kakadu> ура, я пофиксил бранчи в барбре. теперь только одна есть
[16:10:07] <ermine> мастер?
[16:10:38] <Kakadu> угу
[16:10:40] <Kakadu> ломастер
[16:14:09] <ermine> ну давай проинсталю теперь из мастера
[16:14:23] bobry вышел(а) из комнаты
[16:14:27] <Kakadu> да там ничего не поменялось
[16:14:29] <Kakadu> нет смысле
[16:15:23] <ermine> там еще cmdliner остался
[16:16:05] <ermine> в git branch -r
[16:16:44] <Kakadu> может у тебя локально остался?
[16:18:12] <ermine> -r
[16:19:12] komar вышел(а) из комнаты
[16:22:01] komar вошёл(а) в комнату
[16:54:37] <ermine> Kakadu: в рецептах еще есть make вместо MAKE
[16:54:52] <ermine> кто-то сломался при сборке оксигенсервера
[16:55:10] <Kakadu> да, я знаю. я про это вчера писал
[16:55:47] <ermine> js_of_ocaml например
[16:56:21] <ermine> а вот в рецепт оксигена буду добавлять флаги для фрибсд
[16:56:38] <ermine> Kakadu: давай уже доступ в рецепты, чоли
[16:57:37] <Kakadu> а у тебя нет?
[16:58:10] Kakadu всё время думал что ermine просит его фиксить рецепты потому что ей самой лень
[16:58:58] <Kakadu> ermine: ^^]
[16:59:25] <ermine> Kakadu: а хз
[16:59:42] <Kakadu> > а вот в рецепт оксигена буду добавлять флаги для фрибсд
нихера у тебя не соберется, потому что там нада lwt с реактором (ну может если только прописать lwt прямо в файло оксигеня)
[17:00:13] <Kakadu> https://github.com/camlunity/purse
[17:00:42] <ermine> а
[17:00:43] bobry вошёл(а) в комнату
[17:00:57] <ermine> надо решить с концепцией нахождения ocamlnet сначала...
[17:01:07] <bobry> ermine: может я чего не понимаю, почему вот эта штука 'comment <- '#' [^\n\r]* [\n\r]*;' не кушает строчку '# foobar\n\n\n"
[17:02:28] <bobry> парсилка разбирает "# foobar" и возвращает неразобранный кусок "\n\n\n"
[17:02:32] <Kakadu> ermine: может уломаем gds подключить хотябы кусочек мозга?
[17:02:47] <Kakadu> bobry: а без \r как ?
[17:03:18] <bobry> Kakadu: аналогично
[17:04:15] <ermine> это явно не пег
[17:04:20] <Kakadu> кажется парсетота жадная только в определенных случаях
[17:04:35] <bobry> все, отбой — разобрался, опечатка была
[17:04:38] <bobry> и да — это PEG
[17:12:40] <ermine> а в моем пеге это '#' (![\r\n] .)* [\r\n]*
[17:13:42] ermine ушла в магаз
[17:43:54] komar вышел(а) из комнаты
[17:44:25] komar вошёл(а) в комнату
[18:10:28] Kakadu вышел(а) из комнаты
[18:12:50] letrec вошёл(а) в комнату
[18:18:29] bobry вышел(а) из комнаты
[19:12:21] Kakadu вошёл(а) в комнату
[19:46:50] Typhon вышел(а) из комнаты
[20:39:26] <ermine> Kakadu: require в барбре должен показывать на пакет в камлофинде, посему хакерский метод лечения проблемы:
require netstring dep ocamlnet
require lwt dep lwt +lwt.react
[20:41:34] <ermine> gds: а чо ты молчишь?
[20:41:54] <Kakadu> у него прокрастенация
[20:43:11] <ermine> Kakadu: тогда учи coq
[20:43:46] <Kakadu> я тут научился компилять Qtшные приложения под ведроид
[20:43:54] <ermine> Kakadu: в конфиге барбры нужна еще директива, которая похожа на мой equire
[20:44:33] <Kakadu> осталось прикрутить ocaml для arm, чтобы наступил полный трындец
[20:44:52] <ermine> имя камлофинд.packet dep packetname +options сборки
[20:45:15] <ermine> точнее впереди еще чонить еще
[20:45:26] <ermine> или поменять весь синтаксис к чертям
[20:46:33] <Kakadu> ermine: мы же сейчас подпакеты обсуждаем?
[20:47:22] <ermine> Kakadu: мы сейчас обсуждаем как камлонет найти в системе
[20:49:09] <Kakadu> а его тоже можно по кусочкам устанавливать?
[20:49:33] <ermine> ну да, там опции сборки
[20:49:39] <ermine> как и в lwt
[20:49:51] <Kakadu> ну тогда надо вначале запиливать подпакеты
[20:50:05] <ermine> один хрен, только у lwt есть имя пакета в камлофинда, совпадающее с именем пакета
[20:50:12] <Kakadu> у вакета и подпакета будет поле по которому его можно узнавать в камлофинде
[20:51:00] <Kakadu> ermine: может это не нужно? пускай люди ставят всё по максимуму?
[20:52:55] <ermine> Kakadu: ну будет тогда барбра вечно собирать ocamlnet
[20:54:28] <ermine> Kakadu: я бы щас в качестве хака добавила smth netstrings dep ocamlnet recipe "default"
[20:54:44] <ermine> пусть тестит netstring и дальше по обычной схеме
[20:55:47] <ermine> Kakadu: а bobry тоже забил на это поделие?
[20:56:51] <ermine> check netstring dep ... например
[20:57:12] shaggie вышел(а) из комнаты
[21:00:00] <Kakadu> ermine: bobry учится
[21:01:11] <ermine> отлынивает значит
[21:02:13] <Kakadu> ermine: может в gentoo что-то такое подобное уже придумали?
[21:07:01] <ermine> Kakadu: везде в пакет манагерах создается база, где всё регистрируется, у нас тут ничего не регистрируется и не должно
[21:08:44] <ermine> как оазис, барбра будет ставить грязным способом, просто барбра у нас надстройка над камлофиндом, оазисом и просто мейкфейлом
[21:09:26] <Kakadu> что значит грязным?
[21:12:31] <ermine> грязно - это без помощи системного пакет манагера
[21:13:03] <ermine> пакет манагер знает про каждый проинсталленый файл и при удалении пакета стирает каждый зареганный файл
[21:13:04] <Kakadu> ermine: не, я из генты хотел взять вид конфигов
[21:13:41] <ermine> ну покажи
[21:13:54] <ermine> там тоже ничего нет про netstring
[21:14:12] <Kakadu> я хз как в генте
[21:14:28] <gds> ermine: надо -- и молчу!  Не хочу вникать в это, мозга нет.  Но порицаю заранее.  Разработчики барбры замучаются как минимум на вкручивании версий, и вот как раз там и возникнет нужда определять, где и что установлено.
а так -- я бы либо делал пакетный менеджер (к чему всё и идёт у вас), либо делал бы хрень для разворачивания per-project/per-venv окружения и его использования, причём в случае разворачивания попытался бы избежать любых применений интеллекта, наподобие проверок "поставлено ли" или "какая версия".
кстати, со star всё почти получилось (осталось тривиальное), но не идеально, мне не нравится.  какой-то forth поверх доказательств.
[21:14:29] <ermine> тупо как в барбре сейчас, по идее, только оно тестирует наличие в системе самого ocamlnet, а не netstring
[21:30:51] letrec вышел(а) из комнаты
[21:47:01] komar вышел(а) из комнаты: Replaced by new connection
[21:47:01] komar вошёл(а) в комнату
[21:57:10] komar вышел(а) из комнаты
[21:57:48] komar вошёл(а) в комнату
[22:00:31] bobry вошёл(а) в комнату
[22:00:36] ftrvxmtrx вышел(а) из комнаты
[22:08:25] ftrvxmtrx вошёл(а) в комнату
[22:14:08] ftrvxmtrx вышел(а) из комнаты
[22:15:36] ftrvxmtrx вошёл(а) в комнату
[22:26:11] ftrvxmtrx вошёл(а) в комнату
[22:52:08] ftrvxmtrx вышел(а) из комнаты
[22:56:08] ftrvxmtrx вошёл(а) в комнату
[23:07:30] ftrvxmtrx вышел(а) из комнаты
[23:12:41] ftrvxmtrx вошёл(а) в комнату
[23:35:17] komar вышел(а) из комнаты: Replaced by new connection
[23:35:18] komar вошёл(а) в комнату
[23:57:15] komar вышел(а) из комнаты: Replaced by new connection
[23:57:15] komar вошёл(а) в комнату
[23:57:22] shaggie вошёл(а) в комнату