developments available in other programming languages such as ML or Haskell?- what is more important in writing more reliable programs, using more and better abstractions, or having more complicated types and better type checkers?levy-- there is no perfectoin