Infinite types

Alastair Reid alastair at reid-consulting-uk.ltd.uk
Sat Dec 6 14:13:33 EST 2003


> 1.  How can I tell from the Haskell 98 Revised Report that [a function
>     with an infinite type]
>     isn't allowed?  The discussions of typing in the Report
>     generally defer to the ``standard Hindley-Milner analysis.''

1) The only way to write the recursive type you want
   in Haskell is using type synonyms.
2) The section describing type synonyms (4.2.2) explicitly rules it out.

--
Alastair Reid    www.haskell-consulting.com



More information about the Haskell-Cafe mailing list