次世代言語15 Go Rust Bosque Kotlin TypeScript

345 ：デフォルトの名無しさん：2019/06/09(日) 14:50:20.90 ID:/L4eTa4o.net

いずれにせよ、そういう言語ってなさそうですね。
仕事でリアルタイム系のシステム組んでいるのですが、sleepしない、blockしないとか、
他にもdead lockしないとか、定期的にこれらのルールをやぶるコードが紛れるので
なんとかならないかと思っています。
静的解析のツールで解決できたりするのでしょうか？