[Haskell-cafe] how would this be done? type classes? existential types?

Matthias Fischmann fis at wiwi.hu-berlin.de
Thu Mar 16 09:42:30 EST 2006

On Thu, Mar 16, 2006 at 12:40:00PM +0000, Chris Kuklewicz wrote:
> (Why isn't it "resourceName :: String" ?)

because i am too clumsy.  (-:

when i am trying this, ghc complains that the type of resourceName
doesn't have any occurrance of 'a', and i feel that it must be harder
for the type engine to figure things out if there isn't, so
resourceName is still a mapping from resources to their names.

did i miss anything?

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://www.haskell.org//pipermail/haskell-cafe/attachments/20060316/a70a23bd/attachment.bin

More information about the Haskell-Cafe mailing list