현재 프로필은 의도적으로 전체 R7RS-small보다 작고 호스팅 백엔드는 LIL 85/205와 LIT 84/205라는 별도 명시 경계를 드러냅니다.
현재 보장
- 구현됨: 결정적 수치 탑, 어휘 변경, 올바른 꼬리 호출, 다중 값, 예외·guard, 일회 탈출 연속, 불변 집합과 변경 벡터, 명시 라이브러리.
- 보류: 다회 연속·재진입, 포트·일반 I/O, 초월함수, 변경 가능한 쌍·문자열·바이트벡터, 정확 Unicode folding, 사용자 매크로.
- LIL은 버전된 primitive capability 205행 가운데 85행을 구현하고 120행을 명시적으로 거부하며, LIT는 별도로 84행을 구현하고 121행을 거부합니다. 백엔드 admission이 언어 프로필을 넓히지는 않습니다.
- v1.5.3은 인증과 검증자 재실행 뒤에 네이티브 로컬 결정 gate를 추가하지만 v1.5 언어 프로필을 바꾸거나 공개된 144사례 공동 영수증을 다시 쓰지 않습니다.
- 미래 작업에는 명시적 의미론 결정과 스펙·구현·테스트·증거의 동시 갱신이 필요합니다.
범위 원장
| 영역 | 현재 v1.5 | 보류 |
|---|---|---|
| 제어 | 일회 위쪽 call/cc, dynamic-wind, 핸들러, guard | 다회 연속과 동적 재진입 |
| 수 | 정확 정수·유리수와 유한 실수; 정확 정수 지수·제곱근 | 복소수와 플랫폼 초월함수 |
| 변경 | 어휘 셀과 벡터 | 변경 쌍, 문자열, 바이트벡터 |
| 효과 | 정규 출력과 명시 호출 경계 | 포트, 파일, 네트워크, 시간, 난수 |
| 메타프로그래밍 | 내장 위생 파생 형식 정규화 | 사용자 매크로와 define-syntax |
| 백엔드 범위 | Rust 레퍼런스와 현재 LIL 85/205 및 LIT 84/205 경계이며 정확한 144사례 공개 공동 영수증은 이전 공통 84행 경계를 측정 | 범위 없는 전체 언어 동등성이나 LIT 소스 독립성이나 남은 LIL 120행 및 LIT 121행 |
경계
- 보류 기능을 다른 Scheme 구현에서 추론하면 안 됩니다.