23 May
2006
23 May
'06
5:53 a.m.
On Tuesday 23 May 2006 02:00, Brian Hulley wrote:
I wonder if Haskell' will automatically make type variables scope over the function body (without an explicit forall)? Is there any reason why they shouldn't always do so?
One I can think of is that the type signature for a function may be at the other end of the file. Some discussion about the pros and cons can be found here http://www.mail-archive.com/haskell%40haskell.org/msg15738.html and here http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/9219 Ben -- You've never looked into my eyes but don't you want to know What the dark and the wild and the different know -- Melissa Etheridge