컴파일러/인터프리터가 금속으로 방출해야하는 명령 언어 언어와 얼마나 멀리 떨어져 있는지

Question

A Question Someone Beat Me to by 2 Years 에 '대답'으로 질문하지 않으려 고 새로운 질문을 던졌습니다. 거기에 대한 답변에서 나타납니다 (그가 기록하는 위치 N. 램지를 참조하십시오

을 "... 그러나 MIT 교수 아빈의 선구적인 작업을 보면, 그의 그룹 설계 및 구축 흐름 기계 여기서 기본적인 계산 작업은

는 아마도 베어 메탈 (bare-metal) 지침 선언하거나-필수적하지 될 수 있습니다 ".... 본질적으로 더 선언합니다.

가

이 사람이 얼마나 멀리에 대한 느낌을 가지고 있는가 그것 들어갈 수있다. 그 방향? 컴파일러는 항상 함수형 언어를 명령형 언어로 변환해야합니까? 이것을 가능하게하는 하드웨어가 존재합니까?

저는 궁금 해서요. 항상 프로 그램을보고 있습니다. 랭. 트렌드와 마침내 변덕스러운 상태 (예를 들면)가 실제로 무엇을 의미하는지 궁금해하는 것이 나에게 발생했습니다.

Answer 1

중요하지 않은 하드웨어가 있으며 특수한 응용 프로그램에 사용됩니다. Field-programmable gate arrays (FPGAs)이 좋은 예입니다.

그러나 우리의 현재 프로세서 아키텍처의 기초가되는 폰 노이만 머신 모델은 매우 유용하고 다재다능한 것으로 입증되었으며 명령형 프로세서를 빠르고 저렴하게 만드는데 많은 노력을 기울여 왔습니다. 비 명령적인 컴퓨터 개념을 탐구하는 것은 가능하지만 현재로서는 노력할만한 가치가없는 것처럼 보입니다. 명령형 컴퓨터를 구축하는 것은 명령형 컴퓨터를 사용하여 선언적 컴퓨터를 구축하는 것이 사실보다 훨씬 더 저렴합니다. 및 선언적 기계.