[wladimir]

You get downvotes because your reply contradicts itself. A safer language results in more mistakes being found at compilation time, so would result in less mistakes in the product, not more. Also I would expect having to specify annotations for your code to be verified (ie correct type specifications, pre/postconditions, contracts, carefully specifying program input/output through parsers, etc) results in slightly slower pace of development, not faster. But I suppose if you make up more than that time in debugging and troubleshooting time, or time explaing awkward bugs to annoyed customers, it's still a win.

[kaolinite]

Compilers can't detect logic errors which tend to be more common with faster development.

[DanWaterworth]

Unless your language is dependently typed.

[wladimir]

If even true, that's besides the point. How did 'faster development' get into your reasoning at all?