OCaml (aka Objective Caml), а также прочие ML'и, F#, Coq, etc

ocaml@conference.jabber.ru

Вторник, 27 августа 2013< ^ >

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

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

GMT+4
[00:12:03] ermine вышел(а) из комнаты
[00:42:28] Typhon вошёл(а) в комнату
[01:31:37] Typhon вышел(а) из комнаты
[05:51:47] f[x] вошёл(а) в комнату
[06:00:40] zinid вошёл(а) в комнату
[07:33:16] ForNeVeR вышел(а) из комнаты
[08:03:25] ForNeVeR вошёл(а) в комнату
[09:53:22] Typhon вошёл(а) в комнату
[09:59:18] f[x] вышел(а) из комнаты
[10:20:34] ADEpt вошёл(а) в комнату
[10:41:51] Typhon вышел(а) из комнаты
[11:05:19] f[x] вошёл(а) в комнату
[11:11:13] <gds> вопрос тут в тему из-за языка реализации этой хрени: http://gds.psto.net/tgftzi (по ссылке никаких обнажённых мужчин!)
[11:13:38] <ADEpt> gds: "Что нужно для обоих видов транзакций: ..." - а про виды транзакций ничего не сказано
[11:13:39] ermine вошёл(а) в комнату
[11:13:48] <gds> оно ниже.
[11:15:39] <gds> впрочем, ты прав, исправил.
[11:17:22] <ADEpt> gds: если есть ссылки - то есть и какие-то id, так?
[11:17:41] <ADEpt> впрочем, это детали. не важно
[11:18:42] <gds> в этом случае -- тупо "смещение блока со значением в файле". Ссылка десериализуется в значение типа type pers 'a = { ofs : int64 ; v : mutable option 'a }.
[11:18:56] <gds> а чтение значения заполняет поле v.
[11:19:34] <ADEpt> gds: имхо, все будет работать, только возможно имеет смысл поделить транзакции на RO и RW
[11:19:43] <ADEpt> если в рамках задачи это имеет смысл
[11:20:15] <ADEpt> т.к. для RO+read_committed все проверки сразу убираются
[11:20:48] <gds> очень грамотная идея!
[11:21:06] <gds> благодарю в том числе за "ревью".
[11:21:17] <ADEpt> my pleasure :)
[11:23:54] <f[x]> а это не bdb получается?
[11:24:53] <gds> не bdb и не реляционка. С другой стороны, поверх этого можно будет реализовать как то, так и другое.
[11:30:59] Typhon вошёл(а) в комнату
[11:32:02] Typhon вышел(а) из комнаты
[11:32:49] Typhon вошёл(а) в комнату
[11:35:23] Typhon вышел(а) из комнаты
[11:35:50] Typhon вошёл(а) в комнату
[11:44:37] Typhon вышел(а) из комнаты
[11:45:28] Typhon вошёл(а) в комнату
[11:57:02] Typhon вышел(а) из комнаты
[11:57:37] Typhon вошёл(а) в комнату
[11:57:45] Typhon вышел(а) из комнаты
[12:16:42] komar вышел(а) из комнаты: Replaced by new connection
[12:16:42] komar вошёл(а) в комнату
[12:16:52] Typhon вошёл(а) в комнату
[12:49:59] komar вышел(а) из комнаты: Replaced by new connection
[12:49:59] komar вошёл(а) в комнату
[14:01:27] Kakadu вошёл(а) в комнату
[14:26:10] komar вышел(а) из комнаты: Logged out
[16:02:23] ForNeVeR вышел(а) из комнаты: Unhandled exception at 0x00000000.
[16:05:18] ForNeVeR вошёл(а) в комнату
[16:39:24] asterizer вошёл(а) в комнату
[16:48:05] f[x] вышел(а) из комнаты
[16:58:42] komar вошёл(а) в комнату
[18:29:42] f[x] вошёл(а) в комнату
[18:30:17] gds вышел(а) из комнаты
[18:30:48] gds вошёл(а) в комнату
[19:04:46] f[x] вышел(а) из комнаты
[19:14:12] Kakadu вышел(а) из комнаты: Logged out
[19:29:05] zinid вышел(а) из комнаты
[19:32:00] ForNeVeR вошёл(а) в комнату
[19:58:44] f[x] вошёл(а) в комнату
[20:14:43] Typhon вышел(а) из комнаты
[20:38:58] komar вышел(а) из комнаты
[21:00:39] f[x] вышел(а) из комнаты
[21:28:00] ForNeVeR вышел(а) из комнаты