3 ms·Well-defined, strong, extensive type systems (such as Ada's, OCaml's or Haskell's) are test cases1 points by mudge 19y ago