Autobahn: using genetic algorithms to infer strictness annotations.Wang, Yisu Remy.
Although laziness enables beautiful code, it comes with non-trivial performance costs. The GHC compiler for Haskell has optimizations to reduce those costs, but the optimizations are not sufficient. As a result, Haskell also provides a variety of strictness annotations so that users can indicate program points where an expression should be evaluated eagerly. Skillful use of those annotations is a ... read more