아키텍처

1// USG 표현 예시
2struct 의미그래프 {
3    노드들: 배열[의미론적원자],
4    제어간선: 배열[제어흐름],
5    데이터간선: 배열[데이터의존성],
6    타입정보: 타입컨텍스트,
7}
8
9// 의미론적 원자 예시
10enum 의미론적원자 {
11    바인딩(식별자, 표현식),
12    적용(함수, 인자들),
13    조건문(조건, 참가지, 거짓가지),
14    시퀀스(배열[문장]),
15    호출(함수이름, 인자배열),
16    반복(조건, 본문),
17    리터럴(값),
18    접근(변수이름),
19    // ... 134개 원자 중 일부
20}
21
22// 사용 예시
23let 그래프 = 의미그래프 {
24    노드들: [
25        의미론적원자.바인딩("결과", 호출표현식),
26        의미론적원자.반환(접근("결과"))
27    ],
28    제어간선: [순차연결(0, 1)],
29    데이터간선: [데이터흐름(0, 1, "결과")],
30    타입정보: 타입컨텍스트.새로운()
31}

1// SAM 상태 구조 예시
2struct SAM상태 {
3    현재노드: 노드ID,
4    환경: 환경타입,
5    연속: 연속타입,
6    메모리: 추상힙,
7    최적화힌트: 배열[최적화힌트],
8}
9
10// 실행 단계 예시
11impl SAM {
12    function 단계실행(self: mut SAM, 그래프: USG) -> Result<단계결과, 오류> {
13        match self.현재노드 {
14            case 노드ID(id) => {
15                let 노드 = 그래프.노드가져오기(id)?
16                self.의미론적원자처리(노드)
17            }
18        }
19    }
20    
21    function 의미론적원자처리(self: mut SAM, 원자: 의미론적원자) -> Result<단계결과, 오류> {
22        match 원자 {
23            case 바인딩(이름, 값) => {
24                self.환경.바인드(이름, 값)
25                self.다음노드로()
26            }
27            case 조건문(조건, 참, 거짓) => {
28                let 결과 = self.평가(조건)?
29                if 결과.참인가() {
30                    self.현재노드 = 참
31                } else {
32                    self.현재노드 = 거짓
33                }
34            }
35            // ... 다른 원자 처리
36        }
37    }
38}