1

私はこれを誰かが2年までに私を打ち負かした質問への「答え」として尋ねたく なかったので、私は新しい質問をしました。それはそこの答えから現れます（彼が書いているN.ラムジーを参照してください：

「...しかし、MITのArvind教授の先駆的な仕事を見ると、彼のグループは、基本的な計算操作が本質的により宣言的なデータフローマシンを設計および構築しました。...」

ベアメタル命令は、宣言型である場合もあれば、必須ではない場合もあります。

その方向にどこまで行けるのか、誰か感じていますか？コンパイラは常に関数型言語を命令型言語に変換する必要がありますか？これを可能にするハードウェアは存在しますか？

私はただ興味があります-常にprogを見ています。lang。トレンドがあり、最終的に、可変状態がないこと（たとえば）が実際には何を意味するのか疑問に思いました。

4

1 に答える 1

4

必須ではないハードウェアが存在し、特殊なアプリケーションに使用されます。フィールドプログラマブルゲートアレイ（FPGA）が良い例です。

ただし、フォンノイマンマシンモデル（現在のプロセッサアーキテクチャの基礎となる）は非常に有用で用途が広いことが証明されており、命令型プロセッサを高速かつ安価にするために多くの作業が費やされてきました。非命令型コンピューターの概念を探求することは可能ですが、現時点では努力する価値はないようです-命令型マシンの上にインタープリターとして宣言型マシンを構築することは、真の宣言型マシンよりもはるかに安価で高速です。

于 2012-01-18T11:48:14.683 に答える