4 ms·
This paper [1] says coercion is a kind of ad-hoc polymorphism. [1] "On Understanding Types, Data Abstraction, and Polymorphism" http://lucacardelli.name/Papers
by pkrumins 16y ago
This paper [1] says coercion is a kind of ad-hoc polymorphism.
[1] "On Understanding Types, Data Abstraction, and Polymorphism" http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf