Objective Caml - Вторник, 8 мая 2012

Objective Caml

ocaml@conference.jabber.ru

Вторник, 8 мая 2012< ^ >

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

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

GMT+4
[00:22:40] ftrvxmtrx вышел(а) из комнаты
[00:24:36] ftrvxmtrx вошёл(а) в комнату
[01:03:04] Typhon вошёл(а) в комнату
[01:32:27] ermine вышел(а) из комнаты
[01:40:20] tilarids вышел(а) из комнаты: Machine going to sleep
[02:09:39] f[x] вышел(а) из комнаты: Computer went to sleep
[02:41:28] <gds> Typhon: ты, вроде, с "очередями сообщений" из окамла работал.  Что интересует: 1. успешно в целом?  2. какие ключевые слова смотреть?
[03:33:50] letrec вошёл(а) в комнату
[04:04:26] Typhon вышел(а) из комнаты
[04:48:37] letrec вышел(а) из комнаты
[07:28:59] ftrvxmtrx вошёл(а) в комнату
[07:47:26] ftrvxmtrx вошёл(а) в комнату
[07:48:00] ftrvxmtrx вышел(а) из комнаты
[08:11:54] tilarids вошёл(а) в комнату
[10:58:11] ermine вошёл(а) в комнату
[11:00:01] Kakadu вошёл(а) в комнату
[11:39:42] Typhon вошёл(а) в комнату
[12:12:25] Typhon вышел(а) из комнаты
[12:13:14] Typhon вошёл(а) в комнату
[12:47:33] Sun][ вошёл(а) в комнату
[12:57:21] tilarids вышел(а) из комнаты: Machine going to sleep
[12:58:29] Typhon вышел(а) из комнаты: Replaced by new connection
[12:58:49] Typhon вошёл(а) в комнату
[13:13:53] <gds> интересно, как бы нам обустроить совместную компиляцию coq+ocaml исходников.  Говно в том, что coq генерит пол-тонны .ml-файлов прямо в директории, где исходники.  Мне не хочется .ml-файлы видеть/.hgignore'ить и нет требования пихать их в репку (coq уже забит в требования для компиляции, с точки зрения его наличия всё ок, софт внутренний).  Можно ли извратиться в ocamlbuild так, чтобы все .v-файлы пихались в _build, там запускался coqc, экстрактящий всё это говно там же (в _build), и чтобы потом эти файлы компилировались окамлом как нормальные исходники?
[13:15:09] <f[x]> так а тут ничего извращаться не надо
[13:15:30] <gds> интересненько.  Видишь нормальную схему?
[13:15:33] <f[x]> если ты генеришь правилами в myocamlbuild.ml то всё и будет в _build
[13:15:56] <gds> а оно перед генерением сможет скопировать .v-файлы в _build?
[13:15:56] <f[x]> т.е. правила .v -> .ml ничем не отливаются от .ml -> .cmo
[13:16:06] <f[x]> да, конечно
[13:16:13] <f[x]> так же как и обычные исходники
[13:16:47] <gds> проблемка в том, что из нескольких (3..5) .v-файлов генерятся как соответствующие .ml, так и ещё хрень всякая, типа "по зависимостям само приползло".
[13:17:32] <f[x]> это надо пробовать
[13:18:08] <gds> ещё вопрос: если в камлозависимостях (через ocamldep видимо) будет a.ml, и если будет правило .v -> .ml, оно по идее скопирует .v в _build и дальше (опять же, по идее) скомпилирует его?
[13:18:47] <f[x]> да
[13:19:37] <gds> благодарю, буду насиловать ocamlbuild.
[13:21:48] tilarids вошёл(а) в комнату
[13:59:05] Kakadu вышел(а) из комнаты
[14:04:10] Kakadu вошёл(а) в комнату
[14:34:10] ermine тренируется в переписывании репы гита, всё идет забавно...
[14:53:47] <gds> срадь господдя.  Надо coqdep подключать в дело.  Уффля, доконает меня это дело.
[15:27:39] letrec вошёл(а) в комнату
[15:27:42] letrec вышел(а) из комнаты
[15:27:56] letrec вошёл(а) в комнату
[15:39:52] ftrvxmtrx вышел(а) из комнаты
[16:21:21] letrec вышел(а) из комнаты
[16:28:48] letrec вошёл(а) в комнату
[16:34:10] <gds> нажаловался про coq в caml-list.  Пока не полегчало.
[18:39:56] Typhon вышел(а) из комнаты
[19:19:15] tilarids вышел(а) из комнаты: Machine going to sleep
[19:31:14] letrec вышел(а) из комнаты
[19:57:04] tilarids вошёл(а) в комнату
[20:08:02] ermine на славу поизвращалась над репой гита, удалив всё что хотелось... гит - могучая сила!
[20:20:10] ermine подумала и удалила еще один коммитик
[21:07:30] tilarids вышел(а) из комнаты
[21:31:54] <gds> ermine: надо не удалять коммиты, а производить их.  ТакЪ ПобедимЪ!
[21:52:16] <ermine> gds: он оказался мусором после переписывания истории
[21:53:10] <ermine> gds: а еще прикольно - я сохранила оригинальную репу на другом сервере (не гитхубе, загнав модифицированную историю туда в бранч
[21:53:22] <ermine> и овцы ыелы, и волки довольны
[21:53:42] <ermine> так, пора переходить к следующей засаде
[21:54:15] <ermine> каждая новая засада приносит очко в скиллы
[22:12:51] f[x] вошёл(а) в комнату
[22:32:39] <gds> псачик доставляет: "Erlang was designed from the ground up for writing high-reliability  telecommunications code. It is a functional language, which means that  code has no side effects."
[22:35:08] <ermine> ну если не можешь натянуть телекоммуникацию на камло - жри кактус и рыдай дальше
[22:35:51] <gds> да причом тут это.  "no side effects" -- ключевой момент.
[22:35:54] <ermine> в камле с телекоммуникацией как раз полная печалька
[22:36:44] <ermine> ну да, side effects есть везде, даже в хаскеле, но все стесняются признаваться в этом
[22:38:52] <gds> х-ефаги выкручиваются забавно про side effects, за изворотливость их можно простить и опустить.  А вот чтобы про эрланг такое говорили, что он без сайдэффектов -- вот это шок.  Что характерно, говорил специально обученный человек из stackoverflow.
[22:40:52] <ermine> ой, нашел академию
[22:42:16] <gds> не я.  некий чел как-то нашёл и пребывает в недоумении, граничащем с охреневанием.
[22:45:03] <ermine> куда пришел?
[22:54:07] <gds> никто никуда не пришёл, всё нормально :)
[22:59:57] Typhon вошёл(а) в комнату
[23:14:43] <f[x]> gds: а тебе точно надо все депендсы находить?
[23:15:40] <f[x]> т.е. после .v -> .ml правила проект превращается в чисто камлевый и вроде больше ничего не нужно
[23:15:43] <f[x]> или?
[23:15:48] f[x] afk
[23:54:05] ermine вышел(а) из комнаты