필요한 기능을 제공하는 리스펙스 v1.21.0 제품과 실행 플랫폼을 찾습니다. 예를 들어 검증된 바이트코드는 네이티브에서 실행하고, 소스 파일은 네이티브와 npm에서 실행합니다. 이 페이지의 표들을 현재 제품 카탈로그라고 부릅니다.
다운로드에서 제품을 설치하거나 첫 프로그램을 따라 해 보세요. CLI 참조에는 명령별 입력과 결과가 있습니다.
배포 형태와 플랫폼
네이티브는 내려받아 쓰는 실행 파일입니다. npm 패키지는 Node.js에서 WASM으로 기준 인터프리터를 실행합니다. WASM 구성요소를 애플리케이션에 직접 통합할 수도 있습니다. 플레이그라운드는 브라우저에서 실행됩니다.
| 배포 형태 | 제공 기능 |
|---|---|
| 공개 대상 플랫폼의 네이티브 | 소스 실행, 포매팅, MCP, Meaning Graph, Core IR, 리스펙스 VM, 두 임베딩 평가기, 이미지, 결정 교환, 전체 바우치 흐름, SICP |
| npm CLI와 패키지 | 소스 실행, 이미지, 오프라인 기록 검사와 기록된 사례 비교, 수신자 정책, 바우치 인증, 결정 묶음 검사와 인증, SICP |
| 공개 WASM 구성요소 | 기준 인터프리터 API, 이미지 인코딩과 복원, 공유 검증 코어, 외부 함수를 가져오지 않는 두 임베딩 평가기, SICP 구성요소 |
| 플레이그라운드 | 대화형 소스 실행, 이미지 작업, SICP 프로파일과 네이티브 등 설치 제품 안내 |
배포 형태별 파일은 다운로드 페이지에 있습니다.
실행 기능
언어 프로파일은 프로그램에서 쓸 수 있는 형식과 내장 프로시저를 정합니다. 자원 프로파일은 실행 한도를 정합니다.
| 기능 | 실행하거나 만드는 것 | 사용 위치 |
|---|---|---|
| 리스펙스 인터프리터 | 내장 프로시저 205개 항목을 포함한 현재 언어 프로파일 전체의 소스 | 네이티브, npm, WASM, 플레이그라운드 |
| Meaning v1 | Core IR에서 만든 그래프의 실행과 결과와 출력과 진단 기록 | 네이티브 |
| 리스펙스 VM | 검증된 바이트코드 실행과 명시적인 실행 상태와 진단과 자원 사용량 | 네이티브 |
결정 평가기 (embed) | 준비와 평가 한도를 따로 지정한 결정 프로파일 규칙 | 네이티브와 외부 함수를 가져오지 않는 WASM 구성요소 |
전체 평가기 (embed full) | 새 인스턴스에서 실행하는 현재 언어 프로파일 전체와 프로시저 205개 항목 | 네이티브와 별도의 WASM 구성요소. 외부 함수를 가져오지 않음 |
| SICP | Scheme 호환 교육 프로파일과 타입을 구분한 결과와 정확한 실행 추적과 장별 시스템 | 네이티브, npm CLI, @lispex/sicp, 플레이그라운드 SICP 프로파일, sicp.io |
Meaning v1은 공유 변수 셀과 값 변경과 꼬리 호출과 탈출 제어와 동적 정리를 지원합니다. 두 임베딩 평가기는 별도 제품입니다. 둘 다 요청마다 새 인스턴스를 만듭니다. 입력과 한도는 자원 제어 평가기에서 확인하세요.
LIL과 LIT는 내부 교차검증 역할을 완수했습니다. 앞으로의 유지보수 비용을 줄이기 위해 리스펙스 1.21에서 퇴역했습니다. 현재 리스펙스 실행과 과거 LIL/LIT 기록은 실행 엔진 참조에서 확인하세요.
파일과 작업 흐름
| 파일 또는 작업 흐름 | 용도 |
|---|---|
| Core IR | 이름의 참조를 정하고 바인딩과 전역 변수와 내장 프로시저와 꼬리 위치와 소스 위치와 요구사항을 정해진 형식으로 기록 |
| 검증된 바이트코드 | 리스펙스 VM이 검사하고 실행할 명령 저장 |
| 이식 가능한 핵심 기록 | 한 번의 실행에서 사용한 정확한 규칙과 입력과 자원 규칙과 평가기 파일과 실행 내역과 결과를 연결 |
| 리스펙스 이미지 | 정확한 소스 바이트를 복원할 수 있도록 정해진 PNG 또는 ZIP 형식에 저장 |
| 결정 디렉터리 | 결정 실행과 살펴보기와 검사와 재실행에 쓰는 로컬 파일 다섯 개 보관 |
| 결정 교환 | 인증과 재실행에 쓸 발급자 기록과 수신자 정책과 요청 연결 정보 전달 |
| 리스펙스 바우치 | 서명된 기록 인증. 네이티브에서는 게이트로 로컬 승인 규칙 평가 |
호출 애플리케이션이 정할 것
런타임은 언어 프로파일에 따라 프로그램을 평가합니다. Core IR과 바이트코드는 정해진 파일 형식을 사용합니다. 임베딩 평가기는 요청한 자원 한도를 적용하고 이식 가능한 핵심 기록을 만듭니다. 결정 교환은 발급자와 수신자 기록을 만듭니다. 리스펙스 바우치는 서명된 기록을 인증하고 로컬 게이트를 평가합니다.
호출 애플리케이션은 업무 정책과 네트워크 접근과 유효 시점 검사와 중복 사용 방지를 정합니다. 결과를 받은 뒤 외부 행동을 결정하고 수행하는 주체도 호출 애플리케이션입니다. 토파즈는 컴파일러와 어댑터와 제품 수용 검사와 릴리스를 관리합니다.