At 4:32 AM 10/12/93 +1300, Simon L Peyton Jones wrote:
>Dear people interested in Haskell 1.3,
Well... :-)
>One modest extension we could make to the Haskell type system is
>
> to permit polymorphic recursion if
> a type signature is provided
>
>etc.
I wouldn't have even thought of imposing a polymorphic recursion
restriction in the Hope+C type system, I didn't realise Haskell had one
either. Go ahead abolish it. (Hope+C [the language] does of course insist
on top-level type signatures, part of its inherited philosophy, but Hope+C
[the type system & checker] does not).
Cheers,
Nigel
--
Dr Nigel Perry Email: [EMAIL PROTECTED]
Department of Computer Science Tel: +64 6 350 4007
Massey University Fax: +64 6 350 5611 Attn. Dr N. Perry
Palmerston North
New Zealand
