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

ocaml@conference.jabber.ru

Пятница, 20 сентября 2013< ^ >

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

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

GMT+4
[01:21:48] ftrvxmtrx вышел(а) из комнаты
[01:21:51] ftrvxmtrx вошёл(а) в комнату
[02:41:58] irezvov вышел(а) из комнаты: Replaced by new connection
[02:41:59] irezvov вошёл(а) в комнату
[05:10:10] <gds> внезапно: нашёл неинициализированное поле в своей 20-элементной структуре, когда переписал её на cstruct-codegen, где она создаётся через make ~field1:val1 ~field2:val2 ..., а всё потому, что многое меняется сейчас, и за изменениями должен следить компилятор.
[05:11:09] zinid вошёл(а) в комнату
[05:13:26] f[x] вошёл(а) в комнату
[06:00:04] f[x] вышел(а) из комнаты
[06:21:20] f[x] вошёл(а) в комнату
[06:44:37] ocaml вошёл(а) в комнату
[06:44:49] ocaml вышел(а) из комнаты
[08:50:04] ftrvxmtrx вышел(а) из комнаты
[09:08:12] ForNeVeR вошёл(а) в комнату
[10:09:47] ocaml вошёл(а) в комнату
[10:14:49] f[x] вышел(а) из комнаты
[10:30:36] <ADEpt> gds: может добавить туда fieldslib и Fields.Fold?
[10:48:22] Kakadu вошёл(а) в комнату
[10:52:58] UncleVasya вошёл(а) в комнату
[11:17:18] ermine вошёл(а) в комнату
[11:18:05] klapaucius вошёл(а) в комнату
[11:20:39] f[x] вошёл(а) в комнату
[11:23:46] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[11:23:53] ForNeVeR вошёл(а) в комнату
[11:30:06] ocaml вышел(а) из комнаты
[11:43:53] ocaml вошёл(а) в комнату
[11:44:06] ocaml вышел(а) из комнаты
[12:07:36] ocaml вошёл(а) в комнату
[12:46:59] ocaml вышел(а) из комнаты
[12:47:50] n06r1n вошёл(а) в комнату
[12:50:16] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[12:50:23] ForNeVeR вошёл(а) в комнату
[12:56:36] n06r1n вышел(а) из комнаты
[12:56:45] n06r1n вошёл(а) в комнату
[13:52:06] f[x] вышел(а) из комнаты
[14:05:59] ForNeVeR вышел(а) из комнаты
[14:34:30] ForNeVeR вошёл(а) в комнату
[14:38:57] n06r1n вышел(а) из комнаты
[14:39:05] n06r1n вошёл(а) в комнату
[14:47:26] Zbroyar вышел(а) из комнаты
[14:47:41] Zbroyar вошёл(а) в комнату
[15:39:35] UncleVasya вошёл(а) в комнату
[15:43:26] ftrvxmtrx вошёл(а) в комнату
[16:06:40] Zbroyar вышел(а) из комнаты: Replaced by new connection
[16:06:45] Zbroyar вошёл(а) в комнату
[16:07:33] n06r1n вышел(а) из комнаты
[16:10:23] n06r1n вошёл(а) в комнату
[16:25:24] klapaucius вышел(а) из комнаты
[16:29:18] Kakadu вышел(а) из комнаты
[16:29:28] Kakadu вошёл(а) в комнату
[16:40:37] n06r1n вышел(а) из комнаты
[17:27:57] Zbroyar вышел(а) из комнаты
[17:45:06] UncleVasya вышел(а) из комнаты
[17:45:23] UncleVasya вошёл(а) в комнату
[17:54:18] n06r1n вошёл(а) в комнату
[18:17:12] <gds> ADEpt: слишком дофига высокоуровнево, пока не надо, но идею понял.
[18:17:12] UncleVasya вышел(а) из комнаты
[18:25:26] Kakadu вышел(а) из комнаты
[18:42:29] zinid вышел(а) из комнаты
[19:55:21] f[x] вошёл(а) в комнату
[20:00:17] komar вышел(а) из комнаты: Replaced by new connection
[20:00:17] komar вошёл(а) в комнату
[20:00:51] ForNeVeR вышел(а) из комнаты
[20:00:51] ForNeVeR вышел(а) из комнаты
[20:01:09] ForNeVeR вошёл(а) в комнату
[20:01:11] ForNeVeR вошёл(а) в комнату
[20:01:53] ForNeVeR вышел(а) из комнаты
[20:02:24] ermine вышел(а) из комнаты
[20:02:29] n06r1n вышел(а) из комнаты
[20:02:32] ForNeVeR вошёл(а) в комнату
[20:02:34] ermine вошёл(а) в комнату
[20:03:21] n06r1n вошёл(а) в комнату
[20:03:38] n06r1n вышел(а) из комнаты
[20:04:26] ermine вышел(а) из комнаты
[20:04:29] ermine вошёл(а) в комнату
[20:04:40] n06r1n вошёл(а) в комнату
[20:05:48] ermine вышел(а) из комнаты
[20:05:50] ermine вошёл(а) в комнату
[20:06:35] ermine вышел(а) из комнаты
[20:06:39] ermine вошёл(а) в комнату
[20:09:47] ForNeVeR вышел(а) из комнаты
[20:10:08] ForNeVeR вошёл(а) в комнату
[20:10:52] ForNeVeR вышел(а) из комнаты
[20:11:25] ForNeVeR вошёл(а) в комнату
[20:12:21] ermine вышел(а) из комнаты
[20:14:13] ermine вошёл(а) в комнату
[20:26:52] ForNeVeR вышел(а) из комнаты
[20:32:43] f[x] вышел(а) из комнаты
[21:02:49] irezvov вышел(а) из комнаты: Replaced by new connection
[21:02:51] irezvov вошёл(а) в комнату
[21:15:38] UncleVasya вышел(а) из комнаты
[21:53:11] n06r1n вышел(а) из комнаты
[21:58:35] ermine вышел(а) из комнаты
[23:19:57] irezvov вышел(а) из комнаты
[23:22:07] irezvov вошёл(а) в комнату
[23:27:13] UncleVasya вошёл(а) в комнату