type-checking 없이 borrow-checking

동적 타입, inline value, stack allocation, interior pointers, single ownership을 가진 toy language에서 static type 없이 borrow-checking을 런타임으로 구현한다.

Julia와 Zig처럼 동적 타입 체크 위에 정적 타입 체크를 얹어, 가능하면 동적 체크를 증명 가능한 곳에서는 제거하고 불가능한 부분만 남기는 관점을 따른다. Zest에서는 동적 코드와 정적 코드를 명시적으로 전환해 REPL, live reloading, runtime code generation 같은 영역을 살리려 한다.

• box는 값을 heap에 두는 참조이고, *는 역참조다.
• 기본 복사는 값 의미를 유지하지만, 큰 값에는 비현실적이므로 owned reference는 기본 복사를 금지한다.
• ^는 move, !는 borrowed reference, &는 shared reference다.
• borrowed reference는 드롭될 때 값을 원래 위치로 돌려주고, shared reference는 원본을 유지하되 mutation을 막는다.
• closures는 implicit capture 대신 explicit capture를 써서, 캡처 상태를 tuple과 함수로 desugar한다.
• 안전 규칙은 box가 borrowed/shared reference를 담지 못하게 하고, borrow 중 추가 borrow를 막고, drop 이후에만 다시 borrow하게 만드는 것이다.
• 구현은 dynamic frames에서만 stack-based, non-atomic reference counting을 쓰며, 위반 시 정확한 value를 가리키는 runtime error를 낸다.

결론적으로, static typing 없이도 값 의미와 mutable semantics를 함께 지키려는 borrow-checking 실험이다. 다만 Rust보다 표현력은 덜하고 제약도 많다.