4 ms·
> Today it exists in Standard ML, OCaml, F#, Ada, Haskell, Mercury, Visual Prolog, Scala, Julia, and others. > Java, C#, Visual Basic .NET and Delphi have each
by sdegutis 8y ago
> Today it exists in Standard ML, OCaml, F#, Ada, Haskell, Mercury, Visual Prolog, Scala, Julia, and others.
> Java, C#, Visual Basic .NET and Delphi have each introduced "generics" for parametric polymorphism.
https://en.wikipedia.org/wiki/Parametric_polymorphism https://en.wikipedia.org/wiki/Parametric_polymorphism
- chowells 8y agoA bunch of low-reach languages have true parametric polymorphism. A bunch of common languages have polymorphism that may be parametric or may be bounded by runtime type information checks, and you can't tell the difference from the types. Neither of those contradict my assertion that most programmers have never done work in a language where the type system can make guarantees that they can trust.
- whateveracct 8y agoThis is a very pedantic point