...
Now that I am writing this, Ada comes to my mind.
But the important point is actually (b): Decide for a language (and OS and execution environment) that minimizes the "untestable" problems later, not for a solution (as it is done so often) that gets the project from ground fast in the wild-west phase without any consideration how one wants to scale up development (and deployment) later.