[Haskell-cafe] wildcards for type variables?

Sebastian Fischer sebf at informatik.uni-kiel.de
Wed Jan 13 15:31:39 EST 2010

On Jan 13, 2010, at 6:54 PM, Evan Laforge wrote:

> It's not a big issue, but it seemed like a nice symmetry with pattern
> matching syntax.

And I don't think it's a weird idea. The "Haskell dialect" Curry [1]  
supports this syntax. Maybe the hurdle for Haskell is the competition  
with more complex, conflicting proposals like [2].


[1] http://curry-language.org
[2] http://hackage.haskell.org/trac/haskell-prime/wiki/PartialTypeSigs

Underestimating the novelty of the future is a time-honored tradition.

More information about the Haskell-Cafe mailing list