まず、ムーアの法則は経験的な観察にすぎません。遅かれ早かれ、物理学の法則は、ユニプロセッサの速度を上げ続けることがもはや不可能であることを意味します。ムーアの法則は、中長期的には、そしておそらく短期的にも、将来の有用な予測にはなりません。
第二に、強く型付けされた言語と弱く型付けされた言語は、ムーアの法則の影響を等しく受けます。
第三に、ムーアの法則はユニプロセッサに関するものです。私たちは、マルチプロセッシングによって生のコンピューティング能力が向上している世界にいますが、平均的なジョープログラマーがマルチプロセッシングを利用するプログラムを作成するのに役立つソフトウェアツール(言語など)はまだありません。 。ただし、関数型言語は、手続き型言語よりもこの分野でより有望です。
第4に、静的に型付けされた言語と動的に型付けされた言語を実際に比較していると思います。(「強い型」と「弱い型」という用語は、定義が矛盾しているために混乱し、意味がなくなりました。)
あなたの議論は、ムーアの法則は効率がそれほど重要ではないことを意味しているので、効率の低い計算パラダイムを使用して「逃げる」ことができるということだと思います。例:動的に型付けされた言語。(そして、インタラクティブなタスクについて話している場合、コンピューターは、ユーザーが物事を求め、精神的に答えを処理する速度に追いつく必要があるだけです。)
その議論の裏側は、人々が自分のコンピューターにもっと計算集約的なことをさせたいということです。たとえば、コンピュータゲームの各世代は、グラフィックスを実行するためにより多くの電力を必要とします。オンラインビジネスは、実行コストが安いハードウェアを使用して、より多くのこと(たとえば、より多くのWeb要求を処理する)をより速く実行したいと考えています。要するに、効率が重要となる状況はたくさんあり、これは常に当てはまります。
つまり、速度が重要な場所では効率的なコンピューティング技術を使用する傾向があり、重要でない場所ではソフトウェアの開発と保守のコストを最小限に抑える技術を使用していることがわかります。
アップデート
私の答えを読み直すと、私は何かを逃しました。ムーアの法則が崩壊し、コンピューティングの「パワー」の将来の増加がより多くのコアなどの形でもたらされることを読んだとすると、関数型言語の役割はますます大きくなるでしょう。
命令型またはオブジェクト指向言語で並列処理を利用しようとした人は誰でも、それが落とし穴に満ちたトリッキーな問題であることを認識するでしょう。対照的に、純粋な関数型言語では、並列処理ははるかに単純です。データ構造の状態は変わらないので、データ構造の使用を介してスレッドが同期することを心配する必要はありません。さらに、言語のコンパイラまたはランタイムシステムは、プログラムの特定の部分を並行して実行できることを発見する方が簡単です...そしてそれを実行するだけです。または、より高いレベルでは、FP言語IDE(またはその他)は、並列実行を支援するための大規模な変換の機会を見つけて提案することができます。
IMO、これが関数型言語の人気の(ゆっくりとした)上昇の背後にあるものです...