Objective Caml - Понедельник, 11 июня 2012

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 11 июня 2012< ^ >

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

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

GMT+4
[00:04:26] ludovik вышел(а) из комнаты
[00:07:11] ludovik вошёл(а) в комнату
[00:13:46] ludovik вышел(а) из комнаты
[00:23:22] f[x] вошёл(а) в комнату
[01:05:48] Kakadu вышел(а) из комнаты
[01:47:45] ftrvxmtrx вышел(а) из комнаты
[01:54:48] tilarids вышел(а) из комнаты: Machine going to sleep
[02:06:48] bobry вышел(а) из комнаты
[02:25:43] ftrvxmtrx вошёл(а) в комнату
[03:23:20] Typhon вышел(а) из комнаты
[03:28:13] f[x] вышел(а) из комнаты
[04:51:34] letrec вошёл(а) в комнату
[06:46:20] letrec вышел(а) из комнаты
[09:09:46] letrec вошёл(а) в комнату
[09:42:12] tilarids вошёл(а) в комнату
[10:11:46] ftrvxmtrx вышел(а) из комнаты
[10:47:33] Vinzent вошёл(а) в комнату
[10:50:11] ftrvxmtrx вошёл(а) в комнату
[11:36:55] <tilarids> оксиген разочаровал. Сервер повис самым неожиданным образом, молча. Рестарт помог, но это же какая-то фигня. Никто не сталкивался?
[11:37:44] Sun][ вошёл(а) в комнату
[11:37:56] ludovik вошёл(а) в комнату
[11:48:55] <f[x]> где повис?
[11:49:04] <f[x]> бэктрейс?
[11:53:07] <tilarids> f[x], непонятно. В логах ничего нет. Я его использовал как static files server. Чтобы повторить, нужно ждать еще дней 40
[11:54:10] tilarids вышел(а) из комнаты: Machine going to sleep
[11:59:31] bobry вошёл(а) в комнату
[12:02:05] bobry вышел(а) из комнаты
[12:08:20] Kakadu вошёл(а) в комнату
[12:20:57] tilarids вошёл(а) в комнату
[13:16:18] Typhon вошёл(а) в комнату
[13:50:14] bobry вошёл(а) в комнату
[13:51:34] Sun][ вышел(а) из комнаты
[14:33:55] tilarids вышел(а) из комнаты
[14:34:09] tilarids вошёл(а) в комнату
[14:40:16] letrec вышел(а) из комнаты
[14:45:07] letrec вошёл(а) в комнату
[14:46:54] bobry вышел(а) из комнаты
[14:47:05] bobry вошёл(а) в комнату
[14:47:34] bobry вышел(а) из комнаты
[14:48:44] bobry вошёл(а) в комнату
[14:49:01] bobry вышел(а) из комнаты
[14:50:26] bobry вошёл(а) в комнату
[14:50:43] bobry вышел(а) из комнаты
[14:52:23] bobry вошёл(а) в комнату
[14:52:41] bobry вышел(а) из комнаты
[14:54:03] bobry вошёл(а) в комнату
[14:54:19] bobry вышел(а) из комнаты
[14:56:06] bobry вошёл(а) в комнату
[14:56:23] bobry вышел(а) из комнаты
[14:57:23] bobry вошёл(а) в комнату
[14:57:42] bobry вышел(а) из комнаты
[14:59:18] bobry вошёл(а) в комнату
[14:59:43] bobry вышел(а) из комнаты
[15:01:03] bobry вошёл(а) в комнату
[15:22:15] Vinzent вышел(а) из комнаты
[15:31:11] Vinzent вошёл(а) в комнату
[15:38:45] <gds> я тут решил руками использовать Obj. Цель -- ошибки из кода на coq представлять в виде exception Coqexn of Obj.t. Вроде функции throw/catch написал правильно, простые тесты проходят, но, если несложно, посмотрите, вдруг найдётся какая-нибудь ошибка: http://paste.in.ua/4342/
[15:40:29] <f[x]> хорошо начинается понедельник..
[15:43:21] <gds> зато у меня хорошо закончились пару недель с попытками накодить https://bitbucket.org/gds/coq-monads/src/d74ea76531ab/StateMonad.v и прочее говно, и трансформер на трансформере трансформером поговняет типы implicit arguments identity monad instances Typeclasses eauto := debug ааааааа
[15:51:12] ftrvxmtrx вышел(а) из комнаты
[15:51:45] ftrvxmtrx вошёл(а) в комнату
[15:57:09] ftrvxmtrx вышел(а) из комнаты
[15:57:20] ftrvxmtrx вошёл(а) в комнату
[16:16:13] Vinzent вышел(а) из комнаты
[16:45:01] bobry вышел(а) из комнаты
[16:53:03] bobry вошёл(а) в комнату
[16:53:19] bobry вышел(а) из комнаты
[16:54:40] bobry вошёл(а) в комнату
[16:54:58] bobry вышел(а) из комнаты
[16:56:05] bobry вошёл(а) в комнату
[16:56:22] bobry вышел(а) из комнаты
[16:58:08] bobry вошёл(а) в комнату
[17:11:58] <f[x]> https://github.com/bmeurer/ocaml/blob/trunk/stdlib/hashtbl.ml#L74
[17:19:19] <gds> суровое решение.
[17:36:53] Vinzent вошёл(а) в комнату
[18:05:10] Typhon вышел(а) из комнаты
[18:45:35] Sun][ вошёл(а) в комнату
[18:51:01] bobry вышел(а) из комнаты
[18:52:22] bobry вошёл(а) в комнату
[18:52:38] bobry вышел(а) из комнаты
[18:54:02] bobry вошёл(а) в комнату
[18:54:18] bobry вышел(а) из комнаты
[18:55:14] bobry вошёл(а) в комнату
[18:55:31] bobry вышел(а) из комнаты
[18:56:30] bobry вошёл(а) в комнату
[18:56:49] bobry вышел(а) из комнаты
[18:58:27] bobry вошёл(а) в комнату
[19:08:00] bobry вышел(а) из комнаты
[19:17:17] Vinzent вышел(а) из комнаты
[19:21:44] <f[x]> а где теперь брать ocsigen-xhtml? aka ohl-xhtml?
[19:22:08] Vinzent вошёл(а) в комнату
[19:22:43] <Kakadu> tyxml?
[19:24:07] <f[x]> ясно
[19:32:38] Typhon вошёл(а) в комнату
[19:38:51] ftrvxmtrx вышел(а) из комнаты
[19:44:48] ftrvxmtrx вошёл(а) в комнату
[19:55:14] ftrvxmtrx вышел(а) из комнаты
[19:55:21] ftrvxmtrx вошёл(а) в комнату
[19:57:21] f[x] вошёл(а) в комнату
[20:39:21] ftrvxmtrx вышел(а) из комнаты
[20:41:00] ftrvxmtrx вошёл(а) в комнату
[20:43:02] bobry вошёл(а) в комнату
[20:45:55] Sun][ вошёл(а) в комнату
[20:46:10] Sun][ вышел(а) из комнаты
[20:46:32] Typhon вышел(а) из комнаты
[20:47:25] Sun][ вошёл(а) в комнату
[20:49:20] Sun][ вышел(а) из комнаты: Replaced by new connection
[20:49:22] Sun][ вошёл(а) в комнату
[20:49:24] Sun][ вышел(а) из комнаты
[20:50:22] letrec вышел(а) из комнаты
[20:50:38] Sun][ вошёл(а) в комнату
[20:50:43] Vinzent вышел(а) из комнаты
[20:52:33] Vinzent вошёл(а) в комнату
[20:58:40] Sun][ вышел(а) из комнаты
[20:58:41] Vinzent вышел(а) из комнаты
[20:59:18] Vinzent вошёл(а) в комнату
[20:59:26] Vinzent вышел(а) из комнаты
[20:59:58] Vinzent вошёл(а) в комнату
[21:03:35] Vinzent вышел(а) из комнаты
[21:04:59] Vinzent вошёл(а) в комнату
[21:05:29] Vinzent вышел(а) из комнаты
[21:50:09] Sun][ вошёл(а) в комнату
[21:50:46] Sun][ вышел(а) из комнаты: Replaced by new connection
[21:50:46] Sun][ вошёл(а) в комнату
[21:52:46] Sun][ вышел(а) из комнаты
[21:55:44] Typhon вошёл(а) в комнату
[22:17:37] Typhon вышел(а) из комнаты
[22:45:43] Sun][ вошёл(а) в комнату
[22:46:54] Sun][ вышел(а) из комнаты
[22:48:56] Sun][ вошёл(а) в комнату
[22:50:38] Sun][ вышел(а) из комнаты
[22:51:34] Sun][ вошёл(а) в комнату
[22:53:25] Sun][ вышел(а) из комнаты
[22:59:21] Sun][ вышел(а) из комнаты