dcastro

This article is also available on Serokel’s blog.

This post is available in Chinese here, thanks to JulyTreee.

Typeclasses are typically taught by drawing parallels with method overloading (another form of ad hoc polymorphism), and Java-like interfaces (a form of subtyping polymorphism).

Null.