安全の面で、メモリ関連の安全のみ特化したRustは流行ってるけど(最近は雲行き怪しいけど)、それ以上の静的解析による安全重視は全然流行らないの、中途半端で納得いかない＞＜