[Haskell-cafe] how would this be done? type classes? existential
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
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