3 ms·
such programs simply range over all scheme values That's the parametric part. From http://en.wikipedia.org/wiki/Polymorphism_(computer_science) http://en.wiki
by colanderman 12y ago
such programs simply range over all scheme values
That's the parametric part.
From http://en.wikipedia.org/wiki/Polymorphism_(computer_science) http://en.wikipedia.org/wiki/Polymorphism_(computer_science): If the code is written without mention of any specific type and thus can be used transparently with any number of new types, it is called parametric polymorphism. This definition makes no mention of static typing.