언어 Y보다 언어 X를 선택하는 데는 여러 가지 이유가있을 수 있습니다. 프로그램 가독성, 프로그래밍 용이성, 많은 플랫폼으로의 이식성, 우수한 프로그래밍 환경의 존재가 그러한 이유 일 수 있습니다. 그러나 질문에서 요청한대로 실행 속도 만 고려하겠습니다. 문제는 예를 들어 개발 속도를 고려하지 않는 것 같습니다.

두 언어가 동일한 바이트 코드로 컴파일 할 수 있지만 동일한 코드가 생성되는 것은 아닙니다.

실제로 바이트 코드는 특정 가상 머신에 대한 코드 일뿐입니다. 엔지니어링 이점이 있지만 특정 하드웨어에 대해 직접 컴파일 할 때 근본적인 차이점이 없습니다. 따라서 동일한 머신에서 직접 실행되도록 컴파일 된 두 언어를 비교하는 것도 고려할 수 있습니다.

이것은 언어의 상대 속도 문제는 첫 번째 컴파일러로 거슬러 올라가는 오래된 것입니다.

수년 동안, 그 초기에는 전문가가 직접 작성한 코드가 컴파일 된 코드보다 빠르다고 생각했습니다. 즉, 기계 언어는 Cobol 또는 Fortran과 같은 고급 언어보다 빠른 것으로 간주되었습니다. 그리고 그것은 더 빠르고 보통 더 작았습니다. 고급 언어는 컴퓨터 과학자가 아닌 많은 사람들이 사용하기가 훨씬 쉽기 때문에 여전히 개발되었습니다. 고급 언어를 사용하는 비용에도 확장 비율이라는 이름이 있었는데, 이는 생성 된 코드의 크기 (그 당시 매우 중요한 문제) 또는 실제로 실행 된 명령의 수와 관련 될 수 있습니다. 이 개념은 주로 실험적이지만 컴파일러가 오늘날 표준에 의해 상당히 간단한 작업을 수행했기 때문에 처음에는 비율이 1보다 컸습니다.

따라서 기계어는 Fortran보다 더 빠릅니다.

물론, 컴파일러가 더 정교 해짐에 따라 어셈블리 언어로 프로그래밍하는 것이 이제는 매우 드물다는 점에서 수년에 걸쳐 바뀌 었습니다. 대부분의 응용 프로그램에서 어셈블리 언어 프로그램은 컴파일러 최적화로 생성 된 코드와 경쟁이 치열합니다.

이것은 고려되는 언어에 사용할 수있는 컴파일러의 품질, 소스 코드를 분석하고 그에 따라 최적화하는 능력이라는 주요 문제가 있음을 보여줍니다.

이 기능은 컴파일러의 작업을보다 쉽게하기 위해 소스의 구조적 및 수학적 속성을 강조하기 위해 언어의 특징에 따라 일부 확장 될 수 있습니다. 예를 들어, 언어는 컴파일러가 최적화를 위해 이러한 속성을 사용할 수 있도록 사용자 정의 함수의 대수 속성에 대한 설명을 포함 할 수 있습니다.

언어의 프로그래밍 패러다임이 실제 머신이든 가상 머신이든 코드를 해석하는 머신의 기능에 더 가까울 때 컴파일 프로세스가 더 쉬워 지므로 더 나은 코드를 생성 할 수 있습니다.

또 다른 요점은 언어로 구현 된 패러다임이 프로그래밍되는 문제 유형에 따라 폐쇄되는지 여부입니다. 특정 프로그래밍 패러다임에 특화된 프로그래밍 언어는 해당 패러다임과 관련된 기능을 매우 효율적으로 컴파일 할 것으로 예상됩니다. 따라서, 프로그래밍 언어의 선택은 명확성 및 속도를 위해 프로그래밍되는 문제의 종류에 적합한 프로그래밍 언어의 선택에 의존 할 수있다.

시스템 프로그래밍에 대한 C의 인기는 아마도 C가 기계 아키텍처에 가깝고 시스템 프로그래밍도 해당 아키텍처와 직접 관련되어 있기 때문일 것입니다.

다른 프로그래밍 문제는 로직 프로그래밍 및 제약 조건 해결 언어를 사용한 빠른 실행으로보다 쉽게 ​​프로그래밍 됩니다 .

복잡한 반응 시스템 은 Esterel 과 같은 특수 동기 프로그래밍 언어를 사용하여 매우 효율적으로 프로그래밍 할 수 있으며, 이러한 시스템에 대한 매우 전문적인 지식을 구현하고 매우 빠른 코드를 생성합니다.

또는 극단적 인 예를 들기 위해 파서를 프로그래밍하는 데 사용되는 구문 설명 언어와 같은 일부 언어는 고도로 전문화되어 있습니다. 파서 생성기는 아무것도하지만, 같은 언어를위한 컴파일러입니다. 물론 튜링이 완전하지는 않지만,이 컴파일러는 효율적인 파싱 프로그램 생성과 같은 전문 분야에 매우 적합합니다. 지식의 영역이 제한되어 최적화 기술을 매우 전문화하고 미세 조정할 수 있습니다. 이러한 파서 생성기는 일반적으로 다른 언어로 코드를 작성하여 얻을 수있는 것보다 훨씬 낫습니다. 제한된 클래스의 문제에 대해 우수하고 빠른 코드를 생성하는 컴파일러를 갖춘 고도로 전문화 된 언어가 많이 있습니다.

따라서 큰 시스템을 작성할 때 단일 언어에 의존하지 않고 시스템의 다른 구성 요소에 가장 적합한 언어를 선택하는 것이 좋습니다. 물론 이것은 호환성 문제를 일으킨다.

종종 중요한 또 다른 요점은 프로그래밍되는 주제에 대한 효율적인 라이브러리의 존재입니다.

마지막으로 속도는 유일한 기준이 아니며 코드 안전 (예 : 잘못된 입력 또는 시스템 오류에 대한 복원력), 메모리 사용, 프로그래밍 용이성 (패러다임 호환성이 실제로 도움이 될 수 있음)과 같은 다른 기준과 충돌 할 수 있습니다. ), 객체 코드 크기, 프로그램 유지 보수성 등

속도가 항상 가장 중요한 매개 변수는 아닙니다. 또한 평균 복잡도이거나 더 복잡한 대소 문자 복잡도 일 수있는 복잡성과 같이 다른 모양을 취할 수도 있습니다. 또한 작은 프로그램처럼 큰 시스템에는 속도가 중요한 부분이 있고 다른 부분은 그다지 중요하지 않은 부분이 있습니다. 미리 결정하기가 항상 쉬운 것은 아닙니다.

답변

function f() { return x; }

for (i=0; i<40; i+=1) { g(i); }