Calculate polytypically! [chapter]

Lambert Meertens
1996 Lecture Notes in Computer Science  
A polytypic function de nition is a function de nition that is parametrised with a datatype. It embraces a class of algorithms. As an example we de ne a simple polytypic \crush" combinator that can be used to calculate polytypically. The ability to de ne functions polytypically adds another level of exibility in the reusability of programming idioms and in the design of libraries of interoperable components.
doi:10.1007/3-540-61756-6_73 fatcat:tn5rgc2x3bezrceeepfj4sflpm