19 Mar
2006
19 Mar
'06
9:53 a.m.
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@gmail.com