Q 언어 특성

Q는 표현식 지향 언어입니다. Q로 구성된 모든 내용은 표현식입니다. 실제로 "프로그램"은 전체 표현식일 뿐입니다. Q로 구성된 표현식은 산술 연산식과 매우 유사합니다. 산술 연산식과 같이 Q로 구성된 표현식은 개념적으로 하위 표현식의 트리입니다. 따라서 Q 언어의 요소가 자연적으로 리프의 기본 표현식 및 내부 노드의 컴포지트 표현식과 같은 두 개의 카테고리에 속합니다. 기본 표현식은 모든 표현식의 기본 빌딩 블록입니다. 이는 산술 연산식에서의 숫자와 같습니다. 컴포지트 표현식은 더 작은 표현식에서 더 큰 표현식을 생성하는 수단입니다. 따라서 산술 연산자와 같습니다.

평가에 산술 연산식과 Q로 구성된 표현식 간의 또 다른 병렬이 사용됩니다. 산술 연산식과 같이 하위 표현식을 평가하는 각 컴포지트 표현식과 함께 표현식의 평가가 반복적으로 진행됩니다.

Q는 부정적인 영향이 없는 언어입니다. 평가 시 상태가 변경되지 않고 값이 조합됩니다. 특히, 프로그램이 실행될 때 값을 변경하는 변수가 없습니다. 또 다른 중요한 결과는 프로그램이 현재 IBM® Rational® Rhapsody® ReporterPLUS에 로드되는 모델을 변경할 수 없다는 것입니다.

Q는 유형이 지정된 언어입니다. Q로 구성이 잘된 표현식에는 정확한 유형이 사용됩니다. Q 언어 컴파일러가 이 유형을 추정하고 모든 표현식이 유형과 호환되는지 확인합니다.


피드백