What things would be awkward to do in a hypothetical "strict" Haskell variant, that are now not awkward to do?

• benchmarks

  40 2,741 7.2 Makefile

  Some benchmarks of different languages

I don't think that rule will get you to 1.5-2x of C speed though. This benchmark is the only one I could find that has both PyPy and C and it seems to still be around 5-35x.

• idris-okasaki-pfds

  2 - -

If you don't own Okasaki, I think the Haskell implementation is available for free on the web and you can compare that with my Idris (1) implementation look though the Idris code for Lazy to might the ones where it mattered. But, I warn you that my implementation is probably wrong -- in particular the performance of some of the lazy structures don't seem to match the expected asymptotics, so I probably didn't get the annotations correct.

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• ghc-proposals

  2 0 0.0 Python

  Proposed compiler and language changes for GHC and GHC/Haskell (by ocharles)

Fully agreed, I would love to see a way to make recursion "opt-in", as in this GHC proposal: https://github.com/ocharles/ghc-proposals/blob/letrec/proposals/0000-letrec.md

Suggest a related project