Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types

Siyuan He, Songlin Jia, Tiark Rompf

Subtyping provides polymorphism at a low cost: a concise type such as Int $\to$ Top covers every function that accepts an integer, whatever it returns, whereas the parametric alter…