pure functional


[tag:]

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

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

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

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

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