>>915
その通り。
しかし現実的には以下のような問題があり、大企業で今すぐ導入する事は難しい可能性がある。
- 過去に作った巨大なシステムがJavaなどで作られている。
- 偉い人(責任者や、クライアント) がHaskellや形式手法などの技術に関する知識を持っていない。
- 関数型言語ができるエンジニアが世界的に見ても少数である。

これからシステムは複雑になっていく一方で、不具合に対するリスクや、
テストにかかるコストが上がっていくのならば、形式手法を用いた開発がより求められるかもしれない。

実際に関数型言語を第一言語として、金融関係のシステム開発を行っている会社がニューヨークに存在する。
http://www.janestcapital.com/