기본 표현식

기본 표현식은 모든 프로그램의 기본 빌딩 블록이며 다음이 포함됩니다.

  • 상수 리터럴 및 튜플
  • 산술, 관계 및 논리 오퍼레이션
  • 문자열의 연결, 비교 및 패턴 일치
  • 세트 오퍼레이션
  • 오브젝트 비교
  • 변수

상수 리터럴

상수 리터럴은 기본 유형의 문자열, 정수, 실수 및 부울과 regexp 유형의 값을 나타냅니다.

이러한 표현식은 해당 값을 단순히 평가합니다.

문자열

문자열은 따옴표(")로 묶입니다. 예를 들어, 다음과 같습니다.

"abc"
"a\"bc\tdef\n"

정수 예

2
100

실수 예

-2.0
3.4

부울

이 상수는 true 또는 false 중 하나입니다.

Regexp

정규식의 구문은 렉시칼 요소의 내용을 참조하십시오. 정규식은 다음 예제와 같이 강세표(`)로 묶입니다.

`[a-zA-Z]+`

튜플

튜플은 순서가 지정된 값의 콜렉션을 나타냅니다. 이러한 표현식은 다음 예제에서와 같이 쉼표로 구분된 컴포넌트의 괄호로 묶인 목록의 양식을 따릅니다.

(1, true)
("abc", true, -2.0)
주: 표시 양식을 단락에서 열로 변경하려면 \n을 사용하여 줄 바꾸기를 삽입하고 replace_all 명령에 대한 기타 내용을 변경합니다. 기본 제공 함수 카탈로그 섹션의 replace_all 명령 지시사항을 참조하십시오.

산술 오퍼레이션

기본 값에 대한 산술 오퍼레이션은 기본 표현식입니다. 산술 연산자 +, -, * 및 /는 정수 및 실수에서 일반적인 의미로 사용됩니다. 산술 연산자의 인수는 정수 또는 실수와 동일한 유형이어야 합니다.

관계 오퍼레이션

기본 값에 대한 관계 오퍼레이션은 기본 표현식입니다. 관계 연산자 =, <>, <, <=, > 및 >=는 정수 및 실수에서 일반적인 의미로 사용되며 <>는 부등식 연산자를 나타냅니다. 관계 연산자의 인수는 동일한 유형이어야 합니다.

논리 오퍼레이션

기본 값에 대한 논리 오퍼레이션은 부울에 대한 기본 표현식입니다. 논리 연산자는 다음과 같습니다.

not
and
οr
implies (p implies q  ≡ not p or q)

문자열 오퍼레이션

문자열의 연결, 비교 및 패턴 일치는 중위 연산자 형식의 기본 표현식입니다.

문자열 연결

다음 예제에서와 같이 연산자 +가 두 문자열을 연결합니다.

"abc" + "def" ⇒ abcdef

문자열 비교

다음 예제에서와 같이 관계 연산자(=, <>, <, <=, > 및 >=)가 문자열의 사전식 편집 비교를 구현합니다.

"abc" = "abd" ⇒ false
"abc" <> "abd" ⇒ true
"abc" < "abd" ⇒ true

문자열 패턴 일치

연산자 ~= 및 ~<>는 일치 또는 불일치 항목에 대해 오른쪽에 있는 정규식과 왼쪽에 있는 문자열을 비교합니다. 다음 예제에서와 같이 ~= 및 ~<>의 오른쪽 인수는 정규식 리터럴이 아닌 문자열 리터럴이어야 합니다.

"abc" ~= "a*" ⇒ true
"abc" ~<> "a*" ⇒ false
"10111010110101" ~= "[01]+" ⇒ true
"abcdefghijkl" ~= "[^01]+" ⇒ true

피드백