3 ms·

Did you realize the article was written in 2003? Sure, SML , Haskell and some other somewhat powerful type systems did exist at that point, but they were limite

Did you realize the article was written in 2003? Sure, SML , Haskell and some other somewhat powerful type systems did exist at that point, but they were limited to academia and pretty much not used at all outside that.

carlmr 5y ago
That may be true, but it would also mean it's not worth reading an article from 2003 about this topic anymore.
fulafel 5y ago
Also OCaml (1996).