But that's exactly it - if the goal of this language is to prevent the type of failures that lead to the mars orbiter issue, then its an obvious failure. There's no possible way an interpreted language only usable on windows or mac would be controlling a mars orbiter - it just doesn't have the features neccesary for that usecase. Mars orbiters don't run Windows (nor should they).
That's ok of course, no language can be all things for all people and its ok to have a niche. But when the primary example justification for the language is a problem that the language couldn't possibly address, it suggests that it is hardly a well thought out language.
Almost none of the criticism here has been about the language itself, it has been about the blatent disconnect between what the language is and what it claims to try and do. Maybe its a good language in and of itself, hard to tell. At a glance it doesn't seem particularly groundbreaking, but it doesn't seem terrible either. However, I stand by it being an abject failure in terms of the stated goals of its marketing material.