only explicit universal quantification

Ashley Yakeley ashley at semantic.org
Mon Mar 13 14:47:52 EST 2006


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 like this idea, but perhaps it should be a warning option to the 
compiler (which can be enforced with -Werror on GHC).

-- 
Ashley Yakeley, Seattle WA
WWED? http://www.cs.utexas.edu/users/EWD/



More information about the Haskell-prime mailing list