Unformatted text preview: × is not associative [whereas multiplication × on numbers is associative]. There is however a clear corre-spondence between the elements ( a, b, c ) and (( a, b ) , c ) and ( a, ( b, c )) , and so these sets are in some sense equivalent. We make this intuition precise later in the course. This phenomenon also occurs with Haskell types. A natural example is type Name = String type Firstname = String type Secondname = String type Surname = String Name1 ::= (FirstName, SecondName, Surname) 14...
View Full Document
This note was uploaded on 01/02/2010 for the course MATH Math2009 taught by Professor Koskesh during the Spring '09 term at SUNY Empire State.
- Spring '09