Clean Architecture 関数型プログラミング

 関数型言語の変数は変化しない。

不変性とアーキテクチャ

 競合状態、デットロック状態、並行更新の問題の原因が、全て可変変数にある。変数が変化しなければ、競合状態や並行更新の問題は発生しない。また、変更可能なロックがなければデットロックになることもない。

 並行処理の(複数スレッドやプロセスを必要とする)アプリケーションにおいてー直面するあらゆる問題は、可変変数がなければ発生しない。