6
(가능하면) 비교적 낮은 오버 헤드로 크로스 플랫폼에서 실행될 수 있도록 표준 C로 컴파일되는 정식 검증에 적합한 상위 레벨 시스템 언어를 찾고 있습니다. c로 컴파일되는 고급 시스템 언어?
나는 지난 몇 일 동안 발견 한 두 개의 가장 유망한 같은 언어
은 다음과 같습니다BITC이 -이 언어의 설계 목표는 내 요구를 일치하는 동안 (그것도 기능 패러다임을 지원), 그것은 매우 불안정한 상태에 있으며 설명서가 오래되어 일반적으로 실제 프로젝트에서 매우 긴 장면처럼 보입니다.
Lisaac - 매우 시원하고 상대적으로 낮은 성능 오버 헤드를 가진 Design-by-Contract를 지원합니다. 그러나 웹 사이트는 죽었습니다. 2008 년 이후로 새로운 버전이 출시되지 않았고 일반적으로 언어가 죽은 것으로 보입니다. 나는 또한이 실시간 시스템을위한 것이 아닙니다, 그래서 GC 또는, 일반적으로, (실시간 의미에서) 비 결정론이 문제가되지 않는 것 참고하고 싶습니다
.
프로젝트는 크로스 플랫폼이어야하지만 주로 오디오 처리가 필요합니다.
저는 누군가가 저에게 명백한 대답 인 "plain ol 'C"를 가르키고 있다고 가정합니다. 진정으로 크로스 플랫폼이며 매우 효과적이지만, 코드 양은 더 클 것입니다.
편집 : 크로스 플랫폼 및 교차 아키텍처를 의미하는지 명확히해야합니다. 그래서 처음부터 C 언어로만 컴파일 된 언어를 생각해 보았습니다. 그러나 다른 예제를 가르쳐 주시면 감사하겠습니다. :)
C++을 보셨습니까? 높은 수준의 시스템 언어입니다. –
네,하지만 C++에 의해 도입 된 복잡성은 여분의 문제가되지 않을 것입니다. 또한이 지구의 모든 컴파일러는 언어 표준의 다른 부분을 지원하며 예를 들어. 예외는 엉망이다. RTTI와 C++을 더 높은 수준으로 만드는 모든 기능에 동일하게 적용됩니다. –
C++이 마음에 들지 않는다면 GC가있는 D를 살펴보고 C++보다 덜 복잡합니다. 하지만 라이브러리는 많지 않지만 C++ can처럼 C 코드와 상호 작용할 수 있습니다. 이 두 언어 중 어느 것도 실제로 C로 컴파일되지는 않지만 기계어 코드로 컴파일됩니다. –