[Haskell-cafe] Type wildcards

Andres Loeh andres at cs.uu.nl
Wed Dec 17 07:10:12 EST 2008


> 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


More information about the Haskell-Cafe mailing list