Strict tuples

Bulat Ziganshin bulat.ziganshin at
Sun Mar 19 09:53:28 EST 2006

Hello Manuel,

Sunday, March 19, 2006, 5:35:12 AM, you wrote:

MMTC> PS: IIRC Clean supports strict tuples.

i've proposed to allow adding strict mark to any type constructors and
type constructor parameters so that finally we can define any data
structure that can be defined in strict languages. in particular:

type StrictPair a b = !(,) a b
type StrictElements a b = (,) !a !b
type StrictBoth a b = !(,) !a !b
type StrictFunction a b = !(->) !a !b

strictMap :: StrictFunction a b -> ![!a] -> ![!b]

where ![!a] is a strict list with strict elements

Best regards,
 Bulat                            mailto:Bulat.Ziganshin at

More information about the Haskell-prime mailing list