테이블에 모든 연산자와 특수 함수에 대한 우선순위와 연관성이 요약되어 있습니다. 첫 번째 항목의 우선순위가 가장 높으며
하향식으로 우선순위가 감소됩니다.
이 테이블에서 "ID expr"는 함수 애플리케이션을 나타내며 "type expr"는 변환 연산자의 애플리케이션을 나타냅니다.
대체 연산자(|=>) 및 관계 연산자(=, <> 등)는 연관되지 않습니다.
연산자의 우선순위 및 연관성 테이블
- 연산자
- 연관성
- $,
map, filter, traverse, sort, ID expr, type
expr
- R
- (unary) -, not
- R
- *, /
- L
- +, -
- L
- =, <>, ~=, ~<>, <, <=, >, >=
- –
- And
- L
- Or
- L
- Implies
- R
- let,
if, for_all, there_exists
- R
- |=>
- –