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

ocaml@conference.jabber.ru

Среда, 24 июля 2013< ^ >

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

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

GMT+4
[00:33:18] <gds> вопрос.  Делаем Unix.lseek, берём канал через Unix.in_channel_of_descr, читаем.  Опыты показывают, что при чтении из канала оно читает с того места, на которое сделали lseek.  Это так и должно быть? (думаю да.)  Это не поломается в будущем?  (думаю нет.)  Но может кто-нибудь уточнит?
[00:55:56] ermine вышел(а) из комнаты
[00:57:27] <aleksey> ну вроде логично, с чего бы вторая функция делала lseek опять
[01:31:07] <gds> хорошо, что это для тебя логично.  Есть надежда, что и для инрии это логично тоже.
[04:38:07] zinid вошёл(а) в комнату
[06:31:04] f[x] вошёл(а) в комнату
[06:35:17] <f[x]> по идее логично, но где-то в мантисе был тикет про синхронизацию сиков между fd и ch
[06:35:49] <f[x]> но там какой-то более замороченный случай был
[06:43:32] <gds> есть Pervasives.seek_in, может с ним связано.  Но у меня проще расклад, чисто создание канала и его однократное использование тупой читающей функцией.
[06:44:42] <f[x]> а что мешает ещё один seek на канале сделать?
[06:44:50] <f[x]> или assert tell ?
[06:44:59] <f[x]> или там уже нет инфы?
[06:45:07] <f[x]> ну вообщем думаб будет работать в обозримом будущем
[06:46:33] <gds> seek_in на канале -- грамотное решение.
[06:58:51] f[x] вышел(а) из комнаты
[07:20:28] f[x] вошёл(а) в комнату
[08:46:44] avkarpich вошёл(а) в комнату
[09:37:56] ermine вошёл(а) в комнату
[09:52:26] f[x] вышел(а) из комнаты
[09:56:49] f[x] вошёл(а) в комнату
[10:24:28] f[x] вышел(а) из комнаты
[11:08:30] f[x] вошёл(а) в комнату
[11:28:16] Typhon вошёл(а) в комнату
[11:50:11] Typhon вышел(а) из комнаты
[11:51:22] Typhon вошёл(а) в комнату
[12:11:12] gds вышел(а) из комнаты
[12:52:43] gds вошёл(а) в комнату
[13:22:10] gds вышел(а) из комнаты
[13:48:19] gds вошёл(а) в комнату
[14:49:33] avkarpich вышел(а) из комнаты
[16:17:09] f[x] вышел(а) из комнаты
[18:12:53] f[x] вошёл(а) в комнату
[19:22:45] Typhon вышел(а) из комнаты
[19:23:11] Typhon вошёл(а) в комнату
[19:24:59] Typhon вышел(а) из комнаты
[19:35:44] zinid вышел(а) из комнаты
[19:52:53] tilarids вошёл(а) в комнату
[20:33:42] komar вышел(а) из комнаты: Replaced by new connection
[20:33:46] komar вошёл(а) в комнату
[21:01:28] tilarids вышел(а) из комнаты: Machine going to sleep
[21:07:21] tilarids вошёл(а) в комнату
[21:11:04] tilarids вышел(а) из комнаты: Machine going to sleep
[21:22:50] komar вышел(а) из комнаты
[21:34:34] <f[x]> https://ocaml-www3.ocamllabs.cl.cam.ac.uk/github/OCamlPro/opam-repository
[21:45:01] f[x] вышел(а) из комнаты
[22:55:59] Typhon вошёл(а) в комнату
[23:00:47] komar вошёл(а) в комнату
[23:41:38] Typhon вышел(а) из комнаты
[23:59:14] <gds> хочу weak hashtable, чтобы исчезновение ключа вызывало исчезновение записи из таблицы.  Как сделать поверх Weak.Make() -- не представляю.  Вообще, можно?  Если нет, то что брать?