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

ocaml@conference.jabber.ru

Суббота, 5 октября 2013< ^ >

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

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

GMT+4
[01:36:50] komar вышел(а) из комнаты: Replaced by new connection
[01:36:50] komar вошёл(а) в комнату
[02:56:56] komar вышел(а) из комнаты: Replaced by new connection
[02:56:56] komar вошёл(а) в комнату
[03:08:03] komar вышел(а) из комнаты: Replaced by new connection
[03:08:03] komar вошёл(а) в комнату
[03:35:35] Zbroyar вышел(а) из комнаты
[03:50:21] komar вышел(а) из комнаты: Replaced by new connection
[03:50:21] komar вошёл(а) в комнату
[05:50:34] komar вышел(а) из комнаты: Replaced by new connection
[05:50:34] komar вошёл(а) в комнату
[07:09:06] f[x] вошёл(а) в комнату
[07:33:29] f[x] вышел(а) из комнаты
[07:35:30] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[07:35:36] ForNeVeR вошёл(а) в комнату
[08:56:12] komar вышел(а) из комнаты: Replaced by new connection
[08:56:13] komar вошёл(а) в комнату
[09:07:36] komar вышел(а) из комнаты
[09:07:45] komar вошёл(а) в комнату
[09:16:18] strobegen вошёл(а) в комнату
[09:59:42] komar вошёл(а) в комнату
[10:04:40] komar вышел(а) из комнаты
[10:09:43] ftrvxmtrx вышел(а) из комнаты
[10:54:59] Kakadu вошёл(а) в комнату
[11:10:24] komar вышел(а) из комнаты: Replaced by new connection
[11:10:24] komar вошёл(а) в комнату
[12:33:40] komar вышел(а) из комнаты: Logged out
[12:33:46] komar вошёл(а) в комнату
[14:06:57] Kakadu вышел(а) из комнаты
[14:44:28] f[x] вошёл(а) в комнату
[14:47:44] Typhon вошёл(а) в комнату
[14:49:53] komar вышел(а) из комнаты: Replaced by new connection
[14:49:54] komar вошёл(а) в комнату
[15:02:13] Typhon вышел(а) из комнаты
[15:07:53] komar вышел(а) из комнаты: Replaced by new connection
[15:07:53] komar вошёл(а) в комнату
[15:12:59] Typhon вошёл(а) в комнату
[15:50:14] Kakadu вошёл(а) в комнату
[15:53:35] Typhon вышел(а) из комнаты: Replaced by new connection
[15:53:45] Typhon вошёл(а) в комнату
[17:27:17] Typhon вышел(а) из комнаты
[18:01:49] komar вышел(а) из комнаты: Replaced by new connection
[18:01:50] komar вошёл(а) в комнату
[18:43:06] Typhon вошёл(а) в комнату
[18:44:06] komar вышел(а) из комнаты: Replaced by new connection
[18:44:06] komar вошёл(а) в комнату
[18:53:33] komar вышел(а) из комнаты: Replaced by new connection
[18:53:34] komar вошёл(а) в комнату
[19:18:25] Typhon вышел(а) из комнаты: Replaced by new connection
[19:18:35] Typhon вошёл(а) в комнату
[19:41:46] Kakadu вышел(а) из комнаты
[19:51:29] komar вышел(а) из комнаты: Replaced by new connection
[19:51:29] komar вошёл(а) в комнату
[20:25:31] komar вышел(а) из комнаты: Replaced by new connection
[20:25:31] komar вошёл(а) в комнату
[20:43:09] f[x] вышел(а) из комнаты
[20:48:49] komar вышел(а) из комнаты: Replaced by new connection
[20:48:49] komar вошёл(а) в комнату
[20:56:40] Typhon вышел(а) из комнаты
[20:56:51] Typhon вошёл(а) в комнату
[21:06:25] <gds> где, мать его, Hashtbl.take?  Вообще, можно было бы налепить подобные "гибридные" операции.  Они же для реализации требуют знаний о внутреннем представлении структур данных, поэтому внешними средствами никак.
[21:33:22] <aleksey> а take что должен делать?
[21:59:45] <gds> брать любой элемент и удалять его из хештаблицы.
iter, видишь ли, это не умеет, если из него удалять текущий элемент.
[22:02:56] <gds> то есть, типа Queue, только неупорядоченное.  Реализовать очень легко, но все предпочитают тупить по-другому.  Тратить память на промежуточные структуры данных, например.
[22:04:31] <aleksey> а что мешает из iter удалять текущий элемент?
[22:09:37] <gds> недокументированность того, что это будет работать.
[22:14:08] <gds> вообще, можно извратиться, сделав iter + raise + remove.  Но как-то криво.
[22:16:12] <aleksey> намана
[22:34:28] komar вышел(а) из комнаты: Replaced by new connection
[22:34:28] komar вошёл(а) в комнату