15 Mar
2006
15 Mar
'06
8:05 p.m.
On Mon, Mar 13, 2006 at 06:02:56PM +0100, Wolfgang Jeltsch wrote:
what about dropping implicit universal quantification of type variables from the language, meaning that every universal quantification has to be made explicit?
I had a somewhat halfway idea for that, make explicit quantification on term-bound type signatures required, but not for let-bound ones. foo = (id :: forall a . a -> a) foo :: a -> a foo = id this would solve the scoped variables problem if let bound type signatures always shadow the names of scoped type variables. John -- John Meacham - ⑆repetae.net⑆john⑈