Objective Caml - Вторник, 1 марта 2011

Objective Caml

ocaml@conference.jabber.ru

Вторник, 1 марта 2011< ^ >

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

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

GMT+3
[00:03:09] Typhon вышел(а) из комнаты: Replaced by new connection
[00:03:12] zert вышел(а) из комнаты
[00:03:15] zert вошёл(а) в комнату
[00:03:19] Typhon вошёл(а) в комнату
[00:04:01] <ygrek> http://www.lri.fr/~kalyan/functory/About.html
[00:07:39] <Typhon> что-то не айс, не открывается урл, но судя по кэшу гугла -- калян чоткое дело сделал! ygrek, ты смотрел в код? как там оно? есть где-то хг/гит репка поглядеть?
[00:07:59] Typhon вышел(а) из комнаты
[00:08:47] Typhon вошёл(а) в комнату
[00:09:38] <Typhon> реквестирую зеркало для кодэ и папиры, пожалуйста
[00:11:14] <ygrek> не смотрел ещё
[00:12:09] <ygrek> планирую, ищу замену/развитие для своих костылей^Wархитектурных решений
[00:18:49] arhibot вошёл(а) в комнату
[00:19:15] <ygrek> > Printf/Scanf: %U of %cu for UTF8.Char.t
это кстати да, \xxx для utf-а напрягают
[00:21:20] <ygrek> вау, какая лексика - debilitating
[00:21:26] <ygrek> надо запомнить
[00:26:06] <ygrek> > Another thing: it could be a nice way to transition to *immutable* unicode strings
здраво
[00:26:46] <Typhon> чот я первые n писем в тредике прочёл -- и не понял, утф8 хотят или юникод?
[00:28:37] <ygrek> разные люди хотят разное
[00:28:40] <ygrek> как обычно
[00:29:12] <ygrek> оригинальная тема насчёт лучшей поддержки _utf8_ _тулзами_
[00:35:36] zert вышел(а) из комнаты
[00:40:46] arhibot вышел(а) из комнаты
[00:40:53] zert вошёл(а) в комнату
[00:43:37] superbobry вышел(а) из комнаты
[00:50:02] ygrek вышел(а) из комнаты
[00:55:51] superbobry вошёл(а) в комнату
[01:00:18] komar вошёл(а) в комнату
[01:07:46] ermine вышел(а) из комнаты
[01:41:29] komar вышел(а) из комнаты: Replaced by new connection
[01:41:29] komar вошёл(а) в комнату
[02:13:05] komar вышел(а) из комнаты
[02:29:41] Typhon вышел(а) из комнаты
[02:41:34] zert вышел(а) из комнаты
[07:56:04] ermine вошёл(а) в комнату
[08:09:17] iNode вышел(а) из комнаты: Replaced by new connection
[08:09:17] iNode вошёл(а) в комнату
[08:57:05] gds вошёл(а) в комнату
[09:42:31] Kakadu вошёл(а) в комнату
[10:31:36] f[x] вошёл(а) в комнату
[10:51:35] ftrvxmtrx вышел(а) из комнаты
[11:08:09] Kakadu вышел(а) из комнаты
[11:11:23] Typhon вошёл(а) в комнату
[11:13:30] Kakadu вошёл(а) в комнату
[11:28:14] zert вошёл(а) в комнату
[11:38:16] Kakadu вышел(а) из комнаты
[11:38:51] <f[x]> Typhon: урла работает сейчас
[11:42:23] <Typhon> ага, круто. судя по беглому осмотру пдфки — это в сторону мэредьюса штуковина
[11:48:10] <gds> во, параллельные вычисления уже сделаны.  то есть, message passing можно делать только описания логики в пределах одного процесса.
[11:49:57] <f[x]> вычисления это ж не message passing
[11:51:48] <gds> это синхронный message passing.  вычислить на всех хостах определённую функцию = послать сообщение и получить ответ.  то есть, неплохо, в целом.
[11:56:33] <f[x]> угу, но это частный случай
[11:56:42] <f[x]> не халтурь!
[11:58:30] <gds> вот чорт :[
[12:01:44] <Typhon> а можно я тут пооффтоплю на тему шеллскриптов :-[ — реально ли две строки  разбить на "множества" (по пробелам заsplitить) и получить пересечения этих "множеств"?
[12:02:13] Kakadu вошёл(а) в комнату
[12:02:58] <gds> шеллы -- смотри IFS=" " в баше например, далее оформляй for по ним.
[12:06:21] <gds> я бы два тупых цикла организовал, было бы O(количество1 * количество2).  Если надо умнее -- выдача каждого из них в пайп к sort > tmpfile{1,2}, затем diff -Uдофига + grep "^ ".  Ну или где-то была хрень, которая делает это более естественно.
[12:11:07] <Typhon> ох, спасибо, попробую сейчас, или напишу на чём-нибудь :)
[12:12:15] <gds> смотря какая задача.  у меня ограничение в последнее время -- больше 15 строк шелла или более хитрая логика, чем обычно свойственно для шеллов -- сразу на окамле.
[12:14:45] <f[x]> у меня лимит - две строчки
[12:15:43] <gds> каждая, предполагаю, не более 1000 символов длиной?
[12:15:51] <f[x]> :)
[12:29:05] <f[x]> вики сдохла
[12:30:57] <gds> да, вчера снова было отаке отаке.  винт жалко, оно свопится, бедненькое.
надо бы какое-то ограничение поставить, типа, на количество одновременных соединений или около того.  чтобы хотя бы прибивалось.
[12:31:50] <f[x]> кэширующий прокси во фронт лучше
[12:32:00] <f[x]> там вся вики статически в память влазит
[12:32:46] <f[x]> может надо подумать какую-то распределённую систему?
[12:33:21] <gds> 1. не факт, что там злые ахтунги не будут делать pragma: no-cache или типа того, 2. не факт, что GET-запросами валят, может и POST, я не смотрел.  надо бы как-то с доступом на редактирование определиться.
[12:33:50] <f[x]> а у нас против ихней прагмы игнор_прагма
[12:37:27] <f[x]> что сейчас кошгерно для перекодирования использовать? ocaml-text?
[12:37:46] <gds> хз, я iconv вызывал по нужде.
[12:38:00] <gds> про вику -- надо думать посерьёзнее, ибо и спамло там появилось.
[12:38:41] <f[x]> в смысле утилиту дёргал?
[12:38:51] <f[x]> ocaml-text биндит libiconv
[12:39:13] <Kakadu> вроде я libocaml-iconv где-то видел
[13:02:28] <f[x]> не нашёл такой, зато вспомнил ещё netconversion
[13:43:05] komar вошёл(а) в комнату
[13:49:50] ftrvxmtrx вошёл(а) в комнату
[14:21:34] Kakadu вышел(а) из комнаты
[14:30:44] <ermine> ocaml-text не катит?
[14:36:27] <f[x]> мне netconversion наверное больше нравится
[15:11:11] <f[x]> ermine: у тебя есть камло из svn на bsd?
[15:14:13] <f[x]> только на freebsd, на остальных всё ок :
$ /opt/ocaml-3.12+svn/bin/camlp4o -str '0L'
File "/tmp/from_string8b4be1.ml", line 1, characters 0-2:
Integer literal exceeds the range of representable integers of type int64
[15:21:57] <ermine> нету
[15:51:52] gds вышел(а) из комнаты
[16:27:55] gds вошёл(а) в комнату
[16:58:58] komar вышел(а) из комнаты: Logged out
[16:59:08] komar вошёл(а) в комнату
[17:12:10] <gds> пробую использовать json-static как препроцессор.  не очень-то получается:
$ ocamlfind ocamldep -pp camlp4o -syntax json-static -modules json_type.ml
Warning: -pp overrides the effect of -syntax partly
File "json_type.ml", line 2, characters 3-4:
Parse error: ")" or [expr] expected after "(" (in [expr])
Preprocessing error on file json_type.ml
$ ocamlfind ocamldep -syntax json-static -modules json_type.ml
ocamlfind: When using -syntax, the META variable 'preprocessor' must be set
исходник -- классический пример с сайта с добавленными скобками:
type json results =
  ( < hash: string;
      top_tags: (string * int) assoc;
      url: string;
      total_posts: int > ) list
без скобок тоже ошибка, только про символ "<" после "=".
Есть идеи, как заставить всё это работать?
[17:17:13] <f[x]> -syntax camlp4o
[17:17:18] <f[x]> -pp убрать
[17:17:27] <f[x]> -package json-static
[17:18:09] <gds> шикарно!  Благодарю.
[17:57:34] iNode вышел(а) из комнаты
[19:51:34] Kakadu вошёл(а) в комнату
[20:07:22] Typhon вышел(а) из комнаты
[20:35:26] iNode вошёл(а) в комнату
[21:35:29] Typhon вошёл(а) в комнату
[22:50:46] <gds> гы.  добавляем в _tags "pkg_json-wheel" при живом "use_unix" -- ругается на дважды линкуемый "unix.cmxa".  Убираем одно из них -- всё ок.
Впрочем, понятно, что use_unix напрямую добавляет "unix.cmxa", а pkg_ работают через ocamlfind, но кривовато.
[23:13:16] <Typhon> https://forge.ocamlcore.org/projects/ocsigen-bundler/ --- очень ок
[23:31:31] <ermine> а пчу они там предпочитают даркс?
[23:32:06] <zert> кстати, в гентовском оверлее хаскеля перешли с даркса на гит
[23:32:07] <komar> Соцопрос: я один здесь даркс предпочитаю?
[23:32:13] <zert> да
[23:32:23] <komar> Какой я илитный.
[23:32:40] <zert> я ещё на jabber.ru сегодня видел _darcs где-то
[23:33:33] ermine не сжилась с дарксом
[23:33:40] <Typhon> а я с радостью недавно обнаружил, что можно бинарники даркса найти подо всякие макосы и не надо из портов ставить ГХЦ! %)
[23:34:31] <ermine> да под макосью прекрасно собираются хваскиль и даркс
[23:34:45] <ermine> вот только там smlnj чота не собирается
[23:34:47] <Typhon> может быть
[23:34:50] <Typhon> зачем только?
[23:35:00] <Typhon> если нужно только выкачать проект, который умники в даркс засунули
[23:36:29] <ermine> zert: там был даркс, да, но щас внутренняя репа на гит
[23:36:58] <ermine> zert: алексей предпочитает даркс
[23:37:23] <komar> Ху из алексей?
[23:37:36] <ermine> аффтар ежика
[23:37:55] <ermine> и ткаббера
[23:38:08] <ermine> а еще гений на projecteulers
[23:38:50] <Typhon> komar, а в двух словах, что крутого в даркс? (почему его используешь).
[23:38:54] <ermine> а вот на камле ему не удалось придумать заметного проекта :)
[23:39:35] <superbobry> шо есть ежик?
[23:39:36] <komar> Typhon: http://juick.com/1242255#10
[23:39:51] <ermine> Typhon: дык даркс появился раньше гита, а svn не децентрализованный, выбирать не из чего
[23:40:34] <ermine> когда появился svn, мне удалось на него сагитировать много народу... щас они все на гит перебежали :)
[23:41:22] <zert> ага, я помню, трогал даркс
[23:41:29] <zert> но всё же остался на свн
[23:41:34] <zert> пока не открыли гит
[23:41:57] <zert> контору сначала на свн пересадил, а потом через полтора года пришлось на гит постепенно перетягивать
[23:42:19] <Typhon> komar, в гите тоже прозрачная теория http://tartley.com/?p=1267 %)
[23:43:09] <ermine> в дарксе плохо одно - там нет бранчей
[23:43:29] <komar> Typhon: фигня.
[23:43:54] <komar> http://en.wikibooks.org/wiki/Understanding_Darcs/Patch_theory — во.
[23:44:37] <zert> бранчей нигде нет, кроме гита
[23:44:48] <zert> везде какие-то недобранчи
[23:45:52] <ermine> в свине они есть
[23:46:16] <ermine> а еще в свине есть удобные ссылки, которые в гите скромно называются субмодулями, но это не то
[23:46:31] <zert> ага, а в свине мержить бранчи — это ад
[23:46:40] <zert> так что их избегают
[23:46:51] <zert> не так полноценно используют, как в гите
[23:47:35] <ermine> ну в свине это просто виртуальная файловая система
[23:47:59] <ermine> накладываешь одно на другое
[23:48:54] <Typhon> zert, в хг named branches есть (но я ими не пользовался, поэтому не могу сказать, насколько близко к гитовым. но похоже)
[23:49:20] <zert> я про них читал. похоже, но как народ говорит, тоже не то, их тоже стараются лишний раз не делать
[23:50:09] <zert> так что только гит
[23:53:11] <ermine> да придумают еще какое-нить чудо-юдо новомодное и все мигом на него перебегут
[23:53:39] <Typhon> который патчи через твиттер будет принимать, ага
[23:53:47] <zert> ггг
[23:53:53] <zert> дык само собой придумают
[23:53:56] <zert> ибо прогресс
[23:54:01] <komar> Убейте их.
[23:54:06] <zert> но пока не придумали
[23:54:18] <zert> и патчи должны быть не более 140 символов
[23:54:26] <zert> новый взгляд на разработку
[23:54:33] <zert> нью сошыал инновейтив
[23:54:43] <Typhon> потому что все перейдут на q, 140 вполне достаточно будет
[23:54:47] <zert> модернизационные платформы для бизнеса и корпоративной этики
[23:54:49] <gds> патчи в 140 символов -- это про J/K всякие
[23:55:00] <komar> На q/j/k не перейдут никогда.
[23:55:09] <gds> нанотехнологии в прямом смысле слова.
[23:55:33] <zert> лунтик будет прямо в твитор писать патчи для законодательства
[23:56:00] <Typhon> кстати, запушить на гитхаб УК РФ -- это ок, пожалуй
[23:56:27] <zert> только формат какой-нибудь пригодный сделать
[23:56:29] <gds> а мне скоро придётся бранчи в hg использовать на полную.  вот заодно проверим, что и как там.  named branches там есть, работают, свою функцию выполняют, но поглядим, хороши ли они в деле.
[23:56:36] <zert> asciidoc, например
[23:57:00] <gds> формат должен быть декларативный, типа пролога какого-нибудь.  Заодно будет удобно искать лазейки и противоречия.
[23:57:09] <zert> гггггг
[23:57:15] <zert> оно тогда работать не будет
[23:57:21] <zert> ибо лазеек овер 9000%
[23:57:37] <zert> это ж сразу экстремизм и попрание устоев
[23:57:56] <gds> ну ладно, поправлю: искать более грамотные и пригодные лазейки.  И да, экстремизм, к сожалению.
[23:59:14] <Typhon> zert, "Сраный емакс загружается три минуты" -- (setq vc-handled-backends nil) -- ускоряет. кстати, как этот ваш жуйк читать бы нормально? в рсс он, кажется, пачками по стотысяч сообщений в день кидает, а не как пришло