3 ms·
Trying to discuss the merits of static type systems by using a Java-level type system as your example case is disingenuous and silly. None of the static typing
by nbouscal 12y ago
Trying to discuss the merits of static type systems by using a Java-level type system as your example case is disingenuous and silly. None of the static typing advocates I know (myself included) advocate for type systems that weak. If you want to make an honest comparison, you need to compare to a strong type system like those in the ML family. Those type systems can solve many of the 25 bugs referenced.
- nine_k 12y agoEven stronger type systems, e.g. based on dependent types, can even solve the buffer overflow problem at type level. Alas, no widespread language uses such a system yet. Various problems revolving around combining tainted / untainted strings, like SQL injection, must be definitely solvable by a type systems of ML, Haskell, or Scala.
- codygman 12y agoI'm glad to see others find using a Java-level type system is disingenuous!