YS
я хз что я изучаю, просто хочу понять разницу в коде
Size: a a a
2021 January 02
MK
а по стг разница не видна?
MK
у стг и смм семантика 1:1 соотносится
YS
видно что where поднимаются в топ-левел во втором коде
YS
а у первого они в скоупе foo
YS
поэтому, я так понял, во втором случае это CAF
MK
при отсутствии оптимизаций —
-O0?к
а у первого они в скоупе foo
хмм, а при оптимизациях?
YS
хмм, а при оптимизациях?
Одно и то же
YS
Интересно без оптимизаций)
YS
ну я явно сказал -O0
MK
я был уверен что ghc по-максимуму where лифтит
там видимо как-то влияет, что x живёт в скоупе where
YS
там видимо как-то влияет, что x живёт в скоупе where
вот это и интересно!
MK
мб без оптимизаций гхц не проверяет используется ли
YS
блин, в cmm слишком здоровенная портянка(
MK
Ну да)
YS
надо наверное остановиться на стг
YS
и получше поизучать что там