[mercury-users] Typeclasses & parameters

Jörg Roman Rudnick joerg.rudnick at t-online.de
Sat Jun 2 07:56:13 AEST 2007

Dear all,

I attached a -- now tested -- example basing on existential types: As 
you see it doesn't need constructor classes to declare tree types which 
are independent of individual node or edge type...

Now my question: Is there a drawback of such an approach?


Very interested... ;-),

-------------- next part --------------
A non-text attachment was scrubbed...
Name: xtTree.m
Type: text/x-objcsrc
Size: 3607 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/users/attachments/20070601/a5d9f9f5/attachment.bin>

More information about the users mailing list