[Haskell-cafe] Lifting strictness to types

Tom Ellis tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk
Thu Aug 22 18:10:13 CEST 2013

On Thu, Aug 22, 2013 at 12:51:24PM -0300, Thiago Negri wrote:
> How hard would it be to lift strictness annotations to type-level? E.g.
> instead of
> f :: Int -> Int
> f !x = x + 1
> write
> f :: !Int -> Int
> f x = x + 1
> which would have the same effect. At least it would be transparent to the
> developer using a particular function.

See also the recent Reddit thread


where I and others considered the possibility of a strict language with
explicit thunk datatype.  NB OCaml essentially already has this


but I think Haskellers would do it better because we have a lot of
experience with purity, laziness and monad and comonad transformers.


More information about the Haskell-Cafe mailing list