> it's a sad reflection of our industry that it's taken this long to get basic safety + ML circa 1975 language features into this niche.

That's true. Could it be that's because we are expert at nitpicking every programming language, every framework and stack which appears to the point it takes time to make steps forward ? Some sort of paralysis, insecurity and confusion ?