Objective Caml - Суббота, 10 марта 2012

Objective Caml

ocaml@conference.jabber.ru

Суббота, 10 марта 2012< ^ >

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

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

GMT+4
[01:15:49] Kakadu вышел(а) из комнаты
[01:16:26] bobry вышел(а) из комнаты
[01:28:40] komar вышел(а) из комнаты
[01:28:44] <gds> мда, учитывая, как сильванчег ведёт себя в рассылке, я представляю, какое будущее ждёт оазис.
отберите у него либо оазис, либо текущую работу.
[01:31:42] komar вошёл(а) в комнату
[01:58:23] <ermine> gds: на камле невозможно писать быстро! чтобы писать быстро, надо использовать Scala!
[01:59:12] <gds> ermine: пиши быстро @ умри молодой111111
[02:00:22] <ermine> камло - это большой миф для молодых салаг
[02:00:42] <ermine> типа Kakady & bobry
[02:01:00] <gds> ermine: ну ты же уже не молодая салага, а взрослая?
[02:02:55] <ermine> gds: дряхлеющая :) опытная, знает, что на камле писать быстро невозможно
[02:03:35] <gds> с другой стороны, я не нашёл нормальных массивов в coq.  и в agda, по идее, их тоже быть не должно.
что, с одной стороны, ставит раком идею про dht (но ещё помучаюсь), а с другой -- вызывает вопрос "на чом блёё писать?".
[02:03:55] <ermine> можно только хотеть написать много разных штучек, и чтобы все работало и было круто
[02:04:08] <gds> ermine: ты молодец, вообще.  чмоки, честно.  (только мужу не показывай.)
[02:05:23] <gds> ну, вот, динамику в камло добавил, пока нравится.  говорят, можно было бы этого не делать, но сомневаюсь жутко.  по итогу -- нормально так получилось.
[02:05:40] <ermine> а толку-то
[02:06:29] <ermine> удивительные вещи создаются только в юности, если не успел создать - всё, тебе хана
[02:06:56] <ermine> типа того же камла или лиспа
[02:07:41] <gds> скажи это монстрам, которые сейчас жгут.  олегу, кнуту, <неразборчиво про плюсы>, лисперам-старпёрам.
[02:08:27] <gds> с другой стороны, после молодости гораздо проще забивать на вещи.  Это да.  Но никто ведь не заставляет забивать.
[02:10:18] <ermine> ну олег с кнутом начали же в юности
[02:10:26] <ermine> и до сих пор жгут
[02:10:51] <gds> если жизнь состоит наполовину из получения удовольствия от погромирования, наполовину от остального, то довольно-таки глупо забивать на половину жизни.
пофиг, даже если (когда жена+дети приедут) памперс будет заговнянный, а у меня будет какая-то идея, которую надо дописать -- я допишу.
[02:11:18] <ermine> а мы смотрим на них снизу вверх и подметаем пол перед их тапочками
[02:11:29] <gds> ну я тоже начал в 12 лет кодить, zx48.  и к чему это привело?  да ни к чему.  бухать хочу, кофе хочу, спать хочу.
[02:12:31] <ermine> вот-вот
[02:12:49] <ermine> не успел сотворить гениальное деяние в юности
[02:13:12] <gds> ан нет, в 10..11 лет, забыл про куркулятор (молд.), какой-то из МК-серии.  говно, в общем.
[02:13:13] <ermine> а сейчас - парвел никак не завоюет мир
[02:14:03] <ermine> ых
[02:14:04] ermine вышел(а) из комнаты
[02:14:45] <gds> сложно что-то глобальное сделать.  Да и не нужно.  Это как грудью на амбразурову.  Нафиг-нафиг.  Лучше делать кошерно себе и своему окружению.
[07:13:18] letrec вошёл(а) в комнату
[07:13:23] letrec вышел(а) из комнаты
[07:13:39] letrec вошёл(а) в комнату
[07:54:17] Typhon вошёл(а) в комнату
[08:04:39] Typhon вышел(а) из комнаты
[08:05:06] Typhon вошёл(а) в комнату
[08:30:06] bobry вошёл(а) в комнату
[08:31:59] bobry вышел(а) из комнаты
[09:26:25] ftrvxmtrx вышел(а) из комнаты
[10:14:34] ermine вошёл(а) в комнату
[11:02:33] Kakadu вошёл(а) в комнату
[12:22:38] komar вышел(а) из комнаты
[12:25:24] komar вошёл(а) в комнату
[12:45:54] komar вышел(а) из комнаты
[13:00:18] komar вошёл(а) в комнату
[13:31:39] Typhon вышел(а) из комнаты
[14:16:49] letrec вышел(а) из комнаты
[15:24:16] ftrvxmtrx вошёл(а) в комнату
[15:26:09] Typhon вошёл(а) в комнату
[15:55:32] Typhon вышел(а) из комнаты
[16:50:56] komar вышел(а) из комнаты: Replaced by new connection
[16:50:56] komar вошёл(а) в комнату
[18:23:02] letrec вошёл(а) в комнату
[18:48:49] bobry вошёл(а) в комнату
[18:52:10] ftrvxmtrx вышел(а) из комнаты
[18:54:14] ftrvxmtrx вошёл(а) в комнату
[19:21:00] Typhon вошёл(а) в комнату
[19:30:06] Typhon вышел(а) из комнаты
[19:30:39] Typhon вошёл(а) в комнату
[19:31:28] Typhon вышел(а) из комнаты
[19:46:04] Typhon вошёл(а) в комнату
[19:47:31] Typhon вышел(а) из комнаты
[20:58:20] shaggie вошёл(а) в комнату
[20:59:34] shaggie вышел(а) из комнаты
[21:03:12] shaggie вошёл(а) в комнату
[21:03:17] shaggie вышел(а) из комнаты
[21:03:17] shaggie вошёл(а) в комнату
[21:31:07] letrec вышел(а) из комнаты
[21:33:40] <bobry> призываю всех опробовать барбару с репозиторием рецептов
[21:34:04] <bobry> теперь у нас есть для них отдельная репка, на манер homebrew
[21:34:12] <bobry> них==рецептов
[21:44:35] ermine боится
[21:46:59] <Kakadu> bobry: а как ссылаться на патч из конфига?
[21:50:06] <bobry> Kakadu: в рецепте или в brb.conf?
[21:50:44] <Kakadu> 1t
[21:50:46] <Kakadu> 1е
[21:51:39] <bobry> Patch "foo.path"  # relative to repository root
[21:51:54] <bobry> ну или можно задать абсолютный путь
Path "/home/foo/bar.patch"
[21:52:03] <bobry> s/path/patch
[21:53:39] <Kakadu> т.е. на сеодняшний момент надо указывать путь ../_patches/filename?
[21:54:45] <Kakadu> ааа, ты что-то поменял
[21:55:26] <bobry> не, по идее у тебя патчи лежат где то в recipes
[21:57:56] <Kakadu> и я не думаю что обзывать диру с патчиками ".patches" хорошая идея. Это не должен быть скрытый файл
[21:58:26] <bobry> да можно как угодно обозвать в принципе
[21:58:30] <bobry> это не захардкожено
[21:58:42] <bobry> главное в рецептах потом поменять путь на нужный
[22:02:32] <Kakadu> ага, он оказывается ещё смотрит в те рецепты, что в ~
[22:02:49] <Kakadu> brb update...
[22:04:03] <gds> пробовать буду, как только буду что-то камлокодить (точнее, что-то накоденное развёртывать/деплоить).
[22:07:44] <bobry> Kakadu: так написано ж README / brb.conf шо по дефолту есть один репозиторий
[22:07:49] <bobry> и он в $HOME/.brb./recipes
[22:10:51] <Kakadu> кто их читает? :D
[22:12:41] <bobry> :D
[22:12:45] <bobry> true
[22:15:59] bobry запилил тупую версию 'brb install' -- осталось научить ее проверять что уже установлено
[22:18:21] <Kakadu> bobry: А как ты решил вопрос с тем, что при клонировании purse оно клонируется анонимно и постоянно просит пароль при пуше?
[22:18:22] <bobry> Kakadu: думаешь стоит делать index?
[22:18:33] <bobry> так а нафиге тебе оттуда же пушить?
[22:18:46] <Kakadu> а как рецепт добавлять?
[22:18:54] <bobry> ну у меня для этого отдельный клон
[22:19:00] <bobry> если хочешь можешь просто origin подменить
[22:19:25] <bobry> насчет index -- файлик где будет написано что уже установлено
[22:19:46] <Kakadu> типа ocamlfind list?
[22:20:02] <bobry> ну проблема в том что ocamlfind list знает про свои пакеты
[22:20:05] <bobry> а у нас то рецепты
[22:20:42] <Kakadu> я предлагаю пока повременить
[22:21:15] <bobry> окей
[22:21:22] <bobry> вообще это какое то досадное усложнение
[22:27:48] komar вышел(а) из комнаты
[22:27:58] komar вошёл(а) в комнату
[22:35:00] <Kakadu> bobry: в ридми бы надо бы добавиться как депенденсы в конфиге указывать
[22:35:13] <Kakadu> ааа
[22:35:38] <Kakadu> давай разрешшим кроме Requires писать ещё и Depends
[22:35:44] <bobry> вай?
[22:35:48] <bobry> в чем разница
[22:36:05] <Kakadu> чтобы мне было удобнее)
[22:36:25] <bobry> дублирование какое то :)
[22:37:59] <Kakadu> но вот как указывать патчи в ридми точно нет
[22:38:09] <bobry> да, надо бы дописать :)
[22:39:22] dzhon вошёл(а) в комнату
[22:39:47] <Kakadu> да, и ещё хотелось бы чтобы инфа о том что сейчас собирается и клонируется цветной была :D
[22:41:26] <bobry> это надо ocaml-text подцеплять
[22:41:29] <bobry> видимо после шелла
[22:41:32] <bobry> добавишь таск?
[22:41:41] <bobry> в смысле после bundles
[22:42:24] <Kakadu> bobry: положим я барброй собрал А. Потом в конфиге сменил А на Б, причем в рецептах есть что Б требует А. Делаю ./brb.byte build и он выводит порядок новой сборки но нихрена не собирает. (приходится удалять _dep). Так и задумано?
[22:42:45] <bobry> Kakadu: ага, надо делать ./brb.byte --force
[22:42:54] <bobry> это то что раньше было brb rebuild
[22:43:11] <Kakadu> было короче
[22:43:23] <bobry> зато одна команда для одного действия
[22:43:51] <Kakadu> так себе одного
[22:54:46] Typhon вошёл(а) в комнату
[22:57:32] <Kakadu> черт, когда собираю баброй кору оно конфликтует с системно установленными либами. Кто-нибудь может потестить?
[22:57:45] <Kakadu> dzhon: вливайся в коллектив с тестингом нашей поделки
[22:59:18] <bobry> Kakadu: в смысле конфликтует?
[22:59:35] <Kakadu> Camlp4: Uncaught exception: DynLoader.Error ("/usr/local/lib/ocaml/3.12.1/variantslib/pa_variants_conv.cma", "interface mismatch on Pa_type_conv")
[23:00:47] <Kakadu> стой
[23:02:36] <Kakadu> тревога отменяется
[23:13:32] <Kakadu> ура. кора собирается
[23:14:28] <bobry> ура!!
[23:14:59] <Kakadu> а вот для extended нада res и pcre
[23:15:06] <Kakadu> лень их пока добавлять
[23:15:06] <bobry> ну так и в чем же проблема?
[23:15:10] <bobry> у меня oasis с ними собирается
[23:15:14] <bobry> и они уже есть в purse
[23:15:27] <bobry> стоп -- res нету, а pcre есть
[23:17:50] <Kakadu> что-то res не находится
[23:19:00] <bobry> покажи рецепт?
[23:19:25] <Kakadu> погодь
[23:20:43] <Kakadu> пошел пересобирать extended
[23:25:50] <Kakadu> что-то кора перестала собираться
[23:25:55] <Kakadu> давай ты поколдуй чутка
[23:26:09] <Kakadu> а то я начинаю тупить под вечер
[23:27:31] <ermine> детям пора баиньки
[23:31:32] bobry уже почти zzz
[23:37:04] Typhon вышел(а) из комнаты
[23:37:50] Typhon вошёл(а) в комнату
[23:46:38] ermine за сегодня чуток переделала вывод дебага парсилки и от этого всё стало гораздо печальнее - стали видны все бэктрекинги парсера, ужас, надо избавляться от комбинаторов
[23:48:14] <gds> ermine: бери coq, там многое можно вынести на уровень compile-time.  а на выходе иметь кошерное камло, одобренное раввинатом.
[23:48:16] ermine вышел(а) из комнаты
[23:53:30] <bobry> Kakadu: давай если либа называется ocaml- убирать его из названия?
[23:53:38] <bobry> например ocaml-pcre == pcre, ocaml-text == text
[23:53:42] <Kakadu> давай
[23:54:11] <bobry> kewl
[23:54:21] <bobry> мы тут с пасанами на работе хотим нафигачить еще плагин к ребару
[23:54:29] <bobry> чтобы можно было кошерно цеплять камло порты к эрлангу
[23:54:48] <bobry> как наваяем -- завоевание мира не за горами :)