>>2
違う話に移る前に

> 関数型はそれが出来るというより
> 意図的に排除する仕組みが言語仕様で用意されているといったほうがいいな

ということには納得したの?