>>161
従来は図式によるわかりやすい設計のおかげで多くの人が
プログラミングオブジェクト指向設計を取り入れたが、
オブジェクト指向は理論的側面が弱く、ユニットテストなど
小手先でのバグ発見手法は育ったが、
設計段階で多くのバグを残してしまう問題があった。
スレッドが軽くなることでCSPやPi-calculusなどの
形式的手法による設計がそのまま実装できるようになる。
CSPやPi-Calculusの理論的研究は盛んに行われており、
オブジェクト指向の代替技術になると考えられる。
それに昔からZ言語みたいな形式的仕様記述言語などが提案されてきたけど、
どれもうまくいかなかった。
計算機科学の長年の悲願なんだよ。