Department of Algorithmics and Architecture, CWI, Amsterdam, and; Department of Computing Science, Utrecht University
SVM HeaderParse 0.2
SVM HeaderParse 0.1
A polytypic function definition is a function definition that is parametrised with a datatype. It embraces a class of algorithms. As an example we define a simple polytypic "crush" combinator that can be used to calculate polytypically. The ability to define functions polytypically adds another level of flexibility in the reusability of programming idioms and in the design of libraries of interoperable components.