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

• ghc-proposals

  160 675 9.2 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 312 5.6 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).

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

Suggest a related project