리스펙스는 결정적 평가, Rust 레퍼런스 인터프리터, 확인 가능한 실행 증거를 중심에 둔 매크로 없는 R7RS-small Scheme 프로필입니다.
한눈에 보기
LISPEX
(map (lambda (n) (* n 10)) (filter even? (list 1 2 3 4 5 6)))결과
OUTPUT
(20 40 60)현재 보장
- 현재 실행 프로필은 호스트 기본값에 맡기지 않고 평가 순서, 수 표기, 진단, 제어 전이, 자원 동작을 고정합니다.
- 네이티브 CLI가 레퍼런스 인터프리터입니다. npm, 공개 WASM, 플레이그라운드는 같은 Rust 구현 계보를 사용합니다.
- 이 설명서는 언어 보장과 Vouch 영수증·Bridge 아티팩트 검사를 구분합니다.
경계
- 리스펙스는 완전한 R7RS 범위, 백엔드 독립성, 의미적 동등성의 증명을 주장하지 않습니다.
- 현재 제품은 인터프리터이며 타깃 코드를 내보내는 컴파일러가 아닙니다.