[Haskell-cafe] Re: history of tuples vs pairs
Christian.Maeder at dfki.de
Wed Jun 25 11:49:20 EDT 2008
Conal Elliott wrote:
> I have a foggy memory that early ML had only binary pairing, nesting for
> n-tuples. Can anyone confirm this memory. If so, does anyone remember
> the rationale for going to n-tuples? Performance, perhaps?
In Isabelle HOL "*" is a right-associative (pair) type constructor.
So "T1 * T2 * T3" is the same as "T1 * (T2 * T3)".
Although the concept is minimal it is sort of asymmetric (wrt.
More information about the Haskell-Cafe