현재 제품
리스펙스는 결정론적 결정 언어입니다. Rust 기준 인터프리터가 런타임 동작을 정의하고 추적하는 primitive 205행을 모두 지원합니다. 선택한 자원 프로파일에서 같은 소스와 입력은 같은 관측 결과를 만듭니다.
네이티브, npm, WebAssembly, 플레이그라운드, sicp.io는 언어를 사용하는 서로 다른 경로를 제공합니다. 정확한 소스와 입력 식별자, 정규 아티팩트, 안정적인 진단, typed observation이 이 표면들을 연결합니다.
| 시스템 | 제품 역할 |
|---|---|
| 기준 인터프리터 | 현재 언어 프로파일 전체로 리스펙스 소스를 직접 실행합니다. |
| Meaning Graph와 Meaning Environment v1 | Core IR을 명시적 의미 그래프로 투영하고 제어 흐름, 공유 셀, 변경, 꼬리 호출, 일회 탈출 continuation, 동적 정리, stdout, 값, 경고, 오류를 평가합니다. |
| Core IR과 검증된 바이트코드 | 결속과 꼬리 위치를 한 번 해소하고 정규 바이트코드를 컴파일해 Rust 가상 머신에서 실행합니다. |
| 네이티브 실행 경로 | 정확한 경로 식별자와 로컬 경로를 담지 않는 선택 잠금으로 tree, Rust VM, 토파즈 VM, 토파즈 AOT 제품을 선택하고 검사합니다. |
| 자원 제어 embed | 설정한 작업량과 메모리 값으로 결정 프로파일을 실행하고 해당 결과의 휴대 코어를 만듭니다. |
| Full embed | 별도 식별한 import 없는 WebAssembly 구성요소와 작업마다 새 인스턴스로 primitive 205행을 모두 실행합니다. |
| 리스펙스 이미지 | 정확한 소스 바이트를 정규 PNG나 ZIP 아티팩트로 인코딩하고 네이티브, npm, WebAssembly, 플레이그라운드에서 그대로 복원합니다. |
| 결정 교환 | 정규 결정 아티팩트, 발급자 봉투, 수신자 정책, 요청 결속, 검사, 인증, 재실행을 하나의 흐름으로 구성합니다. |
| 바우치 | 서명된 결정 증거를 인증하고 네이티브가 소비자가 고정한 요청을 로컬 결정 게이트에서 평가하도록 합니다. |
| SICP | @lispex/sicp@1.0.0 교육 런타임, lispex sicp run, typed observation, 정확한 실행 trace, sicp.io의 장별 과정을 제공합니다. |
| LIL과 LIT | 리스펙스와 토파즈로 작성한 구현에서 리스펙스를 실행합니다. LIL은 추적하는 primitive 205개 중 205개, LIT는 205개 중 84개를 지원합니다. |
현재 방향
의미 구조 완성
Meaning Graph와 Meaning Environment v1은 공유 lexical cell, 변경, 꼬리 실행, 탈출 제어, 정확한 관측을 위한 명시적 제어 기반을 마련했습니다. 다음 의미 작업은 이 기반에서 실제 런타임 동작을 확장하고 Core IR을 해소된 의미의 단일 권위로 유지합니다.
LIT 지원 확대
LIT는 현재 추적하는 primitive 205개 중 84개를 구현합니다. Meaning Graph v1, Core IR, conformance corpus가 토파즈 구현에서 재사용할 실행 관측을 제공합니다. 추가하는 각 행은 직접 동작과 진단과 자원 계량을 함께 제공합니다.
정확한 실행을 더 쉽게 사용하기
네이티브는 inventory, 설치, 경로 선택, 진단, 측정, 잠금 실행, 이동을 하나의 제품 흐름으로 이어갑니다. npm과 WebAssembly는 같은 정규 아티팩트와 typed 결과를 애플리케이션 흐름으로 가져갑니다.
결정 흐름 강화
결정 교환과 바우치는 정확한 소스, 정확한 입력, 수신자 소유 정책, 인증한 발급자 식별자, 새 재실행, 명시적 애플리케이션 인계를 중심으로 발전합니다. 수신 애플리케이션이 최종 업무 행동을 소유합니다.
학습 경로 확대
리스펙스 6단계 과정, 레퍼런스 매뉴얼, 플레이그라운드, SICP 과정을 함께 확장합니다. 영어, 한국어, 러시아어 페이지는 하나의 용어 체계를 사용하고 각 수업은 소스를 정확한 결과나 typed observation과 연결합니다.
릴리스 방식
기능 작업은 해당 모듈에서 실제 동작을 직접 확인합니다. 릴리스 후보는 immutable 네이티브와 패키지 아티팩트를 만들고 설치 제품 여정 하나를 실행한 뒤 같은 바이트를 공개하고 공개 채널을 확인합니다. 로드맵 항목은 구현을 시작할 때 버전을 배정합니다.
다음으로
정확한 버전 순서는 히스토리에서, 제품 원칙은 철학에서 확인하세요.