Size: a a a

2021 February 04

к

кана in Haskell
ну в целом когда {-# INLINE x #-} то наверное вполне себе так
источник

к

кана in Haskell
не уверен, ghc всегда инлайнит, или просто получает право инлайнить
источник

IK

Ilya Kos in Haskell
Не всегда
источник

IK

Ilya Kos in Haskell
Зависит от настроения компилятора и флагов, которые ему передали
источник

к

кана in Haskell
так, погуглил, вроде таки всегда, но только если в функцию все аргументы передали
источник

к

кана in Haskell
а ну и при -O1
источник

DB

Danil Berestov in Haskell
кана
так, погуглил, вроде таки всегда, но только если в функцию все аргументы передали
тоесть если
foo = fmap
то всё, инлайн отменяется?)
источник

к

кана in Haskell
ну да
источник

MK

Maxim Koltsov in Haskell
Danil Berestov
тоесть если
foo = fmap
то всё, инлайн отменяется?)
у этой функции 0 аргументов
источник

MK

Maxim Koltsov in Haskell
а вообще у гхц хитрые способы подсчёта arity там, да
источник

DB

Danil Berestov in Haskell
Maxim Koltsov
у этой функции 0 аргументов
не понел
источник

MK

Maxim Koltsov in Haskell
Danil Berestov
не понел
Слева от равно ничего нет
источник

к

кана in Haskell
источник

к

кана in Haskell
Danil Berestov
тоесть если
foo = fmap
то всё, инлайн отменяется?)
так, foo заинлайнится, если {-# INLINE foo #-}
источник

к

кана in Haskell
я имею в виду что тело fmap не заинлайнится
источник

DB

Danil Berestov in Haskell
ну да, я так и понял
источник

DB

Danil Berestov in Haskell
вообще конечно печально, учитывая что мы тут на функциональном языке пишем
источник

к

кана in Haskell
так а что такой инлайн даст-то
источник

DB

Danil Berestov in Haskell
и вообще говоря способов как-то дёрнуть fmap великое множество
источник

MK

Maxim Koltsov in Haskell
кана
я имею в виду что тело fmap не заинлайнится
Не следует что оно заинлайнится *
источник