3 ms·
Not really. There are no parameters involved in what a Scheme programmer would call a polymorphic program - instead, such programs simply range over all scheme
by gsg 12y ago
Not really. There are no parameters involved in what a Scheme programmer would call a polymorphic program - instead, such programs simply range over all scheme values.
Because the values ranged over in such programs is known rather than being a parameter to the program, they are not polymorphic (in the ML sense).
- colanderman 12y agosuch 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.