> I thought I was talking about the principal of static typing, rather than any language's implementation of it. Then may I suggest expanding your mind by lear

> I thought I was talking about the principal of static typing, rather than any language's implementation of it. Then may I suggest expanding your mind by learning about good implementations of static type systems? Any of Haskell, Ocaml or F# would be a good place to start.