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

ocaml@conference.jabber.ru

Среда, 9 октября 2013< ^ >

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

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

GMT+4
[00:04:48] Kakadu вышел(а) из комнаты
[00:12:21] tilarids вошёл(а) в комнату
[00:19:58] Kakadu вошёл(а) в комнату
[00:44:43] komar вышел(а) из комнаты: Replaced by new connection
[00:44:43] komar вошёл(а) в комнату
[00:59:46] Zbroyar вышел(а) из комнаты
[01:00:04] Zbroyar вошёл(а) в комнату
[01:09:15] Zbroyar вышел(а) из комнаты
[01:17:28] ftrvxmtrx вошёл(а) в комнату
[01:18:27] Typhon вышел(а) из комнаты
[01:19:42] Kakadu вышел(а) из комнаты
[01:24:17] komar вышел(а) из комнаты: Replaced by new connection
[01:24:17] komar вошёл(а) в комнату
[01:53:44] komar вышел(а) из комнаты: Replaced by new connection
[01:53:45] komar вошёл(а) в комнату
[02:28:35] komar вышел(а) из комнаты: Replaced by new connection
[02:28:35] komar вошёл(а) в комнату
[02:36:15] tilarids вышел(а) из комнаты: Machine going to sleep
[03:27:22] komar вышел(а) из комнаты: Replaced by new connection
[03:27:22] komar вошёл(а) в комнату
[03:31:18] komar вышел(а) из комнаты: Replaced by new connection
[03:31:18] komar вошёл(а) в комнату
[03:47:45] komar вышел(а) из комнаты: Replaced by new connection
[03:47:45] komar вошёл(а) в комнату
[04:10:15] komar вышел(а) из комнаты: Replaced by new connection
[04:10:15] komar вошёл(а) в комнату
[05:24:04] ForNeVeR вышел(а) из комнаты
[05:29:50] tilarids вошёл(а) в комнату
[05:29:52] ForNeVeR вошёл(а) в комнату
[06:01:36] tilarids вышел(а) из комнаты: Machine going to sleep
[06:37:55] f[x] вошёл(а) в комнату
[06:53:02] ForNeVeR вышел(а) из комнаты
[07:42:06] tilarids вошёл(а) в комнату
[08:23:49] ForNeVeR вошёл(а) в комнату
[09:14:32] komar вышел(а) из комнаты
[09:52:44] f[x] вышел(а) из комнаты
[10:00:33] tilarids вышел(а) из комнаты: Machine going to sleep
[10:50:26] komar вошёл(а) в комнату
[10:57:54] f[x] вошёл(а) в комнату
[11:05:28] ermine вошёл(а) в комнату
[11:16:37] komar вышел(а) из комнаты: Logged out
[11:16:42] komar вошёл(а) в комнату
[12:00:31] Typhon вошёл(а) в комнату
[12:57:45] <f[x]> http://www.ocamlpro.com/public/talks/
[13:07:27] Kakadu вошёл(а) в комнату
[14:39:30] f[x] вышел(а) из комнаты
[15:03:10] Typhon вышел(а) из комнаты
[15:03:31] Typhon вошёл(а) в комнату
[15:39:37] <gds> f[x]: не могу найти в extunix функцию "записать кусок bigarray в файл".  Только целиком пишет.  Пичалька.
[16:43:08] komar вышел(а) из комнаты: Replaced by new connection
[16:43:09] komar вошёл(а) в комнату
[17:15:38] Kakadu вышел(а) из комнаты: Replaced by new connection
[17:15:44] Kakadu вошёл(а) в комнату
[17:17:12] Typhon вышел(а) из комнаты
[17:17:26] Typhon вошёл(а) в комнату
[17:17:33] <gds> f[x]: впрочем, я разобрался более простыми средствами.  Как бы решено.
[17:56:25] Kakadu вышел(а) из комнаты
[18:05:57] Kakadu вошёл(а) в комнату
[18:12:55] f[x] вошёл(а) в комнату
[18:14:37] <f[x]> bigarray можно слайсить, так решил?
[18:36:49] tilarids вошёл(а) в комнату
[18:56:57] tilarids вышел(а) из комнаты: Machine going to sleep
[18:57:05] Typhon вышел(а) из комнаты
[19:06:52] <gds> f[x]: ещё проще: у меня там было всего пару полей в моей си-подобной структуре, я заполнил их руками в строке и её же вывел.  Не слишком дерьмово получилось на вид, а по скорости разница будет несущественной.
[19:24:29] Typhon вошёл(а) в комнату
[19:41:08] komar вышел(а) из комнаты: Replaced by new connection
[19:41:08] komar вошёл(а) в комнату
[20:26:16] tilarids вошёл(а) в комнату
[20:30:37] Typhon вышел(а) из комнаты
[20:47:23] f[x] вышел(а) из комнаты
[20:50:10] f[x] вошёл(а) в комнату
[20:50:26] f[x] вышел(а) из комнаты
[20:58:37] Kakadu вышел(а) из комнаты
[21:19:01] tilarids вышел(а) из комнаты: Machine going to sleep
[21:36:26] tilarids вошёл(а) в комнату
[22:06:36] <gds> опять камло заставляет меня делать "module rec R : sig .. end = struct .. end; include R;" для простого описания десятка типов.  Ну, взаимно-рекурсивные, ну и что.
Как же я люблю это.  Не передать.
[22:07:08] <gds> (а ещё -- дублирование описаний в сигнатуре и структуре.  вообще збс.)
[22:08:45] <gds> вдобавок ко всему, рекурсивные модули -- расширение, которое кое-кто не прочь выпилить.  Где-то видел, в багтрекере, штоле.
[22:08:50] <gds> (пруфов не будет.)
[22:28:50] tilarids вышел(а) из комнаты: Machine going to sleep
[22:35:56] ermine вышел(а) из комнаты
[22:42:23] Typhon вошёл(а) в комнату
[22:42:58] Typhon вышел(а) из комнаты
[22:56:35] komar вышел(а) из комнаты: Replaced by new connection
[22:56:35] komar вошёл(а) в комнату
[23:15:27] tilarids вошёл(а) в комнату
[23:29:42] komar вышел(а) из комнаты: Replaced by new connection
[23:29:42] komar вошёл(а) в комнату
[23:54:58] Kakadu вошёл(а) в комнату