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

ocaml@conference.jabber.ru

Вторник, 17 сентября 2013< ^ >

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

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

GMT+4
[00:21:00] ForNeVeR вышел(а) из комнаты
[00:21:08] ForNeVeR вошёл(а) в комнату
[00:45:03] Kakadu вышел(а) из комнаты
[00:59:12] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[00:59:18] ForNeVeR вошёл(а) в комнату
[04:34:21] Zbroyar вышел(а) из комнаты
[05:04:03] ocaml вошёл(а) в комнату
[05:22:50] f[x] вошёл(а) в комнату
[05:27:52] <f[x]> эм, всё чтение работает в байтах
[05:28:06] <f[x]> т.е. для чтения bigarray это как абстрактная хрень
[05:28:28] <f[x]> всё равно какой ему тип приписали - read/write оперируют в байтах
[06:23:13] f[x] вышел(а) из комнаты
[06:24:26] zinid вошёл(а) в комнату
[06:31:06] ocaml вышел(а) из комнаты
[06:31:11] ocaml вошёл(а) в комнату
[06:46:49] f[x] вошёл(а) в комнату
[06:55:19] ocaml вышел(а) из комнаты
[06:55:28] ocaml вошёл(а) в комнату
[09:41:03] f[x] вышел(а) из комнаты
[09:53:34] ocaml вышел(а) из комнаты
[09:53:36] ocaml вошёл(а) в комнату
[10:28:27] <gds> f[x]: ы.  type iov = { iov_buf : 'a carray8 ; .. }.  фиксируем на "так, как было в buffer"?
[10:36:44] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[10:37:45] ForNeVeR вошёл(а) в комнату
[10:38:57] f[x] вошёл(а) в комнату
[10:39:32] <f[x]> 'a iov не?
[10:40:05] <irezvov> приветствую
[10:40:12] <irezvov> а вы что-то общее пишете?
[10:41:37] <f[x]> угу, а иначе зачем мы здесь сегодня вместе собрались?
[10:41:54] <irezvov> здорово
[10:42:01] <irezvov> просто пытаюсь проникнуца камлотой
[10:42:08] <irezvov> хотелось бы смотреть что вы делаете
[10:42:12] <irezvov> а еще лучше понимать
[10:42:18] <irezvov> есть ссылка на гитхаб?
[10:43:09] <f[x]> ну "мы" много что делаем, e.g. - https://github.com/ygrek/extunix
[10:43:47] <f[x]> или вот https://github.com/camlunity/kamlo_wiki/blob/master/RelatedSoftware.md
[10:44:46] <irezvov> премного благодарен
[10:45:03] <irezvov> пожалуй начну с сульки :)
[10:46:09] <irezvov> кстати на почитать что-нибудь современное типа Real World OCaml еще есть?
[10:46:28] <irezvov> хочется больше мяса и упора на систему типов
[10:46:34] <f[x]> туториал на ocaml.org
[10:46:40] <f[x]> про систему типов - блоги
[10:46:46] <f[x]> и рассылку
[10:47:17] <f[x]> про сульси - опам репа с зависимостями - https://github.com/camlunity/repo
[10:48:01] <f[x]> кста, gds, я там увидел ocaml-dbf в списке - может релизнешь? запихну в опампам
[10:50:48] <gds> f[x]: 'a iov можно, но нужно ли лишний факт иметь, что все iov_buf одинаково типизированы?  А более хитрые вещи тут не нужны.
С другой стороны, если vmsplice получает iov array, значит пользователь как-нибудь да определится, какой тип использовать.
В общем, мне пофиг тут.  Делать 'a iov?
[10:52:18] <f[x]> имхо это лучше чем фиксировать, пусть будет 'a iov
[10:52:51] <gds> ocaml-dbf релизнуть -- в рамках forge.ocamlcore.org?
[10:53:08] <f[x]> угу, чтобы .tar.gz был
[10:53:35] <gds> идею понял, займусь в ближайшее время.
[10:54:22] <f[x]> (для ленивых - если autoconf нет - то автоматические tar.gz с тэгов на гитхабе тоже годятся)
[11:04:03] <gds> а как autoconf влияет тут?
[11:10:19] <f[x]> с autoconf'ом обычно надо делать ./autogen.sh перед созданием тарболла
[11:10:29] <f[x]> т.е. обычно configure скрипт не держат в vcs
[11:36:09] ocaml вышел(а) из комнаты
[11:36:22] ocaml вошёл(а) в комнату
[11:39:30] ingham.ka вошёл(а) в комнату
[11:48:58] ermine вошёл(а) в комнату
[11:57:11] Kakadu вошёл(а) в комнату
[11:57:26] Kakadu вышел(а) из комнаты
[11:57:34] Kakadu вошёл(а) в комнату
[12:09:15] <ingham.ka> Всем привет. Подскажите способ как заменить HTML character entity references на соответсвующие символы?
[12:10:35] <f[x]> например так : let htmldecode = Netencoding.Html.decode ~in_enc:`Enc_utf8 ~out_enc:`Enc_utf8 ()
[12:13:37] <ingham.ka> спасибо за наводку. А может быть есть какой-нибудь простой способ получить из html plaintext? А то я сейчас на потенциально непростом пути, разбора html и вырезания оттуда ненужных тэгов.
[12:14:04] <f[x]> а что там такого потенциально непростого?
[12:14:56] <f[x]> простой способ - взять что-то готовое сделанное другими
[12:15:34] <f[x]> bolierpipe, tidy+xmlm, etc
[12:17:48] <ingham.ka> Да вообщем то ничего особо сложного. Просто на опыте использования и модификации санитайзера, могу сказать что много нюансов. Собственно конвертор и пишу на базе санитайзера
[12:20:46] Zbroyar вошёл(а) в комнату
[12:45:30] ocaml вышел(а) из комнаты
[12:45:38] ocaml вошёл(а) в комнату
[13:44:07] Zbroyar вышел(а) из комнаты
[13:44:31] Zbroyar вошёл(а) в комнату
[14:46:49] ocaml вышел(а) из комнаты
[15:07:05] ocaml вошёл(а) в комнату
[15:45:12] f[x] вышел(а) из комнаты
[15:50:34] f[x] вошёл(а) в комнату
[15:51:54] f[x] вышел(а) из комнаты
[15:55:43] komar вышел(а) из комнаты: Logged out
[15:56:23] komar вошёл(а) в комнату
[15:56:29] komar вышел(а) из комнаты: Logged out
[16:02:49] komar вошёл(а) в комнату
[16:03:35] komar вышел(а) из комнаты: Logged out
[16:11:33] komar вошёл(а) в комнату
[16:27:47] komar вышел(а) из комнаты: Logged out
[16:36:04] komar вошёл(а) в комнату
[17:08:31] ocaml вышел(а) из комнаты
[17:12:30] ocaml вошёл(а) в комнату
[17:21:21] ocaml вошёл(а) в комнату
[17:22:38] ocaml вышел(а) из комнаты
[18:27:21] ocaml вышел(а) из комнаты
[18:36:04] ocaml вошёл(а) в комнату
[18:37:35] ocaml вышел(а) из комнаты
[18:43:07] ocaml вошёл(а) в комнату
[18:43:24] ocaml вышел(а) из комнаты
[18:45:53] ermine вышел(а) из комнаты: Replaced by new connection
[18:45:59] ermine вошёл(а) в комнату
[18:46:04] ermine вышел(а) из комнаты
[18:53:47] ocaml вошёл(а) в комнату
[18:59:40] ermine вошёл(а) в комнату
[19:59:51] ingham.ka вышел(а) из комнаты
[20:11:46] zinid вышел(а) из комнаты
[20:19:26] Kakadu вышел(а) из комнаты
[20:19:56] f[x] вошёл(а) в комнату
[20:47:36] ocaml вышел(а) из комнаты
[21:38:13] <gds> f[x]: в общем, сделал я bigarray ещё днём, но сейчас пока добираюсь до места в своём проекте, на котором можно было бы потестить изменения и убедиться, что читает-пишет правильно, хотя бы в частных случаях.  А сколько добираться -- не знаю, наверное завтра что-нибудь скажу.
[21:38:49] <f[x]> ок, no hurry no worry
[22:08:57] f[x] вышел(а) из комнаты
[22:23:28] Zbroyar вышел(а) из комнаты
[23:55:43] ermine вышел(а) из комнаты