Examples showing non-optimality of Haskell
I discuss some examples posted on my blog, QA9, which show that executables produced by ghc (the main implementation of Haskell) can exhibit non-optimal beta-reduction. Thanks to Victor Maia for major help with these.
Iowa Type Theory Commute
en-usJuly 15, 2020