Objective Caml - Четверг, 8 ноября 2012

Objective Caml

ocaml@conference.jabber.ru

Четверг, 8 ноября 2012< ^ >

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

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

GMT+4
[00:58:28] dzhon вышел(а) из комнаты
[01:09:27] Typhon вышел(а) из комнаты
[01:25:55] Sun][ вышел(а) из комнаты
[01:33:17] ygrek вошёл(а) в комнату
[01:35:11] <ygrek> <ermine> f[x]: а как комменты вставить в код?
[01:35:21] <ygrek> я думаю с помощью camlp4 никак?
[01:42:28] Sun][ вошёл(а) в комнату
[01:54:30] Sun][ вышел(а) из комнаты
[01:55:39] Typhon вошёл(а) в комнату
[02:25:05] Andrey Popp вышел(а) из комнаты
[02:59:03] ygrek вышел(а) из комнаты
[03:00:34] Typhon вышел(а) из комнаты: Replaced by new connection
[03:00:58] Typhon вошёл(а) в комнату
[03:27:59] gds вышел(а) из комнаты
[04:12:27] vladimir.chujkov вышел(а) из комнаты
[04:13:28] vladimir.chujkov вошёл(а) в комнату
[07:23:40] ermine вошёл(а) в комнату
[09:27:39] dzhon вошёл(а) в комнату
[10:01:19] Andrey Popp вошёл(а) в комнату
[10:02:39] vladimir.chujkov вошёл(а) в комнату
[10:04:22] vladimir.chujkov вышел(а) из комнаты
[10:07:55] Andrey Popp вышел(а) из комнаты
[10:12:18] Typhon вышел(а) из комнаты
[10:15:28] vladimir.chujkov вошёл(а) в комнату
[10:21:58] vladimir.chujkov вошёл(а) в комнату
[10:23:21] vladimir.chujkov вышел(а) из комнаты
[10:25:09] Sun][ вошёл(а) в комнату
[10:27:42] tilarids вышел(а) из комнаты: Machine going to sleep
[10:28:16] tilarids вошёл(а) в комнату
[10:33:53] vladimir.chujkov вышел(а) из комнаты
[10:36:53] vladimir.chujkov вышел(а) из комнаты
[10:40:26] <ermine> какое это унылое занятие - вникать, как в camlp4 генерить типы
[10:47:26] Andrey Popp вошёл(а) в комнату
[11:03:32] Typhon вошёл(а) в комнату
[11:41:00] Andrey Popp вышел(а) из комнаты
[11:42:08] ftrvxmtrx вышел(а) из комнаты
[12:33:30] Andrey Popp вошёл(а) в комнату
[13:13:06] Kakadu вошёл(а) в комнату
[13:15:16] Kakadu вошёл(а) в комнату
[13:46:59] tilarids вышел(а) из комнаты
[13:56:32] ermine полдня продолбалась с camlp4, пока не сменила quotations.o на quotations.r и мысленно грозит пальчиком отсутствуюему gds за ревизед
[13:58:22] tilarids вошёл(а) в комнату
[14:02:52] dzhon вышел(а) из комнаты
[14:02:57] dzhon вошёл(а) в комнату
[14:10:07] dzhon вышел(а) из комнаты
[14:22:13] tilarids вышел(а) из комнаты
[14:23:05] tilarids вошёл(а) в комнату
[14:26:56] Andrey Popp вышел(а) из комнаты
[14:29:32] Andrey Popp вошёл(а) в комнату
[14:46:12] dzhon вошёл(а) в комнату
[14:49:00] Ilya Rezvov вошёл(а) в комнату
[15:10:50] Ilya Rezvov вышел(а) из комнаты
[15:16:41] Ilya Rezvov вошёл(а) в комнату
[15:23:47] tilarids вышел(а) из комнаты: Machine going to sleep
[15:44:13] tilarids вошёл(а) в комнату
[16:09:19] ermine скомпилила генератор, который вроде теперь умеет генерить камлевую структуру с типами, вытащенными из xsd, и боится ее запустить - вдруг произойдет чудо?
[16:11:47] vladimir.chujkov вошёл(а) в комнату
[16:19:13] letrec вошёл(а) в комнату
[16:19:15] letrec вышел(а) из комнаты
[16:19:29] letrec вошёл(а) в комнату
[16:23:00] <f[x]> не боисььь
[16:24:52] <ermine> а фдрух оно скажет assert или чонить несъедобное?
[16:25:12] <ermine> впрочем уже сказало, match обломалось
[16:26:31] <ermine> и кстати тут опять жалею, что камлевые псевдоалгебраические типы sum не функциональные
[16:32:14] <ermine> о, сгенерило первый рекорд
[16:34:20] ftrvxmtrx вошёл(а) в комнату
[16:34:39] vladimir.chujkov вошёл(а) в комнату
[16:45:47] vladimir.chujkov вышел(а) из комнаты
[16:50:12] gds вошёл(а) в комнату
[16:59:58] <ermine> теперь надо научиться генерить енкодер
[17:01:03] <ermine> и закупить сникерсов для укрепления творческого духа
[17:01:35] <f[x]> сникерсы бейлизом запиваешь?
[17:02:04] <ermine> нету у меня бейлиза, и давно не было...
[17:03:44] <f[x]> цэ добрэ
[17:10:05] <f[x]> gds: а ты будешь в этой жизни релизить objsize с моими патчами?
[17:10:27] f[x] пересобирал проект на новой машине и вспомнил
[17:13:42] <ermine> не проще ли попросить прав на коммит?
[17:14:22] <f[x]> так это ж самому потом за них отвечать придётся
[17:14:34] <gds> f[x]: конечно буду. Как посмотрел, их сейчас 16?
[17:14:53] <f[x]> да
[17:16:13] <gds> там изменения были суровые, и вроде говорили, что неплохо бы потестить перед релизом. Как я понимаю, за такое время потестил прилично. Релизить буду, но когда -- точно не знаю. По ближайшим прикидкам -- до конца недели.
[17:19:05] <f[x]> "вроде бы" всё ок
[17:20:07] <gds> вот и хорошо.
[17:20:22] <ermine> до конца недели осталось пшик
[17:20:41] <gds> учитывая количество изменений, будет не 0.18, а 1.0.
[17:33:10] Sun][ вышел(а) из комнаты
[17:54:47] gds вышел(а) из комнаты
[17:56:18] gds вошёл(а) в комнату
[18:52:34] Kakadu вышел(а) из комнаты
[18:53:56] Kakadu вышел(а) из комнаты
[19:12:42] Andrey Popp вышел(а) из комнаты
[19:14:32] dzhon вышел(а) из комнаты
[19:38:11] Kakadu вошёл(а) в комнату
[19:42:22] letrec вышел(а) из комнаты
[19:43:00] vladimir.chujkov вошёл(а) в комнату
[19:52:06] Sun][ вошёл(а) в комнату
[19:54:54] vladimir.chujkov вышел(а) из комнаты
[20:11:28] ermine скушала сникерс и наконец начала соображать как мастерить енкодинг, там проблема в том, чтобы правильно рисовать запутанный путь в рекордах к полю
[20:16:48] Typhon вышел(а) из комнаты
[20:18:54] vladimir.chujkov вышел(а) из комнаты
[20:21:38] vladimir.chujkov вошёл(а) в комнату
[20:23:54] vladimir.chujkov вышел(а) из комнаты
[20:25:01] vladimir.chujkov вошёл(а) в комнату
[20:26:45] vladimir.chujkov вошёл(а) в комнату
[20:28:24] vladimir.chujkov вышел(а) из комнаты
[20:28:55] vladimir.chujkov вышел(а) из комнаты
[20:30:07] vladimir.chujkov вошёл(а) в комнату
[20:35:54] vladimir.chujkov вышел(а) из комнаты
[20:38:10] vladimir.chujkov вошёл(а) в комнату
[21:06:57] Ilya Rezvov вышел(а) из комнаты
[21:14:41] <ermine> енкодер написался таки, сникерс - великая штука!
[21:16:17] <ermine> жалко только, что сникерс не влияет так благотворно на чтение книжки по coq
[21:18:09] <ermine> а еще блин ревизет в квотациях camlp4 вставляет, приходится думать, что не нравится препроцессору
[21:51:28] Andrey Popp вошёл(а) в комнату
[22:03:07] Ilya Rezvov вошёл(а) в комнату
[22:39:14] ermine сгенерила енкодера и с опаской смотрит в файл с получившимся кодом
[22:40:52] <Andrey Popp> у camlp4 вообще какая-то проблема с репортом ошибок :-(
[22:40:59] <Andrey Popp> не интуитивненько
[22:41:04] <ermine> самое плохое в списках - это то, что не вставишь пустой элемент посередине списка
[22:41:50] <ermine> ну к camlp4 надо привыкать, в нём всё достаточно просто
[22:42:29] <ermine> два способа кодирования - через квотации или через функции с выстраиванием тех же структур, которые тоже выстраиваются из квотаций
[22:43:54] <ermine> а еще там можно писать с разной степенью готичности - я пользуюсь наиболее простыми функциями и редко смотрю куданить за подсказкой
[22:44:32] vladimir.chujkov вошёл(а) в комнату
[22:48:27] vladimir.chujkov вышел(а) из комнаты
[22:50:52] vladimir.chujkov вошёл(а) в комнату
[22:55:49] Kakadu вышел(а) из комнаты
[22:57:57] vladimir.chujkov вышел(а) из комнаты
[23:17:07] vladimir.chujkov вышел(а) из комнаты
[23:17:52] f[x] вышел(а) из комнаты
[23:21:27] ermine вышел(а) из комнаты
[23:24:14] vladimir.chujkov вошёл(а) в комнату
[23:41:51] tilarids вышел(а) из комнаты
[23:57:29] f[x] вошёл(а) в комнату