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

ocaml@conference.jabber.ru

Четверг, 26 сентября 2013< ^ >

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

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

GMT+4
[00:22:13] Kakadu вошёл(а) в комнату
[00:31:12] komar вышел(а) из комнаты
[00:44:05] komar вошёл(а) в комнату
[00:46:35] komar вышел(а) из комнаты
[00:46:50] komar вошёл(а) в комнату
[00:53:41] komar вышел(а) из комнаты: Logged out
[00:53:45] komar вошёл(а) в комнату
[01:04:41] Kakadu вышел(а) из комнаты
[04:19:24] komar вышел(а) из комнаты: Logged out
[04:19:26] komar вошёл(а) в комнату
[04:32:21] gds вышел(а) из комнаты: Replaced by new connection
[04:32:23] gds вошёл(а) в комнату
[04:43:51] gds вышел(а) из комнаты: Replaced by new connection
[04:43:52] gds вошёл(а) в комнату
[04:49:01] tilarids вошёл(а) в комнату
[05:04:13] tilarids вышел(а) из комнаты: Machine going to sleep
[05:12:34] gds вышел(а) из комнаты: Replaced by new connection
[05:12:36] gds вошёл(а) в комнату
[05:13:27] <gds> f[x]: я был бы не прочь запилить у себя в cstruct-codegen сишные поля с окамловским типом char (а то эти постоянные Char.{chr,code} как-то напрягают), но в extunix нет соответствующих функций. Как считаешь, стоит их туда добавить? (по идее, можно взять соответствующую uint8-функцию и сделать char-функцию с тем же именем сишной функции; но не смотрел тщательно в код; но посмотрю, если ты не против идеи в целом.)
[05:28:21] komar вышел(а) из комнаты: Logged out
[05:30:06] f[x] вошёл(а) в комнату
[06:25:11] <gds> f[x]: если не читал логи, погляди http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/2013/09/26.html#05:13:27.224075 . Если читал, но не хочешь / не можешь ответить -- забей.
[06:35:58] <f[x]> не могу сходу сказать
[06:40:33] <gds> понял.
[09:48:14] f[x] вышел(а) из комнаты
[10:51:30] f[x] вошёл(а) в комнату
[11:21:12] ermine вошёл(а) в комнату
[11:59:03] zinid вошёл(а) в комнату
[12:15:26] Zbroyar вошёл(а) в комнату
[12:31:22] tilarids вошёл(а) в комнату
[13:14:17] Kakadu вошёл(а) в комнату
[13:14:32] Kakadu вышел(а) из комнаты
[13:14:49] Kakadu вошёл(а) в комнату
[13:15:38] Kakadu вышел(а) из комнаты
[13:16:32] Kakadu вошёл(а) в комнату
[13:16:47] Kakadu вышел(а) из комнаты
[13:16:54] Kakadu вошёл(а) в комнату
[13:17:11] Kakadu вышел(а) из комнаты
[13:17:20] Kakadu вошёл(а) в комнату
[13:17:38] Kakadu вышел(а) из комнаты
[13:18:04] Kakadu вошёл(а) в комнату
[13:20:32] Kakadu вышел(а) из комнаты
[13:20:45] Kakadu вошёл(а) в комнату
[13:32:32] Typhon вошёл(а) в комнату
[13:38:57] f[x] вышел(а) из комнаты
[13:40:00] f[x] вошёл(а) в комнату
[14:12:30] Kakadu вышел(а) из комнаты
[14:14:40] Kakadu вошёл(а) в комнату
[15:11:39] ftrvxmtrx вышел(а) из комнаты
[15:19:22] tilarids вышел(а) из комнаты: Replaced by new connection
[15:19:23] tilarids вошёл(а) в комнату
[15:22:01] f[x] вышел(а) из комнаты
[15:57:07] tilarids вышел(а) из комнаты: Machine going to sleep
[16:13:21] Kakadu вышел(а) из комнаты
[16:17:35] Kakadu вошёл(а) в комнату
[17:32:41] Zbroyar вышел(а) из комнаты
[17:39:16] Zbroyar вошёл(а) в комнату
[19:16:51] komar вошёл(а) в комнату
[19:33:14] Zbroyar вышел(а) из комнаты
[19:34:07] Typhon вышел(а) из комнаты
[19:35:27] Typhon вошёл(а) в комнату
[19:48:47] komar вышел(а) из комнаты
[19:48:56] komar вошёл(а) в комнату
[19:53:14] Kakadu вышел(а) из комнаты
[19:55:11] Kakadu вошёл(а) в комнату
[20:23:38] Typhon вышел(а) из комнаты: Replaced by new connection
[20:24:09] Typhon вошёл(а) в комнату
[20:36:21] ftrvxmtrx вошёл(а) в комнату
[20:36:57] Kakadu вышел(а) из комнаты
[20:45:08] zinid вышел(а) из комнаты
[20:53:11] Typhon вышел(а) из комнаты
[20:56:04] Typhon вошёл(а) в комнату
[21:15:30] Typhon вышел(а) из комнаты
[23:03:23] komar вышел(а) из комнаты: Replaced by new connection
[23:03:23] komar вошёл(а) в комнату
[23:18:28] ftrvxmtrx вышел(а) из комнаты
[23:37:17] ermine вышел(а) из комнаты