[Haskell-cafe] Aren't type system extensions fun?
derek.a.elkins at gmail.com
Mon May 26 19:26:48 EDT 2008
On Tue, 2008-05-27 at 00:19 +0100, Eric Stansifer wrote:
> Say, wouldn't a syntax like "(forall a => a -> a)" or "(a => a -> a)"
> or something similar to that be more consistent with syntax for
> contexts, e.g. "(Ord a => a -> a)"?
It's not remotely the same thing as a class constraint so why would we
want it to be "consistent" with it?
More information about the Haskell-Cafe