Programming with -XStrict/Unlifted datatypes and associated ecosystem/libraries/preludes

• ghc-proposals

  159 670 9.1 Python

  Proposed compiler and language changes for GHC and GHC/Haskell

  

I am eager to write strict Haskell. I understand the the -XStrict and Unlifted datatypes help with this. Actually it is interesting that -XStrict does not really cut it, we need unlifted datatypes..

• containers

  11 313 6.0 Haskell

  Assorted concrete container types (by haskell)

  

"Make invalid laziness unrepresentable" means you should use strict versions of container types instead of lazy ones. However, for better or for worse, sometimes the "strict version" of a data type is not actually a strict data type, it's just a strict API to the lazy type. Examples include Data.Map.Strict (not Data.Map or Data.Map.Lazy) or Data.HashMap.Strict (not Data.HashMap.Lazy) (sadly there is no Data.Sequence.Strict but perhaps there will be one day).

• 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.

  

Suggest a related project