type checking

[sashan]

Donn Cave wrote:
> Quoth Stephen Horne <$$$$$$$$$$$$$$$$$@$$$$$$$$$$$$$$$$$$$$.co.uk>:
> ...
> | If you really do need static typing (as opposed to simply needing to
> | get used to the change), Python is simply the wrong choice of
> | language. Either Java, C# or Delphi may be a good option for you.
> 
> Also consider functional languages with strong static typing and
> type inference - Haskell, Clean, ML, Objective CAML.  Even if they
> eventually turn out to be unsuitable for the task at hand, they
> offer an interesting and rigorous abstraction of computer programming.
> 
> 	Donn Cave, donn at drizzle.com

If it was practical I'd use OCaml or Haskell but they don't have the 
external libraries I need.