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/