>関数型言語を導入するとバグが極力少なくなる事が証明されている。
>これはオブジェクト指向言語を導入するよりも極端に影響する。
関数型言語で減るバグっていうのは
副作用の無い関数にバグがでにくいからだよね？

OOによって減るバグっていうのは
全然違うタイプのバグでしょ。