๐Ÿ“In a dynamically-typed language, every function is parametrically polymorphic

In a dynamically-typed language, every function can take a parameter of any type and handle it identically. This is a form of parametric polymorphism.

While parametric polymorphism only applies to statically-types languages, the idea becomes more blurred with gradually-typed languages.

Backlinks