이 카탈로그는 리스펙스 v1.20.0에서 제공하는 제품과 각 제품이 소유하는 역할을
설명합니다.
언어와 실행
| 제품 | 제공 동작 | 공개 표면 |
|---|
| 기준 인터프리터 | 추적하는 primitive 205행을 포함한 현재 리스펙스 프로파일 전체 | 네이티브, npm, WebAssembly, 플레이그라운드 |
| Meaning v1 | Core IR 투영, 명시적 의미 평가, 공유 셀, 변경, 꼬리 호출, 탈출 제어, 동적 정리, 정확한 관측 | 네이티브 |
| Rust VM | 정규 Core IR, 검증된 바이트코드, 명시적 제어 실행, 진단, 자원 | 네이티브 |
| 토파즈 VM | 정확한 별도 설치형 토파즈 5.11 실행 제품 | 네이티브 macOS ARM64 |
| 토파즈 AOT | 읽을 수 있는 생성 토파즈, source map, 독립 실행 파일, 정확한 build 식별자 | 네이티브 macOS ARM64 |
| 자원 제어 embed | 설정한 준비·평가 자원을 사용하는 결정 프로파일 | 네이티브와 import 없는 WebAssembly 구성요소 |
| Full embed | primitive 205행과 fresh instance를 사용하는 현재 프로파일 전체 | 네이티브와 import 없는 WebAssembly 구성요소 |
| SICP | Scheme 호환 교육 프로파일, typed observation, 정확한 trace, 장별 시스템 | 네이티브, @lispex/sicp, 플레이그라운드 프로파일, sicp.io |
| LIL | 추적하는 primitive 205행을 지원하는 리스펙스로 쓴 리스펙스 인터프리터 | 네이티브 차분 도구 |
| LIT | 추적하는 primitive 84행을 지원하는 토파즈로 쓴 리스펙스 인터프리터 | 네이티브 차분 도구 |
아티팩트와 흐름
| 제품 | 역할 |
|---|
| Core IR | 결속, global, primitive, 꼬리 위치, 소스 anchor, requirement 식별자를 담은 정규 의미 |
| 검증된 바이트코드 | Rust와 토파즈 VM 경로가 사용하는 정규 명령 아티팩트 |
| 휴대 코어 | 정확한 규칙과 입력과 자원 계약과 평가기 아티팩트와 transcript와 결과를 결속 |
| 리스펙스 이미지 | 정확한 소스 바이트의 정규 PNG 또는 ZIP 표현 |
| 결정 디렉터리 | run, inspect, verify, replay를 위한 다섯 구성원 로컬 기록 |
| 결정 교환 | 발급자 봉투, 수신자 정책, 요청 결속, 인증, 재실행 |
| 바우치 | 서명된 근거 인증과 네이티브 로컬 결정 게이트 |
| 경로 catalog | 정확한 companion 제품 가져오기, 설치 영수증, 선택 잠금, 진단, 이동 |
플랫폼 제공 현황
| 표면 | 기준 실행 | Meaning v1 | Rust VM | 토파즈 경로 | Embed | 바우치 | SICP |
|---|
| 네이티브 macOS ARM64 | 지원 | 지원 | 지원 | VM과 AOT | 결정과 Full | 발급, 검증, 재실행, 게이트 | 지원 |
| 그 밖의 네이티브 | 지원 | 지원 | 지원 | catalog 상태 | 결정과 Full | 발급, 검증, 재실행, 게이트 | 지원 |
| npm | 지원 | 네이티브 아티팩트 연결 | 아티팩트 검사 | 경로 metadata | package API | 검증 | 지원 |
| WebAssembly | 지원 | 기준 표면 | 기준 표면 | 경로 metadata | import 없는 구성요소 | 공유 검증 코어 | 지원 |
| 플레이그라운드 | 지원 | 제품 안내 | 기준 표면 | 다운로드 안내 | 제품 안내 | 네이티브 인계 | SICP 프로파일 |
제품 소유 영역
런타임 프로파일은 언어 의미를 소유합니다. Core IR과 바이트코드 계약은 정규
컴파일 아티팩트를 소유하고 embed는 자원 제어 평가와 휴대 코어를 소유합니다.
결정 교환은 발급자와 수신자 아티팩트를 소유하고 바우치는 서명된 근거와 로컬
게이트 평가를 소유합니다. 호스트 애플리케이션은 업무 정책과 네트워크 접근과
유효 시점과 중복 사용 방지와 외부 행동을 소유합니다. 토파즈는 compiler,
adapter, admission, release 제품을 소유합니다.
다음으로
런타임과 백엔드 · 검사된 제품 표면