Objective Caml - Среда, 31 октября 2012

Objective Caml

ocaml@conference.jabber.ru

Среда, 31 октября 2012< ^ >

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

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

GMT+4
[00:18:07] <gds> f[x]: вербозные, факт.  И вообще, давно говорю, концепции записей, объектов и первоклассных модулей можно вполне гармонично слить.  А для практики -- http://okmij.org/ftp/Computation/Existentials.html -- только не прикалывайся, что ссылку на Олега даю именно для практики, и хотя бы просмотри до конца.
[00:27:50] <tilarids> gds, а ты по coq еще не публиковал?
[00:28:42] <gds> ещё нет.  Со вчерашнего не брался, а писать ещё немало.  Я же для чотких пацанов и девчонок пишу, ё.
[00:30:06] <tilarids> а рсс там есть для четких? Чтобы я подписался и не переспрашивал? :)
[00:35:25] <gds> tilarids: публиковать изначально буду в жыжыцу, http://gds.livejournal.com , по идее рсс должны давать.  Обязательно будет анонс в псачик, тут рсс мне известен: http://gds.psto.net/rss , однако насчёт подписки -- не уверен: ты зарегистрирован там и знаешь, что псто даже серьёзных людей нельзя читать без неизбежного руколичья.
[00:36:03] <gds> ну и в http://gdsfh.dreamwidth.org/ буду
[00:36:09] <gds> может там рсс проще.
[01:03:16] Typhon вышел(а) из комнаты: Replaced by new connection
[01:03:39] Typhon вошёл(а) в комнату
[01:04:26] akovbovich вышел(а) из комнаты
[01:04:31] akovbovich вошёл(а) в комнату
[01:07:07] Andrey Popp вышел(а) из комнаты
[01:07:08] Andrey Popp вошёл(а) в комнату
[01:07:08] Andrey Popp вышел(а) из комнаты
[01:07:37] akovbovich вышел(а) из комнаты
[01:07:42] akovbovich вошёл(а) в комнату
[01:09:58] Andrey Popp вошёл(а) в комнату
[01:19:23] <tilarids> gds, в пстачике подписался
[01:20:49] <gds> увидел, есть контакт.
[01:35:23] Andrey Popp вышел(а) из комнаты
[01:38:13] Andrey Popp вошёл(а) в комнату
[01:43:05] Andrey Popp вышел(а) из комнаты
[01:43:14] Sun][ вышел(а) из комнаты: Replaced by new connection
[01:43:14] Sun][ вошёл(а) в комнату
[01:56:00] f[x] вошёл(а) в комнату
[02:13:08] Sun][ вышел(а) из комнаты: Replaced by new connection
[02:13:08] Sun][ вошёл(а) в комнату
[02:17:22] Sun][ вышел(а) из комнаты: Replaced by new connection
[02:17:22] Sun][ вошёл(а) в комнату
[02:18:17] Kakadu вышел(а) из комнаты
[02:41:16] Sun][ вышел(а) из комнаты
[02:45:13] komar вышел(а) из комнаты
[02:45:16] komar вошёл(а) в комнату
[02:45:16] komar вышел(а) из комнаты
[04:32:57] letrec вошёл(а) в комнату
[05:35:05] letrec вышел(а) из комнаты
[06:40:16] f[x] вышел(а) из комнаты
[10:03:26] dzhon вошёл(а) в комнату
[10:16:05] Sun][ вошёл(а) в комнату
[10:17:32] Andrey Popp вошёл(а) в комнату
[10:48:02] klapaucius вошёл(а) в комнату
[11:11:54] ermine вошёл(а) в комнату
[12:08:10] Andrey Popp вышел(а) из комнаты
[12:28:45] Andrey Popp вошёл(а) в комнату
[12:56:22] tilarids вышел(а) из комнаты: Machine going to sleep
[13:01:18] Kakadu вошёл(а) в комнату
[13:48:35] komar вошёл(а) в комнату
[14:08:22] tilarids вошёл(а) в комнату
[15:40:20] komar вышел(а) из комнаты
[15:40:26] komar вошёл(а) в комнату
[15:48:41] letrec вошёл(а) в комнату
[15:52:11] Andrey Popp вышел(а) из комнаты
[15:54:12] Andrey Popp вошёл(а) в комнату
[15:58:24] klapaucius вышел(а) из комнаты
[15:59:03] klapaucius вошёл(а) в комнату
[16:08:53] Andrey Popp вышел(а) из комнаты
[16:10:40] Typhon вышел(а) из комнаты
[16:11:24] Typhon вошёл(а) в комнату
[16:31:06] letrec вышел(а) из комнаты
[16:36:28] letrec вошёл(а) в комнату
[17:27:33] Sun][ вышел(а) из комнаты
[18:25:04] komar вышел(а) из комнаты
[18:27:21] komar вошёл(а) в комнату
[18:54:48] UncleVasya вошёл(а) в комнату
[19:07:49] Kakadu вышел(а) из комнаты
[19:13:35] dzhon вышел(а) из комнаты
[19:28:36] letrec вышел(а) из комнаты
[19:42:31] Kakadu вошёл(а) в комнату
[20:35:26] tilarids вышел(а) из комнаты: Machine going to sleep
[21:30:18] ermine вышел(а) из комнаты
[22:38:06] Sun][ вошёл(а) в комнату
[22:41:13] UncleVasya вышел(а) из комнаты
[22:54:16] ftrvxmtrx вышел(а) из комнаты
[22:55:23] Andrey Popp вошёл(а) в комнату
[23:13:24] Andrey Popp вышел(а) из комнаты
[23:14:36] Andrey Popp вошёл(а) в комнату
[23:26:02] Andrey Popp вышел(а) из комнаты
[23:29:20] Andrey Popp вошёл(а) в комнату
[23:58:42] ftrvxmtrx вошёл(а) в комнату