Objective Caml - Четверг, 8 марта 2012

Objective Caml

ocaml@conference.jabber.ru

Четверг, 8 марта 2012< ^ >

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

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

GMT+4
[00:22:54] <bobry> вопрос зрителям -- хочется выпилить из барбары build / rebuild в пользу второго по дефолту ибо почти всегда нужно именно такое поведение -- кто-что скажет?
[00:42:37] <Kakadu> не трогая
[00:42:39] <Kakadu> й*
[00:42:45] <bobry> why?
[00:42:53] <Kakadu> должно пригодиться
[00:42:56] <bobry> таки конвертнул это все во флаги
[00:43:00] <bobry> build --only-deps
[00:43:05] <bobry> buld --force (для rebuild)
[00:48:46] <bobry> Kakadu: надо бы нам как нить рецепты ставить сразу пользователю
[00:48:55] <bobry> и обновлять бы их как то из гита
[00:49:07] <bobry> brb update?
[00:52:12] <bobry> а еще было бы круто впилить shell -- 'brb shell' вызывает интерпритатор загрузив туда все зависимости
[01:05:05] <gds> bobry: 1. build/rebuild -- смотри сам.  2. про шелл -- идея хорошая, но шелл везде разный (про венду помни), поэтому _dep/env.{sh,bat} -- вроде нормально.  Ещё тут учитывай venv'ы.
В будущем (где-то 2..3 месяца) я буду пилить барбру под свои нужды.  Пофиг, чо-как, но либо в "апстрим", либо в личный форк.  venv'ы нужны.
[01:09:29] <gds> bobry: то есть, я "на объектах" использую старую барбру, чото получается, а новую вот -- хз, не пробовал и пока не хочу, но буду тебе этосамое делать с мозгом (возможно, приватно, возможно, через github/issues), чтобы был результат.
[01:13:22] <bobry> gds: а можно как нить через ocamlfind получить путь к интерпретатору ocaml?
[01:15:09] <gds> bobry: через $OCAMLLIB получи, либо через $(which ocaml).  это как бы средне-разумные решения.  а про вопрос конкретно -- только изучай вывод ocamlfind.
[01:15:11] <bobry> gds: так можно же ocamlfind ocamlmktop и слинковать туда усе депсы
[01:15:52] <bobry> у нас и так на виндах много чего поломается, например ocamlfind легко может не оказаться в path
[01:16:15] <gds> bobry: зачем нахрен toplevel.  (это не вопрос, а утверждение.)
ты чото какую-то херню затеял.  Давай колись, какую именно.
[01:16:43] <bobry> так я ж написал -- хочу 'brb shell' поиграца с проектом шобы
[01:18:42] <gds> ну так в чём проблема.  бери $COMSPEC, запускай, передавай аргументы наподобие "/K _dep/env.bat" и всё.
[01:18:47] <bobry> просто т. к. #load не умеет загружать зависимости сам -- хочется велойсипеда который может
[01:18:54] <bobry> $COMPSPEC?
[01:19:02] <bobry> дело не в $OCAMLFIND_PATH  lf;t
[01:19:04] <bobry> *даже
[01:19:14] <gds> http://en.wikipedia.org/wiki/ComSpec
[01:22:01] <gds> да не парься, просто забей на brb shell.  Для разных ОС будет всяко разное, и не надо это автоматизировать.  Просто нагенери скриптов и дай ридми к ним.  Либо " . _dep/env.sh", либо "cmd /K _dep\env.bat", как-то так.  Ну или варианты.  Потому и делал изначально так, чтобы было универсально.
[01:24:50] <gds> а хотя, вот, как-то я говорил, что было бы неплохо сделать "brb run-with-env cmd args", но меня подняли на смех.  А так, можно было бы запустить и sh/bash для юниксов, и cmd для вендов.  Вроде я даже накодил подобное (не уверен вот), но, точно, вариант хороший.
[01:30:27] ftrvxmtrx вошёл(а) в комнату
[01:45:28] Kakadu вышел(а) из комнаты
[01:51:31] <bobry> накодил-накодил
[01:51:35] <bobry> и я даже пользовался уже пару раз
[01:51:45] <bobry> мне шелл самому нужен -- удобно с ним
[02:06:39] <bobry> кто меня ткнет в лексер разбирающий флоаты?
[02:10:09] <gds> ну, понятно, камлоисходники не предлагать?
[02:11:49] <bobry> что-то я и не подумал
[02:11:50] <bobry> мерси :)
[02:16:03] bobry вышел(а) из комнаты
[02:32:56] gds вышел(а) из комнаты
[03:46:52] letrec вошёл(а) в комнату
[04:58:45] letrec вышел(а) из комнаты
[11:13:31] ermine вошёл(а) в комнату
[11:24:37] ftrvxmtrx вышел(а) из комнаты
[11:26:02] Kakadu вошёл(а) в комнату
[11:34:47] <Kakadu> bobry: А ты где-то описывал чем отличаются рецпты от пакетов не на языке программирования?
[11:42:10] ftrvxmtrx вошёл(а) в комнату
[11:59:02] ftrvxmtrx вышел(а) из комнаты
[11:59:47] ftrvxmtrx вошёл(а) в комнату
[12:57:55] bobry вошёл(а) в комнату
[12:58:26] <bobry> Kakadu: так у нас нигде про пакеты речь и не идет
[12:58:29] <bobry> не описывал
[12:58:41] <bobry> *что* такое рецепт написано в README
[14:32:38] gds вошёл(а) в комнату
[16:57:42] shaggie вошёл(а) в комнату
[17:29:36] letrec вошёл(а) в комнату
[17:29:40] letrec вышел(а) из комнаты
[17:29:55] letrec вошёл(а) в комнату
[17:43:23] letrec вышел(а) из комнаты
[17:48:49] letrec вошёл(а) в комнату
[17:59:50] <gds> мне тут подкинули идейку, что та хрень, которую я оформляю "в динамике" (rtti всякое в кадастре) вполне годится для генерации из coq.
представляете, какое создание франкенштейна можно сделать?
[18:05:38] <ermine> gds: а ты уже чонить доказал из своих творений в coq?
[18:07:25] <gds> ermine: пару лет назад -- да.
но там фишка в том, что 1. доказывать -- не обязательно, 2. можно использовать coq как язык для разработки, 3. можно делать всякую интересную штуку с типами.  Вот эту фишку я и собираюсь проверить на практике.
Только дел хороших нет.  Текущее по работе -- слишком сложно, ниасилю, там только камло справится, причём идеально.  А вот игрушечных дел у меня нет.
Может кто подкинет?
[18:10:59] ermine уныло смотрит на свою бредятину с типами yaml
[18:18:23] <gds> ermine: вот и бери coq!1111
[18:23:47] <ermine> gds: а он волшебный чоли? сразу скажет как правильно распланировать типы и скажет, что не нужны 4 взаимно рекурсивных типов, которые еще и стремятся списковаться?
[18:25:14] <ermine> json - хоть и часть yaml, но выглядит невинным пустяком по сравнению с полной структурой yaml
[18:27:44] <ermine> щас у меня парсер yaml вообще компилится и собирает весь результат, вот щас на примере функции print_result стал виден некоторый бред
[18:40:59] <ermine> ну ладно, спасибо и на том, что это уже новый круг хождений по мукам
[19:39:16] <ermine> опять в yaml вылез прикольный недочет в парсинге, называется "preceding predicate parser", этого даже в peg нет, и тут в yaml bnf он в комменте указан
[19:39:19] <ermine> шожтотакое
[20:04:39] komar вышел(а) из комнаты
[20:04:55] komar вошёл(а) в комнату
[20:43:19] komar вышел(а) из комнаты: Replaced by new connection
[20:43:19] komar вошёл(а) в комнату
[20:59:40] letrec вышел(а) из комнаты
[21:05:31] ftrvxmtrx вышел(а) из комнаты
[23:04:24] Kakadu вышел(а) из комнаты
[23:19:49] komar вышел(а) из комнаты: Replaced by new connection
[23:19:49] komar вошёл(а) в комнату
[23:20:56] Kakadu вошёл(а) в комнату
[23:35:41] ftrvxmtrx вошёл(а) в комнату
[23:52:12] <ermine> шо это было на гитхубе в день выборов?  вместо пуша требуют аппроувить ssh ключ
[23:52:12] Mon вышел(а) из комнаты