MK
Но может и заинлайниться
Size: a a a
2021 February 04
DB
так а что такой инлайн даст-то
ну в том месте, где всё таки foo передаются аргументы
MK
Зависит от того как определено
DB
блин, я че-то не так сказал видимо
DB
в смысле смотри
DB
foo = fmap
bar = foo f a
bar = foo f a
DB
блин
DB
ну вот это заинлайнится внутри bar?
MK
да
MK
а вот на то, заинлайнится ли дальше фмап, это никак не влияет
MK
может да, может нет
DB
то есть foo для {-# INLINE fmap #-} непрозрачный
MK
если ты напишешь
{-# NOINLINE foo #-} то даMK
туда фмап (вроде бы как) не заинлайнится
MK
НО foo настолько маленький что с очень большой вероятностью гхц сам решит его инлайнить
DB
капец я тока путаюсь че-то)