Re: [Haskell-cafe] Type wildcards

Type wildcards that allow partially specifying types, e.g:

f :: _ -> String f x = show x

This will instruct the type-inferrer to "fill out" the wild-card part only (e.g: Show a => a).

Also see http://hackage.haskell.org/trac/haskell-prime/wiki/PartialTypeAnnotations Cheers, Andres -- Andres Loeh, Universiteit Utrecht mailto:andres@cs.uu.nl mailto:mail@andres-loeh.de http://www.andres-loeh.de