Strict tuples

[Bulat Ziganshin]

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 gmail.com