jesper, 1 month ago This is a great blog post on the WellTyped blog on specialization in Haskell! It's a good reminder that I (or someone) should really get around to getting rid of -fexpose-all-unfoldings and -fspecialize-agressively in the Agda codebase. well-typed.com/blog/2024/04/choreographing-specialization-pt1/ (Also I didn't know about -flate-specialise and -fpolymorphic-specialisation, though I think I'd rather avoid relying on even more flags.) #Haskell #compiler #performance #blog
This is a great blog post on the WellTyped blog on specialization in Haskell! It's a good reminder that I (or someone) should really get around to getting rid of -fexpose-all-unfoldings and -fspecialize-agressively in the Agda codebase.
-fexpose-all-unfoldings
-fspecialize-agressively
well-typed.com/blog/2024/04/choreographing-specialization-pt1/
(Also I didn't know about -flate-specialise and -fpolymorphic-specialisation, though I think I'd rather avoid relying on even more flags.)
-flate-specialise
-fpolymorphic-specialisation
#Haskell #compiler #performance #blog
Add comment