Well-defined, strong, extensive type systems (such as Ada's, OCaml's or Haskell's) are test casesprogramming.reddit.com1 pointmudge19 years ago