Wildcard type annotations

Taral taralx at gmail.com
Mon Jan 23 12:48:19 EST 2006

On 1/21/06, Philippa Cowderoy <flippa at flippac.org> wrote:
> Would it be possibly to support a 'wildcard' type (probably written "_" to
> match the pattern-matching syntax) that matched any inferred type without
> requiring any actual degree of polymorphism the way a type variable would?

If one had a type annotation, say:

f :: a -> _ -> Constr a Int _

would this be unification-equivalent to:

f :: exists b c. a -> b -> Constr a Int c

Taral <taralx at gmail.com>
"Computer science is no more about computers than astronomy is about
    -- Edsger Dijkstra

More information about the Haskell-prime mailing list