<p>I discuss some <a href='https://queuea9.wordpress.com/2020/07/12/and-the-winner-is/'>examples</a> 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.</p>

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.

<p>I discuss some <a href="https://queuea9.wordpress.com/2020/07/12/and-the-winner-is/" rel="noopener noreferrer">examples</a> posted on my blog, QA9, which show that executables produced by ghc (the main implementation of Haskell) can exhibit non-optimal beta-reduction.&nbsp; Thanks to Victor Maia for major help with these.</p>

Examples showing non-optimality of Haskell

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

Share Examples showing non-optimality of Haskell

Sign up to save your podcasts

Examples showing non-optimality of Haskell

Examples showing non-optimality of Haskell