どうしようもなく危険な言語であるCにはどうにか失敗したら人が死ぬ分野で使う為にMISRA Cってあるけど、
C# で、言語的にはC# だけど、標準ライブラリを置き換えるような形で全体的にAda風にしたライブラリを土台にして、安全性が足りない部分は契約プログラミングを使う感じの、そういう分野向けのプラットフォームってあったらおもしろそうというかオレンジの好みド真ん中になりそう＞＜