普通、「詳細仕様」と言われている文書は、
とされています。しかしここでは新パラダイムの主要な一部として取り扱っています。
それは、
点が有ります。
嫌われて来た「詳細仕様」は、必ず、「単なる逐語訳」だったと思います。
それとは違い、上図の矢印で示した「詳細仕様」では、
います。（もちろん、本質的に、その原因が唯一のプログラムの部分を結果とする場合は、無理に分岐する必要は有りません。）
あくまで、結果としてのプログラムの部分に対する原因で有る必要が有ります。
この文書に結論は有りません。
なろう系の小説のジャンルとして、追放物が有りますが、そのサブジャンルとして、
開発者の追放物が有ると思います。
上司層が、ソフトウェア開発、保守を
と言って、開発者を切り、その結果、
という話だと思います。
その原因は、それら上司層が、
を心底信じている為だと思います。（上図、網掛けの無い部分のみを見る）
もちろん、それを良しとした、リーダー教育もその一因だとおもいます。
そうでは無く、もっと依存関係広く見れば、
が、交絡因子となり、より直接的なプログラムの成り立ちの説明となりますが、
その分、それら資料の維持が、簡単では無くなるのは確かに事実です。
狭く見る人間が1人でも居ると、
となり、そうで無い人間を駆逐してしまうからです。
余りにも、前者の人と後者の人の効率性・収益性が違いすぎるのです。
SF小説の話の中なら、不浄猫とかが出て来て、始末を付けたりするのかも知れませんが、普通の社会ではそうは行かず、その代わり、
のを期待するより無いからです。いなくなるのに10年かかると思います。
これからも「なぜすぐのパラダイム回天は無理か？」という問いに対する、救いの無い答えにより、プログラミングが嫌いになる人は存在し続けることでしょう。
私は、このブログや、それ以前の発言全てに渡って、
とかは一切言っていません。コボラーとしての経験から、そういう、
事は有る、と（少なくとも20年前から）心底思っていたからです。そうでは無く、
という批判の方法をしていたと思います。
ただ1つ、
との批評をしたのが気がかりでした。
しかし、
つまり、
とするなら、この批評は正当では無いか？と思うに至りました。
クリーンアーキテクチャ（Wikipedia 日本語版では、「ポートとアダプタ」文書で言及）などは、その「変数名の置き換え」という企てにより、
と述べているそうですが、そううまくいくとは、矢張り考えにくいです。
別のWeb記事で、パラダイムの回天には、親世代（おじ世代？）の◯が必要では無いか？という記事を見ました。
それを踏まえると、理想への到達には、まだ10年単位でかかる、と思っておくべきなのかも知れない、と痛感しています。
これからも「実用的な真の関数型言語」に関する認識の曇りの横行でプログラミングが嫌いになる人は存在し続けることでしょう。
私の感想に過ぎませんが、フレームワークは、
だと思います。
しかし、フレームワークというのは、言語仕様そのものでは無く、
と思います。
関数型言語無しでも、関数型プログラミングは可能で、
ただ唯一、
と思います。
フレームワークは、
などをするのは事実です。でもこれらはJava言語やPHP言語での話で、特段、関数型言語で有ると銘打たれている訳でも無かったです。
通常の前からある言語で、関数型プログラミングは可能だったのです。
例えばコーラの宣伝で「スカッとさわやか」と銘打った場合、
だと思いますが、モダンな言語を関数型とする理由は、唯一、
だと思います。
だけで、何の検証にも耐えないレッテル張りです。
これからも「実用的な真の関数型言語」に関する認識の曇りの横行でプログラミングが嫌いになる人は存在し続けることでしょう。
