[Haskell-cafe] Type wildcards

[Andres Loeh]

> 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 at cs.uu.nl     mailto:mail at andres-loeh.de
http://www.andres-loeh.de