KotlinでのIntelliJ,SwiftでのXcodeのようにコーディングを支援する環境がほしい。
コンパイルしてからエラーを治すのではなくて、コードを書いている最中にうらでエラーチェックが走っているような。

5年後には自動車や航空機など、高信頼性が求められる分野でも使われてそう。