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

ocaml@conference.jabber.ru

Понедельник, 22 июля 2013< ^ >

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

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

GMT+4
[01:48:05] tilarids вышел(а) из комнаты: Machine going to sleep
[02:11:40] ftrvxmtrx вошёл(а) в комнату
[02:57:34] ftrvxmtrx вышел(а) из комнаты
[04:02:06] zinid вошёл(а) в комнату
[06:11:05] f[x] вошёл(а) в комнату
[08:22:59] tilarids вошёл(а) в комнату
[08:24:25] ForNeVeR вошёл(а) в комнату
[10:09:44] f[x] вышел(а) из комнаты
[11:02:07] ermine вошёл(а) в комнату
[11:44:41] f[x] вошёл(а) в комнату
[11:55:44] Typhon вошёл(а) в комнату
[12:43:11] Typhon вышел(а) из комнаты
[12:44:15] Zbroyar вошёл(а) в комнату
[12:57:41] Typhon вошёл(а) в комнату
[13:09:35] ForNeVeR вышел(а) из комнаты
[13:09:57] ForNeVeR вошёл(а) в комнату
[13:28:29] tilarids вышел(а) из комнаты: Machine going to sleep
[13:32:34] komar вышел(а) из комнаты: Logged out
[14:06:07] tilarids вошёл(а) в комнату
[14:16:18] ftrvxmtrx вошёл(а) в комнату
[14:56:46] ftrvxmtrx вышел(а) из комнаты
[15:25:26] komar вошёл(а) в комнату
[15:32:15] f[x] вышел(а) из комнаты
[16:32:02] komar вышел(а) из комнаты
[17:53:01] komar вошёл(а) в комнату
[18:05:18] Zbroyar вышел(а) из комнаты
[18:24:56] ftrvxmtrx вошёл(а) в комнату
[18:59:13] f[x] вошёл(а) в комнату
[19:15:55] zinid вышел(а) из комнаты
[19:19:06] Typhon вышел(а) из комнаты
[19:31:00] f[x] вышел(а) из комнаты
[20:59:44] <gds> подскажите, чо у нас есть интересненького, чтобы целые числа, преимущественно небольшие, паковать в как можно меньшее количество байт?  Что-то вспоминается ber какой-то, но какая-то хрень ищется в интернетах.
[21:00:13] <ADEpt> ber
[21:00:29] <ADEpt> dwarf/l128 (не помню, как у него с минимальностью)
[21:00:38] <ADEpt> bcd :)
[21:02:19] <gds> bcd -- эээ :)
по "ocaml ber" ищется метаокамл.  Это хорошо, но это не то.
[21:02:39] <ADEpt> asn.1 ber можно поискать
[21:03:03] <ADEpt> я не помню, есть ли реализации на ocaml, но его самому несложно сделать
[21:05:51] <gds> "Long form. Two to 127 octets. Bit 8 of first octet has value "1" and bits 7-1 give the number of additional length octets. Second and following octets give the length, base 256, most significant digit first."
не, я лучше займусь битодрочевом в стиле "старший бит определяет, закончилось ли число, остальные биты складываем в одну кучу и декодируем по окончании".
[21:07:20] <ADEpt> gds: а, стоп, из всех спосбов кодировать asn.1 ber не самый короткий. Самый короткий - per
[21:07:24] <ADEpt> (packed encoding rules)
[21:08:33] <ADEpt> описанное битодрочево - это и есть https://en.wikipedia.org/wiki/LEB128 из dwarf
[21:12:01] <aleksey> gds: то что ты предложил в гугловских protocol buffers вроде было
[21:12:25] <gds> leb128 -- клёво, хоть не придётся изобретать своё дрочево.
[21:13:31] ADEpt ушел
[21:14:05] <gds> почитал чуток про asn.1.  Это же чем должен был быть пропитан межушный поролон, чтобы такое изобрести?
[21:18:06] tilarids вышел(а) из комнаты: Machine going to sleep
[21:28:57] <aleksey> а что не так? :)
[21:30:13] komar вышел(а) из комнаты: Logged out
[21:30:16] <gds> переусложнено.  Ну, может, у них такие задачи были, сверхсложные, и для этих задач asn.1 вроде бы ок...
[21:30:17] komar вошёл(а) в комнату
[21:50:26] <aleksey> protocol buffers проще, но мне там чего-то не хватало
[22:13:29] tilarids вошёл(а) в комнату