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 quantifica
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 -Wer
Hello,
what about dropping implicit universal quantification of type variables from
the language, meaning that every universal quantification has to be made
explicit?
One advantage of this would be that spelling mistakes in type variables would
be detected by the compiler more often since ever