Javaの文脈の安全、型システムの安全性での意味での 意識高い21世紀の関数型界隈方面の型安全 と、 Adaとかの失敗すると人が死ぬ分野の型システムによる安全性 の文脈の違いみたいなのにすごく似てる気がする＞＜