[mercury-users] Typeclasses & parameters

[Jörg Roman Rudnick]

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?

Performance?


Very interested... ;-),

          Nick
-------------- 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>