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

ocaml@conference.jabber.ru

Четверг, 10 октября 2013< ^ >

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

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

GMT+4
[00:35:20] ftrvxmtrx вышел(а) из комнаты
[01:03:20] Kakadu вышел(а) из комнаты
[01:48:10] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[01:48:16] ForNeVeR вошёл(а) в комнату
[01:54:32] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[01:54:39] ForNeVeR вошёл(а) в комнату
[02:01:09] komar вышел(а) из комнаты: Replaced by new connection
[02:01:09] komar вошёл(а) в комнату
[03:11:38] tilarids вышел(а) из комнаты: Machine going to sleep
[03:38:40] tilarids вошёл(а) в комнату
[03:41:01] tilarids вышел(а) из комнаты
[03:45:12] tilarids вошёл(а) в комнату
[03:45:44] tilarids вышел(а) из комнаты: Machine going to sleep
[05:34:37] komar вышел(а) из комнаты: Replaced by new connection
[05:34:37] komar вошёл(а) в комнату
[05:45:51] komar вышел(а) из комнаты: Replaced by new connection
[05:45:51] komar вошёл(а) в комнату
[06:31:25] tilarids вошёл(а) в комнату
[06:57:04] f[x] вошёл(а) в комнату
[06:57:47] <f[x]> учитывая что гарантировать его soundness никто не может
[06:58:00] <f[x]> и думают в сторону более простой альтернативы - forward declarations
[06:58:19] <f[x]> а кстати, в том виде что ты показал неочевидно в чём рекурсивность модуля?
[07:42:39] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[07:42:46] ForNeVeR вошёл(а) в комнату
[08:23:11] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[08:23:17] ForNeVeR вошёл(а) в комнату
[09:27:10] komar вышел(а) из комнаты: Replaced by new connection
[09:27:10] komar вошёл(а) в комнату
[09:39:17] tilarids вышел(а) из комнаты: Machine going to sleep
[09:47:36] strobegen вошёл(а) в комнату
[09:49:42] f[x] вышел(а) из комнаты
[09:55:41] komar вышел(а) из комнаты: Replaced by new connection
[09:55:41] komar вошёл(а) в комнату
[10:36:39] ermine вошёл(а) в комнату
[10:49:53] f[x] вошёл(а) в комнату
[11:19:03] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[11:19:10] ForNeVeR вошёл(а) в комнату
[11:34:33] ForNeVeR вышел(а) из комнаты
[11:35:24] ForNeVeR вошёл(а) в комнату
[12:50:10] Kakadu вошёл(а) в комнату
[12:59:03] UncleVasya вошёл(а) в комнату
[13:14:29] Kakadu вышел(а) из комнаты
[13:20:57] Typhon вошёл(а) в комнату
[13:21:38] Kakadu вошёл(а) в комнату
[13:33:48] komar вышел(а) из комнаты: Replaced by new connection
[13:33:48] komar вошёл(а) в комнату
[13:50:07] <gds> f[x]: да, я показал в непонятном виде. Обычно как-то так:
module rec R : sig type a = { a : R.b }; type b = { b : R.a }; end = struct <скопируем сигнатуру> end;
(поля либо опциональные, либо mutable, то есть, создать всё можно, пусть и через dummy-значения.)
[13:51:20] <f[x]> ммм, а тут точно нужен module rec?
[13:51:42] <gds> ах да, часть из них -- class type
[13:54:18] f[x] всё ещё не убежден
[13:54:55] <f[x]> если будет время - покажи пример который без module rec низя
[14:03:22] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[14:03:29] ForNeVeR вошёл(а) в комнату
[14:04:53] komar вышел(а) из комнаты: Replaced by new connection
[14:04:53] komar вошёл(а) в комнату
[14:09:56] <gds> f[x]: class type a = object method b : b end and b = { a : a };;
[14:49:07] ForNeVeR вышел(а) из комнаты
[14:49:24] ForNeVeR вошёл(а) в комнату
[15:09:52] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[15:09:59] ForNeVeR вошёл(а) в комнату
[15:12:59] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[15:13:06] ForNeVeR вошёл(а) в комнату
[15:15:05] <gds> да, скорей бы forward declarations зафигачили.
[15:22:01] klapaucius вышел(а) из комнаты
[15:39:38] ForNeVeR вышел(а) из комнаты
[15:39:51] ForNeVeR вошёл(а) в комнату
[15:40:20] klapaucius вошёл(а) в комнату
[15:40:36] UncleVasya вышел(а) из комнаты
[15:45:38] Zbroyar вошёл(а) в комнату
[15:46:58] ForNeVeR вышел(а) из комнаты
[15:47:16] ForNeVeR вошёл(а) в комнату
[15:51:20] f[x] вышел(а) из комнаты
[15:52:02] f[x] вошёл(а) в комнату
[15:52:11] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[15:52:18] ForNeVeR вошёл(а) в комнату
[15:57:20] Zbroyar вышел(а) из комнаты
[15:58:06] f[x] вышел(а) из комнаты
[16:30:24] ftrvxmtrx вошёл(а) в комнату
[16:42:28] <gds> а вообще не так уж много в module rec пришлось закатать. Зато теперь умею как-то так: http://paste.in.ua/8842/ , и оно при фиксировании транзакции культурно пишет значения в файл (в данном примере даже с сохранением "шаринга", а не с плоской сериализацией всего). Ну, и читать тоже умеет, всяко. А после некоторого времени игрищ с этим делом можно увидеть такое: http://paste.in.ua/8843/
[17:02:24] komar вышел(а) из комнаты: Replaced by new connection
[17:02:24] komar вошёл(а) в комнату
[17:51:28] komar вышел(а) из комнаты: Replaced by new connection
[17:51:28] komar вошёл(а) в комнату
[18:23:01] klapaucius вышел(а) из комнаты
[18:23:51] Typhon вышел(а) из комнаты
[18:24:01] Typhon вошёл(а) в комнату
[18:46:54] Kakadu вышел(а) из комнаты
[18:50:19] komar вышел(а) из комнаты: Replaced by new connection
[18:50:20] komar вошёл(а) в комнату
[18:55:39] Typhon вышел(а) из комнаты
[19:01:34] Typhon вошёл(а) в комнату
[19:04:55] komar вышел(а) из комнаты: Replaced by new connection
[19:04:55] komar вошёл(а) в комнату
[19:18:41] Zbroyar вошёл(а) в комнату
[19:30:52] komar вышел(а) из комнаты: Replaced by new connection
[19:30:52] komar вошёл(а) в комнату
[19:40:15] Typhon вышел(а) из комнаты
[19:40:59] tilarids вошёл(а) в комнату
[19:41:49] f[x] вошёл(а) в комнату
[20:07:04] komar вышел(а) из комнаты: Replaced by new connection
[20:07:04] komar вошёл(а) в комнату
[20:17:50] f[x] вышел(а) из комнаты
[20:43:03] tilarids вышел(а) из комнаты: Machine going to sleep
[21:04:56] komar вышел(а) из комнаты: Replaced by new connection
[21:04:56] komar вошёл(а) в комнату
[21:07:42] ForNeVeR вышел(а) из комнаты
[21:08:01] ForNeVeR вошёл(а) в комнату
[21:58:04] tilarids вошёл(а) в комнату
[22:06:18] tilarids вышел(а) из комнаты: Machine going to sleep
[22:15:05] komar вышел(а) из комнаты: Replaced by new connection
[22:15:05] komar вошёл(а) в комнату
[22:26:42] Kakadu вошёл(а) в комнату
[22:56:18] Zbroyar вышел(а) из комнаты
[22:56:39] Zbroyar вошёл(а) в комнату
[23:08:05] ermine вышел(а) из комнаты
[23:23:22] Kakadu вышел(а) из комнаты
[23:33:17] tilarids вошёл(а) в комнату
[23:55:38] Zbroyar вышел(а) из комнаты
[23:59:42] komar вышел(а) из комнаты: Replaced by new connection
[23:59:42] komar вошёл(а) в комнату