On Thu, Feb 17, 2011 at 6:23 PM, Edward Z. Yang
1. Move strict Maybe and Either into base
We create a new module Data.Maybe.Strict and Data.Either.Strict which implement the following semantics:
Just _|_ = _|_ Left _|_ = _|_ Right _|_ = _|_
We do not expose a left-strict or right-strict version of Either.
2. Move strict Tuple into base
We create a new module Data.Tuple.Strict that defines a new data type Pair with:
Pair _|_ a = _|_ Pair a _|_ = _|_
+1 Even if I couldn't have the remaining things in this proposal I definitely want these (in base or HP). Every other package define their own versions of these internally, under different names. Having strict types lets you express your strictness properties much simpler, by changing the return type of a function instead of littering it with bang patterns and seq:s. Johan