Comment Re:Of course they can work (Score 1) 345
Are you doing new development or maintaining an already large code base?
For new development I would suggest looking at Cyclone, which adds static analysis (in the form of type checking) to the language itself.
