설계 철학

1// 추상화 계층의 예시
2
3// 구문 계층 (다양한 언어들)
4function 팩토리얼(n: int) -> int {  // 토파즈
5    if n <= 1 { 1 } else { n * 팩토리얼(n-1) }
6}
7
8// 의미 계층 (USG - 언어 무관)
9함수 {
10    이름: "팩토리얼",
11    매개변수: [바인딩("n", 정수타입)],
12    본문: 조건문 {
13        조건: 작거나같음(접근("n"), 리터럴(1)),
14        참일때: 반환(리터럴(1)),
15        거짓일때: 반환(
16            곱셈(
17                접근("n"),
18                호출("팩토리얼", [뺄셈(접근("n"), 리터럴(1))])
19            )
20        )
21    }
22}
23
24// 실행 계층 (SAM)
25SAM.실행(usg_노드)

1// 이론적 기반의 구현 예시
2
3// 람다 대수 기반 함수 표현
4let 처치숫자_둘 = |f| |x| f(f(x))  // Church numeral 2
5
6// 함수 합성
7function 합성<A, B, C>(g: (B) -> C, f: (A) -> B) -> (A) -> C {
8    |x| g(f(x))
9}
10
11// 타입 안전성
12struct 안전한나누기 {
13    피제수: int,
14    제수: NonZero<int>  // 0이 아닌 정수
15}
16
17// 형식 의미론
18function 평가(표현식: 표현식타입, 환경: 환경타입) -> 값타입 {
19    match 표현식 {
20        case 변수(x) => 환경.찾기(x)
21        case 적용(f, e) => {
22            match 평가(f, 환경) {
23                case 함수(매개변수, 본문) => {
24                    let 새환경 = 환경.바인드(매개변수, 평가(e, 환경))
25                    평가(본문, 새환경)
26                }
27            }
28        }
29    }
30}
31
32// 타입 체크 예시
33function 타입검사(표현식: 표현식타입, 환경: 타입환경) -> Result<타입, 오류> {
34    match 표현식 {
35        case 리터럴(v) => Ok(타입추론(v))
36        case 변수(x) => 환경.타입찾기(x)
37        case 람다(매개변수, 본문) => {
38            let 본문타입 = 타입검사(본문, 환경.확장(매개변수))?
39            Ok(함수타입(매개변수.타입, 본문타입))
40        }
41    }
42}