Objective Caml - Воскресенье, 2 января 2011

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 2 января 2011< ^ >

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

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

GMT+3
[00:43:35] Kakadu вышел(а) из комнаты
[00:59:09] gds вышел(а) из комнаты
[01:24:11] ygrek вышел(а) из комнаты
[01:55:43] abiogenesis вошёл(а) в комнату
[01:56:14] abiogenesis вышел(а) из комнаты
[02:04:33] serp256 вышел(а) из комнаты
[02:05:25] Typhon вышел(а) из комнаты
[04:02:10] komar вышел(а) из комнаты
[09:14:16] zert вошёл(а) в комнату
[10:22:40] serp256 вошёл(а) в комнату
[10:38:28] serp256 вышел(а) из комнаты
[10:55:19] serp256 вошёл(а) в комнату
[11:36:34] komar вошёл(а) в комнату
[11:42:24] ygrek вошёл(а) в комнату
[12:21:24] serp256 вышел(а) из комнаты
[12:41:01] Kakadu вошёл(а) в комнату
[12:43:56] Kakadu вышел(а) из комнаты
[12:46:17] Kakadu вошёл(а) в комнату
[12:46:24] Kakadu вышел(а) из комнаты
[13:06:18] Borman вышел(а) из комнаты
[13:28:03] Typhon вошёл(а) в комнату
[13:52:11] gds вошёл(а) в комнату
[14:21:30] serp256 вошёл(а) в комнату
[14:39:19] serp256 вышел(а) из комнаты
[14:39:44] serp256 вошёл(а) в комнату
[14:50:22] Typhon вышел(а) из комнаты
[15:01:24] Typhon вошёл(а) в комнату
[15:02:34] serp256 вышел(а) из комнаты
[15:03:13] serp256 вошёл(а) в комнату
[15:09:44] serp256 вышел(а) из комнаты
[15:10:08] serp256 вошёл(а) в комнату
[15:17:08] serp256 вышел(а) из комнаты
[15:18:41] serp256 вошёл(а) в комнату
[15:26:46] serp256 вышел(а) из комнаты
[15:28:33] serp256 вошёл(а) в комнату
[15:37:20] serp256 вышел(а) из комнаты
[15:37:45] serp256 вошёл(а) в комнату
[15:58:04] ermine вошёл(а) в комнату
[16:07:53] serp256 вышел(а) из комнаты
[16:07:54] serp256 вошёл(а) в комнату
[16:48:57] serp256 вышел(а) из комнаты
[17:36:10] Borman вошёл(а) в комнату
[18:33:51] Typhon вышел(а) из комнаты
[18:55:10] <ermine> еще пьем?
[18:55:22] <gds> едим.
[18:55:46] <ermine> надо что-то новое начинать, вместе с годиной
[18:57:08] zert и на НГ не особо пил
[18:57:53] <gds> про новое -- по работе надо простую раскрывалку "${var}" => "значение(var)" написать, думаю те же iteratees взять, чтобы молодёжи показать.  а всё лень.
[18:58:03] <gds> zert: "всё правильно сделал".
[18:59:44] <ermine> gds: я это уже сделала в конце прошлого года
[19:00:00] <ermine> в рамках проекта полиглота
[19:00:18] <ermine> только вот дело застопорилось из-за желания иметь типизацию
[19:00:52] <ermine> теперь думаю про генерацию модулей и грузить их динамически
[19:01:06] <ermine> осталось решать как вызывать функции из модулей
[19:01:17] <ermine> их-то не привяжешь по ассоциативности
[19:01:44] <ermine> в отличие от объектов, где можно брать объект по ключу в хэштаблице
[19:01:52] <ermine> gds: есть идеи?
[19:02:00] <gds> у меня тупее всё.  Да и для педагогических целей надо обкатать ocaml-iteratees.
Про модули -- ох, страшно.  Если unload нет, то та же хрень, как в случае, когда файлхендлы не закрываешь: не критично, но рано или поздно оно скажет "хватит насилия" и умрёт.
[19:02:12] <ermine> засунуть все функции модуля в рекорд? а оно не лопнет?
[19:04:07] <gds> в новом окамле можно сериализовывать модули, детали были в рассылке (там про плагины обсуждалось), но сейчас не подскажу.  Но, вроде, есть смысл поискать-почитать.
[19:05:23] <gds> а про record'ы -- извращаться можно, да.  Если не обращать внимания на типизацию, модули и рекорды похожи очень-очень.
[19:06:10] <ermine> не вижу сходства
[19:06:42] <ermine> реконды хороши тем, что там можно описать тип функции и звать конкретную функцию, а сам рекорд вызывать по ключу из хэштаблицы
[19:06:55] <ermine> я про сходство с объектами классов
[19:08:02] <ermine> так сказать - хочется иметь type-safe printf с возможностью вызвать из нужного модуля
[19:08:03] <gds> тот же набор значений/функций.  Типы вот -- да, в рекордах только универсальная квантификация (1), а в модулях только экзистенциальная (2).
(1 -- не учитывая классику "кодирование existential через universal"; 2 -- не учитывая функторы)
[19:10:24] <ermine> ишь какие научные слова
[19:11:17] ermine побрела рыться в мейллист
[19:12:40] <gds> ermine: ключевые слова: "alain frisch plugins modules", ну и дата -- где-то не ранее, чем NaN-NaN-NaN NaN:NaN:NaN это было опубликовано, там найдёшь.
[19:21:13] <ermine> мож тогда снести камло 3.11.2 и поставить 3.12
[19:40:00] <gds> ermine: адавай.  ты же не пользуешь, вроде, ничего критичного, что сломали в 3.12.  а вот фичи важны.
[19:43:38] <ermine> gds: это чота про pre-compiled ocaml binary for windows?
[19:48:24] <ermine> не
[19:48:27] <ermine> не нашла короче
[19:48:34] <gds> ermine: не, это про сломанный camlp4.  остальные моменты тебе не важны.  а camlp4 -- это deriving, batteries.
[19:54:14] <ermine> gds: если я правильно поняла jake donhama, то в camlp4 нифига не ломали, а надо писать на revised :)
[19:56:22] <gds> то, что надо писать на revised, я уже давно говорю.  (да, я не j.d.)  А про конечный результат -- deriving + batteries не собираются.
[19:58:56] <ermine> та на батарейки как бы плевать
[20:02:19] <ermine> шота гугль находит только индекс мессаг вместо самих мессаг
[20:02:32] Borman вышел(а) из комнаты
[20:06:40] ermine опять ничо не нашла и пошла за бейлизом
[20:09:38] <ermine> gds: построить модули как first-class values?
[20:12:41] <gds> ermine: ну хз, изучи возможности.  Сам -- не знаю, как стал бы делать, честно.  Надо почитать, посмотреть.
[20:13:19] <gds> но да, предлагал изучить именно "модули как первоклассные значения", потому что, вероятно, поможет.
[20:13:25] <ermine> gds: да я видимо никак не найду то, на что ты ссылаешься :))
[20:13:52] <ermine> но таки надо ставить новое камло, а то не освою эту ведьмину кухню с типами
[20:14:22] <ermine> только вот лень пересобирать n библиотек руками
[20:15:00] <gds> ermine: я сейчас тоже поискал, тоже не нашёл.  ж-па :)
[20:16:12] <ermine> gds: а про фирст классы - письмо от alain frisch от 2 февраля прошлого года про полиморфные типы в локальных модулях
[20:16:52] <ermine> саму функцию-то можно приаттачить куда угодно, но это не добавляет ясности как вызывать много функций из модуля по одной штучке в разных местах кода
[20:18:37] <ermine> ставим камло
[20:23:47] Typhon вошёл(а) в комнату
[20:36:11] zert вышел(а) из комнаты
[21:15:21] <ygrek> > пересобирать n библиотек руками
bsd -> FAIL
[21:40:20] <ermine> ygrek: ну лень же мне осваивать porttools
[21:40:51] <ermine> а ты собираешь святым духом?
[21:47:17] <ygrek> не, я ставлю собранное
[21:48:29] <ermine> а это какой линюх?
[21:48:45] <ermine> или в любом уже?
[21:49:56] <ygrek> дебиан, в редхатах тоже с камлем нормально вроде, остальное не знаю
[21:51:32] <ermine> ты про дебиан ленни?
[21:51:39] <ermine> вот он под рукой есть
[21:53:44] <ygrek> угу, дадьше ты знаешь, format c:\ и запускай debian-lenny-setup.exe
[21:55:00] <ermine> не поняла
[21:55:13] <ermine> впрочем разговор уже стал характерным для красноглазых
[22:17:08] Typhon вышел(а) из комнаты: Replaced by new connection
[22:17:11] Typhon вошёл(а) в комнату
[22:17:11] Typhon вышел(а) из комнаты
[22:32:05] Typhon вошёл(а) в комнату
[22:40:50] <ermine> ygrek: а в этом вашем идиотском линюхе уже есть свежий релиз lwt для 3.12?
[22:44:57] Typhon вышел(а) из комнаты: Replaced by new connection
[22:45:00] Typhon вошёл(а) в комнату
[22:45:18] <ermine> похоже в свежем lwt проблемы со свежим camlp4top
[22:45:25] <ermine> камло - сакс
[22:45:50] <ermine> камло - большой FAIL
[22:46:13] <ermine> как бы ни расхваливали отстойный линюх
[23:15:34] gds вышел(а) из комнаты
[23:33:55] <ygrek> гг
[23:38:21] ermine собрала ocsigen под 3.12 и выписала ygrekу прощение всех его красноглазых грехов
[23:40:33] <ermine> осталось собрать оазис из кучи мелких оазисиков
[23:51:13] ftrvxmtrx вышел(а) из комнаты
[23:52:56] ftrvxmtrx вошёл(а) в комнату