pure functional

ピュアな関数プログラミングがメインストリームになりうるだろうか? 僕は無理だと思うなぁ。特定のドメインでは機能する・しているけれど、汎用と言われると no としか。

— MURAOKA Taro (@kaoriya) 2016年11月23日

ピュアな関数型パラダイムというのは、

correctnessの確定を先行させるというのは非常に効率が悪く、 場合によっては解に至らない。
An At a NOA 2016-11-15 “読解力”

という方向性に近いイメージがある。

あらゆる箇所の参照透過性を確保して、完全にcorrectな系として プログラムを完結させることは、ある程度以上の規模になると 人間にはつらさが出てくる。
それは、意識が投機的短絡をベースに成立しており、必ずしも correctでない状態でも、何とかすることで判断を続行することに 慣れているからだ。

correctnessを逐一確認するような機関を挟めばよいのだろうが、 それってこのところ人間が苦労している問題そのものじゃなかろうか。