[email protected]
[Top] [All Lists]

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

Subject: Re: [Haskell-cafe] wildcards for type variables?
From: Sebastian Fischer
Date: Wed, 13 Jan 2010 21:31:39 +0100
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.

Haskell-Cafe mailing list
[email protected]

<Prev in Thread] Current Thread [Next in Thread>