Re: [Haskell-cafe] wildcards for type variables?

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