Infinite types

Alastair Reid alastair at
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

More information about the Haskell-Cafe mailing list