Haskell とか PureScript は曖昧な概念が少ない(例えば難しいと言われているモナドでさえただのある条件を満たす関数群でしかない)のが好きだけど、これはデメリットでもあって、何故なら人間の思考はそんなに定式化出来るものではないので
論点が違うと言われてしまうかもしれないけど、
どんなプログラミング言語も、人間の思考を強制的に定式化する作用はあると思っていて、
それはプログラミング言語の欠点ではなく、むしろよい点だと思うのよね。
それによって国籍とかその人が持つバックグラウンド関係なく、計算機への命令が可能になるわけで。
Haskell/PureScriptは、なんぼ何でも、思考を矯正しすぎだけど、
「ふつうの人間の思考なんてしょうもない」
という謎の割り切りというか清々しさがあるように思う。
人間の脳向きでないという意味では極論アセンブリを書いてるのと変わりない