On 19 March 2006 14:53, Bulat Ziganshin wrote:
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
Bulat, this doesn't constitute a proposal. It leaves too many questions unanswered. If it is supposed to be just syntactic sugar, and I believe that is your intention, then can you show me how the above definitions translate into Haskell 98? I think you'll need to include a lot more detail for this to be a proposal. Cheers, Simon