의미론적 원자

1// 의미론적 원자 정의 예시
2enum 의미론적원자 {
3    // 제어 흐름
4    시퀀스(배열[노드ID]),
5    조건문(조건노드, 참노드, 거짓노드?),
6    반복(반복타입, 조건노드, 본문노드),
7    호출(함수노드, 배열[인자노드]),
8    반환(값노드?),
9    
10    // 데이터 조작
11    바인딩(식별자, 값노드),
12    할당(대상노드, 값노드),
13    접근(식별자),
14    리터럴(값),
15    
16    // 연산
17    이항연산(연산타입, 왼쪽노드, 오른쪽노드),
18    단항연산(연산타입, 피연산자노드),
19    
20    // 구조 정의
21    함수(함수시그니처, 본문노드),
22    클래스(클래스정의),
23    모듈(모듈정의),
24    
25    // ... 총 60개 원자
26}
27
28// 사용 예시
29let 프로그램 = 의미론적원자.시퀀스([
30    의미론적원자.바인딩("수", 리터럴(10)),
31    의미론적원자.조건문(
32        이항연산(">", 접근("수"), 리터럴(5)),
33        호출("출력", [리터럴("툁")]),
34        호출("출력", [리터럴("작음")])
35    )
36])

1// 타입 시스템 정의 예시
2enum 타입 {
3    // 기본 타입
4    단위,
5    불린,
6    정수(정수크기),
7    실수(실수크기),
8    문자열,
9    
10    // 복합 타입
11    튜플(배열[타입]),
12    레코드(맵[문자열, 타입]),
13    유니온(배열[타입]),
14    배열(타입, 크기?),
15    
16    // 함수 타입
17    함수(배열[타입], 타입),
18    클로저(환경, 함수타입),
19    
20    // 참조 타입
21    참조(타입, 가변성),
22    포인터(타입),
23    
24    // 제네릭 타입
25    제네릭(문자열, 배열[타입]),
26}
27
28// 타입 추론 예시
29function 타입추론(값: any) -> 타입 {
30    match 값 {
31        case true | false => 타입.불린
32        case n if 정수인가(n) => 타입.정수(32)
33        case f if 실수인가(f) => 타입.실수(64)
34        case s if 문자열인가(s) => 타입.문자열
35        case [...요소들] => 타입.배열(타입추론(요소들[0]))
36        case {...필드들} => 타입.레코드(필드타입추론(필드들))
37    }
38}