6 Dec
2003
6 Dec
'03
9:13 a.m.
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