к
Size: a a a
2021 January 02
DB
Ну от стека-то так и не избавились, кажется (
YS
какой флажок дампа в cmm обеспечивает наибольшую ясность? .-.
MK
я всегда начинаю с
-dsuppress-all -dsuppress-uniquesMK
но ты уверен что тебе действительно надо смотреть в cmm?)
YS
ну, в стг я уже посмотрел)
YS
надо поглубже
MK
а что хочешь увидеть?
YS
(это не по работе, это я для себя)
YS
а что хочешь увидеть?
исследую разницу в генерируемом коде при отсутствии оптимизаций)
YS
ща
YS
foo :: Int -> Int
foo x = map fib [0..] !! x
where
fib 0 = 1
fib 1 = 1
fib n = foo (n-2) + foo (n-1)
foo :: Int -> Int
foo = (map fib [0..] !!)
where
fib 0 = 1
fib 1 = 1
fib n = foo (n-2) + foo (n-1)YS
без оптимизаций первый не мемоизируется и работает долго
YS
второй мемоизируется
MK
эта-конверсию изучаешь?
MK
(я не знаю как именно там что работает если что)
YS
хочу в кишки залезть и глянуть, как оно там
YS
эта-конверсию изучаешь?
скорее изучаю как работают CAF'ы
YS
наверное(