Optimization
Optimization
Haskell optimization passes
http://www.scs.stanford.edu/11au-cs240h/notes/ghc-slides.html#(30)
https://news.ycombinator.com/item?id=17794292
Main ‘big-win’ optimizations:
- Inlining
- Common Subexpression Elimination
Dead Code Elimination
- Simplifier: local optimization such as constant folding. Ran untill fixed poin t or itteration max.
https://ghc.haskell.org/trac/ghc/wiki/Commentary
CakeML: A verified implementation of ML
https://cakeml.org/