Objective Caml - Среда, 10 ноября 2010

Objective Caml

ocaml@conference.jabber.ru

Среда, 10 ноября 2010< ^ >

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

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

GMT+3
[00:24:38] ygrek вышел(а) из комнаты: Replaced by new connection
[00:24:39] ygrek вошёл(а) в комнату
[00:29:10] ermine вышел(а) из комнаты
[00:31:09] komar вышел(а) из комнаты
[00:32:12] komar вошёл(а) в комнату
[00:46:06] Typhon вошёл(а) в комнату
[00:52:44] serp256 вышел(а) из комнаты
[00:57:29] ygrek вышел(а) из комнаты
[01:18:20] Kakadu вышел(а) из комнаты
[01:24:26] arhibot вышел(а) из комнаты
[01:50:22] <Typhon> кто пробовал cowboy? оно работает? насколько оно работает? и какой код оно генерирует? человекочитаемый, или как swig какой-нибудь?
[02:14:19] komar вышел(а) из комнаты
[03:34:48] Typhon вышел(а) из комнаты
[06:52:05] ʇsʎɯ вышел(а) из комнаты
[06:52:07] ʇsʎɯ вошёл(а) в комнату
[07:55:25] iNode вышел(а) из комнаты
[08:13:26] serp256 вошёл(а) в комнату
[08:41:39] iNode вошёл(а) в комнату
[08:44:13] serp256 вышел(а) из комнаты
[09:02:15] gds вошёл(а) в комнату
[09:03:35] Typhon вошёл(а) в комнату
[09:56:13] <gds> возникла идея о том, что правила разбиения входной последовательности юникодных символов на токены может состоять из некоторых исключений (cr/lf, "(", "_"), однако в целом быть описываемыми "общими категориями юникодных символов", какие описаны в camomile'овском модуле UCharInfo (тип general_category_type).  Идея совсем больная, или что-то хорошее в ней есть?  (собственно, не-латинские идентификаторы мне не особо нужны, чай не адын-эс буду парсить, а вот разные математические символы для синтаксиса (для операторов) -- вполне хотелось бы).
[10:14:53] serp256 вошёл(а) в комнату
[10:19:57] iNode вышел(а) из комнаты
[10:23:26] iNode вошёл(а) в комнату
[10:23:31] iNode вышел(а) из комнаты
[10:32:13] ʇsʎɯ вышел(а) из комнаты
[10:35:43] ygrek вошёл(а) в комнату
[10:54:40] komar вошёл(а) в комнату
[11:02:42] Kakadu вошёл(а) в комнату
[11:04:36] <Kakadu> gds: я забыл, ты планируешь делать синтаксис а-ля camllight и python или классический?
[11:05:19] komar вышел(а) из комнаты
[11:10:43] iNode вошёл(а) в комнату
[11:22:53] ygrek вышел(а) из комнаты
[11:26:07] ermine вошёл(а) в комнату
[11:32:01] <gds> Kakadu: синтаксис -- не двумерный точно.  Основа близка к сишному/жабоскриптовскому синтаксису.  Определения типов -- окамловские, стилизованные под сишечку.  Без карринга, без функционального дрчева.  Постараюсь LL(1).  Определения "своего" синтаксиса -- видимо похоже на agda'вские (пример -- с третьей страницы этой пдф: http://www.cse.chalmers.se/~ulfn/papers/afp08/tutorial.pdf )
[11:32:44] <Kakadu> LL(1)????????????
[11:32:57] f[x] вошёл(а) в комнату
[11:33:05] <Kakadu> по-моему даже паскаль не LL(1)
[11:40:41] <gds> имхо реально, учитывая http://ru.wikipedia.org/wiki/LL%281%29 .  Вот ещё нашлось про revised syntax, который _почти_ LL(1): http://caml.inria.fr/pub/ml-archives/caml-list/2007/05/f7c12e541c5617c67a375f6d43a30aa2.en.html  (впрочем, ниже по треду лучше не читать, так как за три года моё мнение сильно изменилось).
[12:26:34] komar вошёл(а) в комнату
[13:08:48] zert вошёл(а) в комнату
[13:25:20] ʇsʎɯ вошёл(а) в комнату
[13:32:04] ʇsʎɯ вышел(а) из комнаты
[13:36:50] ʇsʎɯ вошёл(а) в комнату
[13:53:13] f[x] смотрит на http://git.ocamlcore.org/cgi-bin/gitweb.cgi?p=ocaml-mysql/ocaml-mysql.git;a=commitdiff;h=6b8ebc96f487783761b2f265dc779c21036d178a и на https://build.ygrek.org.ua/hudson/job/ocaml-mysql/6/label=master,ocaml=default/console и на gds
[13:54:31] <Typhon> укорительно? :-)
[13:55:34] <gds> f[x]: а оно вообще есть, это -lmysql?  Вопрос глупый, понимаю, но может грабли где-то рядом.  Или надо -lmysqlclient?
[13:56:00] <f[x]> недоумевающе
[13:56:30] <f[x]> по крайней мере на линуксах -lmysqlclient подставляет configure и всё ок
[13:56:49] <f[x]> т.е. видимо -lmysql это специально для винды
[13:57:28] <f[x]> Makefile.msvc линкуется с libmysql.lib
[13:57:59] <f[x]> а для mingw a генерится из lib по README
[13:58:44] <f[x]> ага (cd "$M/lib" && reimp libmysql.lib && mv liblibmysql.a libmysql.a) <-- т.е. просто mv в libmysqlclient.a и убрать OCAMLLDFLAGS из README
[13:58:49] <f[x]> * из Makefile
[13:59:06] <gds> да, если -lmysqlclient таки присутствует в командной строке.
[13:59:23] <gds> тоже этот readme нашёл и прочитал.  Но что-то тут не так.  mv не надо, может cp?
[13:59:30] <f[x]> засетапаю билд на винде и проверю
[13:59:35] <f[x]> хз, это ты писал :)
[14:00:18] <gds> писал-то я, но вот что на самом деле имел ввиду...
[14:00:28] <f[x]> интересно ещё как весь этот бардак с кучей форков mysql'а разруливается
[14:01:11] <Typhon> на postgresql.org он разруливается, я думаю :-)
[14:01:22] <gds> Typhon: идеологически -- да :)
[14:02:05] <gds> f[x]: если правильно помню, libmysql -- строго больше, чем libmysqlclient, так как даёт ещё какие-то функции.  Но вот не буду утверждать.  А так -- может пропатчить readme (добавить cp), убрать -lmysql, убедившись, что -lmysqlclient таки есть в ком.строке?  хз.
[14:04:59] <f[x]> имхо libmysql это просто название на винде, а libmysqlclient - на nix, плюс под виндой статическая либа называется mysqlclient.lib
[14:06:20] <f[x]> а может ты прав
[14:09:48] <f[x]> и чтобы я ещё нашёл где-то внятное описание в чём разница между libmysqlclient.so и _r.so
[14:11:43] <gds> _r -- reentrant, можно линковать с тредами.  Но это -- из глубин ассоциативной памяти.
[14:13:15] <f[x]> это да, только что это значит
[14:22:23] Typhon вышел(а) из комнаты
[17:32:32] gds вышел(а) из комнаты
[18:19:33] komar вышел(а) из комнаты: Replaced by new connection
[18:19:34] komar вошёл(а) в комнату
[18:30:16] Kakadu вышел(а) из комнаты
[18:37:46] f[x] увидел ocaml-zeromq и уже было обрадовался
[18:43:18] komar надебажился и решил, что с исключениями надо завязывать.
[18:56:13] gds вошёл(а) в комнату
[18:59:41] <f[x]> т.е. по факту кроме ocaml-stomp либ ни для каких mq больше нет?
[19:00:03] <f[x]> ещё есть для beanstalkd непонятной свежести
[19:01:22] Kakadu вошёл(а) в комнату
[19:09:05] <f[x]> > increase default minor heap size
[19:13:32] <gds> f[x]: increase -- про default?  ну чо, может перекомпиляцию имеют ввиду.
[19:14:15] <f[x]> в смысле по дефолту minor heap будет нормального размера
[19:16:16] <gds> если не лень, расскажи, откуда цитата.  окамловский changelog?
[19:17:41] <f[x]> угу, 3.12
[19:19:17] <gds> это ок, но для мутабельных алгоритмов будет не здорово.  Хотя, в целом, minor heap надо увеличивать сильно.  И провоцирует на функциональный стиль, и шустренько так получается.
[19:19:46] f[x] всегда увеличивает
[19:20:10] <gds> enlarge your minor heap size!
[19:29:33] serp256 вышел(а) из комнаты
[19:45:04] <komar> erlange
[20:13:13] ygrek вошёл(а) в комнату
[20:13:27] ygrek вышел(а) из комнаты
[20:59:10] ygrek вошёл(а) в комнату
[21:00:13] gds вышел(а) из комнаты
[21:00:32] gds вошёл(а) в комнату
[21:03:06] Typhon вошёл(а) в комнату
[21:05:42] <Typhon> так zeromq это не совсем про mq, поэтому и zero. ocamlmq так и не попробовал? вроде положительно отзывались (в eigenclass )
[21:08:00] <Typhon> это все f[x]'у
[21:35:03] <ygrek> да, zeromq видимо не подойдёт
[21:35:54] <ygrek> ocamlmq вариант
[21:37:53] <Typhon> еще в качестве очереди сообщений хвалили redis-mq. типа маленький простой, что надо -- делает. к redis окамловые биндинги есть, но я хз, для redismq нужно что-то свое или подойдет
[21:39:38] <Typhon> (не биндинги, а библиотека, скорее)
[21:40:14] <ygrek> у redis'а persistence "оригинальный"
[21:40:54] <ygrek> наверное самое простое и минимальное будет ocamlmq, надо проверить
[21:50:36] komar вышел(а) из комнаты
[21:51:31] komar вошёл(а) в комнату
[21:53:15] komar вышел(а) из комнаты
[22:06:32] gds вышел(а) из комнаты
[22:07:33] gds вошёл(а) в комнату
[22:20:52] ʇsʎɯ вышел(а) из комнаты
[22:29:01] arhibot вошёл(а) в комнату
[22:36:23] zert вышел(а) из комнаты
[22:43:00] zert вошёл(а) в комнату
[23:15:15] ermine клепает смтп-клиента для рассылки спама
[23:15:40] <ermine> с использованием lwt, фич esmtp и правильной кодировки
[23:18:11] <ermine> sendmail из ocamlnet только в тоску вгоняет
[23:18:30] komar вошёл(а) в комнату
[23:20:07] komar пользуется Lwt_process.shell "mail"
[23:23:51] <ermine> а ты как используешь пайпилинг в такой команде?
[23:34:55] <komar> Пайпиче?
[23:35:09] <komar>   let message = ... in
  let command = ("mail", [|"mail"; "-s"; subject; email|]) in
  let p = Lwt_process.open_process_full ~timeout:mail_timeout command in
  Lwt_io.write p#stdin message >>= fun () ->
  p#close >>= function
  | Unix.WEXITED 0 -> return ()
  | s -> failure ~c:"send_email" s
[23:42:44] <ermine> это не пайпилинг, а кладение в долгий ящик в очередь молча
[23:43:21] <ermine> неэффективная спамилка
[23:47:58] gds вышел(а) из комнаты