Тогда я комплексую

Ну, ладно, в любом событии надо искать что-то хорошее. Теперь есть цель быть как минимум не хуже через полтора годика👀

Справедливости ради, свободного времени у меня дофига (и практически все я трачу на хаскель), так что мои полтора года наверное можно за 3 считать

Да, действительно, слона-то я и не заметил. Спасибо.

Когда речь об аллокациях лучше не в кору а на стг смотреть, там аллокации это только let, так что сразу видно.

Такое

avg1 :: [Double] -> Double
avg1 = go 0 0
  where
  go :: Double -> Double -> [Double] -> Double
  go s n [] = s/n
  go s n (x:xs) = go (s+x) (n+1) xs

Без оптимизаций даёт такое стг:

go_r1dg =
    sat-only \r [s_s1dk n_s1dl ds_s1dm]
        case ds_s1dm of {
          [] -> / $fFractionalDouble s_s1dk n_s1dl;
          : x_s1do xs_s1dp ->
              let {
                sat_s1ds =
                    \u []
                        let { sat_s1dr = NO_CCS D#! [1.0##];
                        } in  + $fNumDouble n_s1dl sat_s1dr; } in
              let { sat_s1dq = \u [] + $fNumDouble s_s1dk x_s1do;
              } in  go_r1dg sat_s1dq sat_s1ds xs_s1dp;
        };

Видно, что на каждом вызове три аллокации: литерал 1(!), s и n

с чем я не согласен по очень простой причине: код который написан так, что работает нормально только с оптимизатором, невозможно запускать из репла, что очень сильно усложняет жизнь

репл же на прототипирование/разработку

дальше уже игры с бубном

А чё в репле нельзя скомпилированный код запускать?

ну вот разрабатывать может и не получаться, если какая-то функция начинает вместо секунд работать 10 минут

реальный случай бтв, никогда еще не получалось дождаться завершения работы того кода в репле, который в скомпилированном виде работал 15 секунд, приходится постоянно пересобирать и перезапускать

Дак может компилировать перед вызовом в репле?

а как?

Оно само должно найти обжект файлы вроде

Кабалу можно builddir передать, где собранное

stack ghci --ghc-options "-fobject-code -O2" ftw

так а какой смысл запускать из репла, если нужно будет заранее собрать вне репла

мне хочется из репла одной командой запустить то что я сделал и посмотреть результат, а не начинать ритуал прекомпиляции

в одной сессии терминала репл, в другой — бинарь..

:set -fobject-code
:load