On Tuesday, 18 February 2014 at 12:13:56 UTC, Tobias Pankrath
wrote:
I have a hard time to subsume D's type system under parametric
polymorphism, while I see how Javas generics may be. This may
just be way over my head, but I'd rather say D has a
sophisticated way of ad-hoc polymorphism that provides ways to
generate overloads on demand, contrary to the wikipedia
statement that ad-hoc only allows for a fixed amount of
overloads.
"[ad hoc polymorphism] is also known as function overloading or
operator overloading[...] This is in contrast to parametric
polymorphism, in which polymorphic functions are written without
mention of any specific type."
For awhile I would have supported the claim that Go has
parametric polymorphism, but "while still maintaining full
*static* type-safety" prevents that.
