Some type systems (e.g, Haskell) are closing in in becoming formal verification languages themselves.
And one can see how quickly they became mainstream...
alt Hacker News
And one can see how quickly they became mainstream...