Objective Caml - Понедельник, 22 апреля 2013

Objective Caml

ocaml@conference.jabber.ru

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

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

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

GMT+4
[00:00:32] komar вошёл(а) в комнату
[00:52:17] Kakadu вышел(а) из комнаты
[02:43:19] komar вышел(а) из комнаты: Logged out
[03:01:40] tilarids вошёл(а) в комнату
[03:06:40] tilarids вышел(а) из комнаты
[06:56:16] f[x] вошёл(а) в комнату
[09:52:33] f[x] вышел(а) из комнаты
[10:05:36] komar вошёл(а) в комнату
[10:24:01] ermine вошёл(а) в комнату
[10:39:27] komar вышел(а) из комнаты: Logged out
[10:45:42] f[x] вошёл(а) в комнату
[10:51:44] ftrvxmtrx вышел(а) из комнаты
[11:16:22] Kakadu вошёл(а) в комнату
[11:30:08] komar вошёл(а) в комнату
[11:33:29] Typhon вошёл(а) в комнату
[11:42:51] <f[x]> gds: у меня ack2 на 25% медленне
[11:43:48] <f[x]> в lambda не видно причины
[11:44:22] ftrvxmtrx вошёл(а) в комнату
[11:45:00] <f[x]> в cmm тоже
[11:51:07] <f[x]> в одном случае всё оборачивается в curry2, в другом в tuplify2, но!
[11:51:19] <f[x]> ассемблерный код цикла у них полностью одинаковый
[11:51:31] <f[x]> wtf?
[11:52:39] <f[x]> ещё странный асм :
    movq    camlAck2__1@GOTPCREL(%rip), %rax
    movq    $3, %rbx
    movq    $9, %rax
    call    camlAck2__ack_1030@PLT
[11:53:03] <f[x]> сначала в rax что-то пишет, потом переписывает
[11:56:17] <f[x]> я требую объяснений!
[11:56:56] <Kakadu> Так всё-таки лучше когда всё на туплах или на каррированных функциях?
[11:57:19] <komar> Здесь почему-то лучше туплы.
[11:57:57] <komar> Олсо:
> C: 1.6s, gcc -O3 (with gcc 4.7.2)
> OCaml: 3.6s, ocamlopt (with ocaml 3.12.1)
> Haskell: 1.8s ajhc (with ajhc 0.8.0.4)
лолшто
[11:58:57] <f[x]> komar: специальный компилер для микробенчмарков обв
[11:59:07] <f[x]> коммандалайновых опций уже не хватает
[11:59:08] <komar> Как удалось?
[11:59:21] <f[x]> Kakadu: лучше когда об этом не думать
[11:59:36] <f[x]> киньте ссылочку ещё раз на тот ад
[11:59:43] <komar> http://stackoverflow.com/questions/16115815/ackermann-very-inefficient-with-haskell-ghc
[12:08:19] <f[x]> вот ещё один неадекват - http://juick.com/zamotivator/2320702#11
[12:10:51] <komar> > нету системы сборки
Да как вы задолбали.
[12:13:12] <f[x]> гг :)
[12:16:32] <komar> http://users.livejournal.com/_adept_/117010.html ← а-а-а!111
[12:17:03] <f[x]> комар вылез из криокамеры
[12:17:15] <komar> Я не видел.
[12:17:44] <f[x]> тут тоже обсуждали, 100%
[12:20:40] <f[x]> gds: есть идеи насчёт туплов?
[12:21:50] <Kakadu> А замотиватор хрень сказал про то, что Скала из семейства ML или я не так понял?
[12:22:22] <komar> Это же замотиватор.
[12:27:58] <komar> Вот вы мне, друзья, объясните по хардкору.
[12:28:23] <komar> Есть у меня в проекте пара файлов, требущих хоть сколько-нибудь нестандартного подхода.
[12:28:35] <komar> Например, там лежит пара шаблонов для моего велосипеда http://komar.bitcheese.net/en/code/ecaml
[12:28:56] <komar> Допустим, я хочу использовать СИСТЕМУ СБОРКИ.
[12:29:31] <komar> Мне можно быстренько написать правила для компиляции этих шаблонов, не рожая при этом тонну говна на языке, на котором эта система сборки написана?
[12:29:53] <komar> В случае мейкфайла очевидно, как день Божий, например.
[12:31:27] <f[x]> в случае makefile ты рожаешь тонну говна на шелле
[12:31:38] <f[x]> rule ("ragel: .ml.rl -> .ml") ~dep:"%.ml.rl" ~prod:"%.ml" begin fun env _ ->
  let dep = env "%.ml.rl" and prod = env "%.ml" in
  Cmd (S[ P"ragel";
    T(tags_of_pathname prod ++ "ragel");
    A "-O";
    A "-F1";
    A dep;
    A"-o"; A prod;
  ])
end;;
[12:31:47] <f[x]> тоже самое только на камле
[12:31:55] <f[x]> более вербозно, да
[12:32:18] <f[x]> либо я иногда добавляю цель gen в makefile где генерится всё статическое
[12:32:30] <f[x]> бонус в том что можно коммитить то что сгенерено
[12:33:30] <f[x]> * то же
[12:33:42] <komar> .eml.ml:
    ecaml -d -p 'Buffer.add_string buf' $<
[12:33:47] <komar> Тонна говна на шеле?
[12:33:53] <f[x]> я утрирую
[12:33:56] <f[x]> ясно же
[12:33:57] <komar> А я нет.
[12:34:19] <komar> Меня ваш языковой уже задолбал, я не могу его терпеть больше.
[12:34:21] <f[x]> ну если тебе прям так сложно три строки на камле вместо этого написать - ну ок
[12:34:30] <f[x]> я ж говорю
[12:34:41] <komar> s/три строки/тонну говна/
[12:34:48] <komar> Я знаю, что ocaml тюринг-полный.
[12:34:52] <f[x]> кто теперь утрирует?
[12:34:56] <f[x]> а шелл нет?
[12:34:57] <komar> На нем вообще все что угодно можно написать!!!!111111
[12:35:00] <f[x]> о чём мы спорим?
[12:35:07] <komar> Я говорю о том, что окамл плохо для этого подходит.
[12:35:15] <f[x]> фор хум хау
[12:35:47] <f[x]> и я тебе говорю по-русски - никто не заставляет писать это на камле
[12:36:00] <komar> Пока.
[12:36:01] <f[x]> оставляй пожалуйста жту цель в makefile
[12:36:16] <f[x]> остальное сделает камлобилд
[12:36:30] <f[x]> с третьей стороны тебя никто даже не заставляет камлобилд юзать
[12:37:03] <f[x]> чего так возбуждаться? хочешь вручную мейкфайлы писать - пиши - /dev/null тебе судья
[12:37:32] <komar> Я прямо сейчас пишу на языке, где все уже хорошо.
[12:37:49] <komar> И менеджер пакетов есть, и менеджер компиляторов, и собственный мейк, и все на свете.
[12:37:53] <f[x]> это брейнфак что-ле?
[12:37:56] <komar> Это ruby.
[12:38:19] <f[x]> опять рпро никс разговор будет?
[12:38:25] <f[x]> ты уже переписал весь мир на него?
[12:38:30] <f[x]> со времён прошлого разговора?
[12:38:45] <komar> Не-а.
[12:38:45] <f[x]> или только набрасывать успеваешь? ;)
[12:38:54] <f[x]> ну тогда не о чем и говорить
[12:39:05] <f[x]> а товарищи по партии в это время опам запилили
[12:39:09] <f[x]> и все его будут юзать
[12:39:15] <f[x]> потому что они делают, а не говорят
[12:39:31] <komar> Людям некогда мейкфайлы писать, им работать надо?
[12:39:41] <komar> С таким подходом надо и xml в стдлибу запилить.
[12:39:50] <f[x]> передёргиваешь
[12:40:16] <f[x]> люди делают как им удобно и используют то что им удобно
[12:40:25] <f[x]> и перейдут на что-то то более удобное что будет
[12:40:59] <f[x]> я перешёл с батников на мейкфайлы, потом на камлобилд как только он появился (при чём на винде!), потом на оазис частично
[12:41:44] <f[x]> и думаю переходить на опам
[12:41:56] <f[x]> потому что он покроет мой юзкейс локальных бандлов
[12:43:12] <f[x]> тут прибегаешь ты и кричишь какая плохая тулза которая _сейчас_ решает _мою_ проблему, и что нужно юзть какую-то другую тулзу от которой мне будет счастье, лет через двадцать
[12:43:15] <f[x]> офигеть просто, ну
[12:44:13] <komar> Я всегда так делаю.
[12:44:18] <f[x]> я знаю :)
[12:44:25] <f[x]> пощады не будет
[12:47:08] <f[x]> при существующих менеджерах пакетов - дев-среду лучше держать мимо них
[12:47:18] <komar> С таким подходом ты взял самый хреновый язык, какой только мог.
[12:47:21] <komar> Уже везде все хорошо.
[12:47:24] <f[x]> и билдить всё в статические бинари без динамических зависимостей
[12:47:30] <komar> Один окамл плетется в хвосте.
[12:47:48] <f[x]> komar: я не выбираю язык по "тулчейн"у
[12:48:03] <f[x]> тулчейн я могу пережить/подождать/юзать мейкфайлы
[12:48:19] <f[x]> а вот всякое гуано в языке я долго терпеть не смогу
[12:48:31] <komar> Вот и я так же.
[12:48:35] <f[x]> дай пять
[13:24:40] komar вышел(а) из комнаты
[13:24:45] komar вошёл(а) в комнату
[15:18:12] f[x] вышел(а) из комнаты
[15:29:50] komar вышел(а) из комнаты
[15:29:52] komar вошёл(а) в комнату
[15:43:35] komar вышел(а) из комнаты
[15:43:37] komar вошёл(а) в комнату
[16:38:57] komar вышел(а) из комнаты: Logged out
[18:23:15] ftrvxmtrx вышел(а) из комнаты
[18:25:11] komar вошёл(а) в комнату
[19:18:23] Kakadu вышел(а) из комнаты
[19:30:07] Typhon вышел(а) из комнаты
[19:53:21] ftrvxmtrx вошёл(а) в комнату
[20:07:43] UncleVasya вошёл(а) в комнату
[20:19:01] Kakadu вошёл(а) в комнату
[20:44:37] tilarids вошёл(а) в комнату
[21:19:20] komar вышел(а) из комнаты: Replaced by new connection
[21:19:21] komar вошёл(а) в комнату
[22:22:50] tilarids вышел(а) из комнаты
[22:31:55] tilarids вошёл(а) в комнату
[23:02:02] Kakadu вышел(а) из комнаты
[23:02:55] Kakadu вошёл(а) в комнату
[23:17:39] ermine вышел(а) из комнаты
[23:37:51] debasher вошёл(а) в комнату