표현식

핵심에서 Q# 식은 값 리터럴 또는 식별자입니다. 여기서 식별자는 지역적으로 선언된 변수 또는 전역적으로 선언된 호출 가능 항목을 참조할 수 있습니다(현재 Q#에는 전역 상수가 없습니다). 연산자, 결합자 및 한정자를 사용하여 이를 더 다양한 식으로 결합할 수 있습니다.

• 어떤 의미에서 연산자는 특정 호출 가능한 전용 구문에 불과합니다.

  Q#이 아직 지원 호출 가능 선언의 형식으로 각 연산자의 기능을 공식적으로 캡처할 만큼 충분히 표현되지는 않지만 향후 수정되어야 합니다.

• 한정자는 특정 식에만 적용할 수 있습니다. 식별자, 배열 항목 액세스 식, 명명된 항목 액세스 식 또는 단일 항목 튜플과 동일한 괄호 안의 식인 식에 하나 이상의 한정자를 적용할 수 있습니다(이 섹션 참조). 식 앞(전위)에 있거나 식 뒤(후위)에 있을 수 있습니다. 따라서 이들은 함수 또는 연산 호출보다 더 밀접하게 바인딩되지만 어떤 종류의 항목 액세스보다 덜 엄격하게 바인딩되는 특수 단항 연산자입니다. 구체적으로, 펀터는 전위 한정자이고 래핑 해제 연산자는 후위 한정자입니다.

• 한정자와 마찬가지로 함수 및 연산 호출과 항목 액세스는 적용 가능한 위치와 관련하여 동일한 제한이 적용되는 특수한 종류의 연산자로 볼 수 있습니다. 이를 결합자라고 합니다.

우선 순위 및 연관성 섹션에는 모든 연산자의 전체 목록과 모든 한정자와 결합자의 전체 목록이 포함되어 있습니다.