代数データ型やパターンマッチがあり、カリー化があって
簡潔なコードが書き易く、静的型検査が強力で、
副作用のある部分と無い部分をキッチリ分離できる

そんな言語が、副作用のある部分を
手続き型と同じように書けるんだから
それだけで御利益あるだろ