This is why Haxe is awesome. You can target a sloppy langauge and still get the benefits os a ML-like typesystem.