Parametric Polymorphism

[Jay Parlar]

I haven't been following this whole thread, but it sounds like you want  
something like PJE's RuleDispatch package.

There's a Developer Works article about it, put up very recently:

http://www-128.ibm.com/developerworks/linux/library/l-cppeak2/?ca=dgr- 
lnxw02aScalingPEAK

PJE (IIRC) based it off of LISP's system of multi-method dispatch.

Instructions for installing can be found here:  
http://peak.telecommunity.com/

I've used this package quite a bit in the past, and have been very  
happy with it. It allows for dynamic type AND value based function  
dispatch.


Jay P.