Objective Caml - Пятница, 28 января 2011

Objective Caml

ocaml@conference.jabber.ru

Пятница, 28 января 2011< ^ >

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

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

GMT+3
[00:00:24] serp256 вошёл(а) в комнату
[00:15:00] <ermine> блин, из трех DataFiles в оазисе инсталлится тольк тот, который с конфигом бота
[00:51:32] ygrek вышел(а) из комнаты
[00:53:24] zert вышел(а) из комнаты
[00:53:40] gds вышел(а) из комнаты
[00:54:23] arhibot вышел(а) из комнаты
[00:55:57] Kakadu вышел(а) из комнаты
[01:09:18] ermine вышел(а) из комнаты
[01:10:11] serp256 вышел(а) из комнаты
[01:44:52] Typhon вышел(а) из комнаты
[01:59:13] Typhon вошёл(а) в комнату
[02:39:38] ftrvxmtrx вышел(а) из комнаты
[06:56:18] Typhon вышел(а) из комнаты
[07:20:30] iNode вышел(а) из комнаты
[07:37:41] iNode вошёл(а) в комнату
[08:24:31] gds вошёл(а) в комнату
[09:25:54] iNode вышел(а) из комнаты
[09:41:21] ermine вошёл(а) в комнату
[09:56:23] Kakadu вошёл(а) в комнату
[10:13:41] serp256 вошёл(а) в комнату
[10:21:28] iNode вошёл(а) в комнату
[10:55:58] ftrvxmtrx вошёл(а) в комнату
[10:58:28] ygrek вошёл(а) в комнату
[11:07:23] ygrek вышел(а) из комнаты
[11:20:54] zert вошёл(а) в комнату
[12:07:10] komar вышел(а) из комнаты
[12:20:36] Typhon вошёл(а) в комнату
[12:43:01] ftrvxmtrx вышел(а) из комнаты
[13:36:14] Typhon вышел(а) из комнаты: Replaced by new connection
[13:36:15] Typhon вошёл(а) в комнату
[15:23:39] gds вышел(а) из комнаты: Replaced by new connection
[15:23:41] gds вошёл(а) в комнату
[17:04:31] komar вошёл(а) в комнату
[17:22:02] <Kakadu> как коротко создать Map c Map.t 'a = Map.t list 'a ?
[17:23:39] <Kakadu> module StrMultiMap = struct
  module M = Core.Core_map.Make Core.Core_string;
  module G=  M with t = t ( list 'b); (*хочет где-то ; и матерится*)
end;
[17:24:30] <f[x]> M with t это констрейнт, а не то что ты думаешь
[17:26:35] <f[x]> и вообще это полиморфизм типов который камло не реализует
[17:27:20] <f[x]> т.е. чем тебе не подходит Map.t 'a - где 'a = list 'b ?
[17:27:47] komar вышел(а) из комнаты
[17:29:51] <f[x]> хм, т.е. ты правильно думаешь про констрейнт но по-моему такие вещи констрейнтами не описываются
[17:29:55] komar вошёл(а) в комнату
[17:30:20] f[x] вообще не шарит в высоких материях функторов
[17:35:51] <gds> Kakadu: проблема в создании модуля M -- точнее, именно там неплохо бы указать, что тип t будет равен list 'a.  Однако сходу не соображу, можно ли это сделать так, чтобы было удобно и расширяемо.
[17:39:10] <f[x]> у модуля M сигнатура 'a t, разве это можно ограничить?
[17:44:48] <gds> если кое-что скопипастить и исправить, то можно.  Ну и вообще, нет такой проблемы в software engineering, которая не решалась бы копипастой..  Однако, насчёт удобного и расширяемого способа -- не знаю.  Лично я выкручивался как-то через жопу в подобных случаях.  Например, можно создать функтор, в котором будет тип, равный требуемому list 'b, и его в нужных случаях "инстанциировать".  (а именно, везде, где известен тип, и всё заворачивать в функторы, что очень приятно.)
[17:46:08] <f[x]> точно, зафункторить можно, но это грустно
[17:47:51] Kakadu возвращается в мир ненормального программирование и возвращение не проходит гладко
[18:09:25] iNode вышел(а) из комнаты
[18:58:08] komar вышел(а) из комнаты
[19:09:41] <ermine> f[x]: как бы в камлобилде/оазисе привязать к компиляции экзешника генерацию data files?
[19:10:28] <f[x]> что за файлы?
[19:11:03] <ermine> для сульци - tlds.db и хэштаблицы языковых переводов
[19:11:26] <ermine> их надо инсталлить и они вписаны в DataFiles, но их еще сгенерить надо сначала
[19:11:36] <f[x]> а откуда они генерятся?
[19:11:41] <f[x]> переводы из кода?
[19:12:06] <f[x]> на крайний случай добавь в makefile ручной таргет
[19:12:27] <ermine> это в макефиле
[19:12:35] <ermine> а если без макефила
[19:13:18] <ermine> в оазисе у меня три Execution раздела, два из которых с Install: false и нужны лишь для генерации этих данных
[19:14:10] <f[x]> а зачем себя ограничивать, не получается решить задачу оазисом - нарисуй багу и реши другим способом
[19:14:29] <f[x]> всё равно makefile юзать удобно
[19:14:58] <f[x]> т.е. оазис для кода, makefile для вызова оазиса и релиза
[19:15:53] <ermine> ыыы
[19:16:38] ermine смотрит в INSTALL.txt
[19:17:51] <ermine> там много букв про оазис и ни одной буквы про макефиле
[19:18:16] <f[x]> ну да, Le Gall оптимист :)
[19:18:32] <ermine> может схимичит и чота повесить на сульцю в мойкамлобилде
[19:18:39] <f[x]> отключи генерацию и напиши руками
[19:18:55] <f[x]> делай как проще, hint: myocamlbuild.ml это не проще :)
[19:19:14] <ermine> ага
[19:19:37] <ermine> да пчу не проще
[19:19:56] <ermine> туда я уже вписала рулесы для генерации данных, вот вопрос кто будет их дергать
[19:20:41] <ermine> все же попробую одну химию щас
[19:20:46] <ermine> или алхимию
[19:21:22] <ermine> в оазисе явно не хватает одной секции
[19:24:10] <ermine> или в разделе Execution не хватает опции автоматического запуска с чем-то
[19:46:59] zert вышел(а) из комнаты
[20:39:31] <ermine> не придумалось
[20:41:59] ftrvxmtrx вошёл(а) в комнату
[20:48:41] serp256 вышел(а) из комнаты
[20:56:42] ftrvxmtrx вышел(а) из комнаты
[21:10:12] Typhon вышел(а) из комнаты
[21:11:15] Typhon вошёл(а) в комнату
[21:12:10] Typhon вышел(а) из комнаты
[22:15:25] ftrvxmtrx вошёл(а) в комнату
[22:51:43] ygrek вошёл(а) в комнату
[23:15:10] myxomop87 вошёл(а) в комнату
[23:16:17] myxomop87 вышел(а) из комнаты
[23:34:34] ygrek вышел(а) из комнаты
[23:35:04] ygrek вошёл(а) в комнату