On 3 March 2011 17:59, Karthick Gururaj <karthick.guru...@gmail.com> wrote: > On Thu, Mar 3, 2011 at 11:48 AM, Chris Smith <cdsm...@gmail.com> wrote: >> On Thu, 2011-03-03 at 11:39 +0530, Karthick Gururaj wrote: >>> What is the "()" type? Does it refer to a tuple? How can tuple be >>> ordered, let alone be enum'd? I tried: >> >> The () type is pronounced "unit". It is a type with only 1 value, also >> called () and pronounced "unit". Since it only has one possible value, >> it conveys no information at all, and is sometimes used in situations >> analogous to C's 'void' keyword. >> >> Okay, actually that was a little bit of a lie; () has two "values": () >> and bottom. Bottom is the "value" that corresponds to the program >> hanging in an infinite loop or dying with an error message. But if you >> have an actual, honest-to-goodness value that's not bottom, it has to be >> (). > Thanks - is this the same "unit" that accompanies IO in "IO ()" ? In > any case, my question is answered since it is not a tuple.
Yes. -- Ivan Lazar Miljenovic ivan.miljeno...@gmail.com IvanMiljenovic.wordpress.com _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe