type checking

[Alex Martelli]

sashan wrote:

> 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.

http://ocamlffi.sourceforge.net/

SWIG also suppors OCaml since 1.3.14 (haven't tried that out).


Alex