[Haskell-cafe] wildcards for type variables?

[Sebastian Fischer]

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].

Sebastian

[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.
(D.G.)