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