리스펙스를 배우는 가장 빠른 길은 바로 실행해 보는 것입니다. 설치 없이 보려면 플레이그라운드를 쓰고, Node 환경이 익숙하면 npm CLI를 쓰고, 의존성 없는 CLI나 리스펙스 바우치 영수증 생성이 필요하면 네이티브 단독 실행 바이너리를 설치하세요.
설치하거나 브라우저에서 실행
플레이그라운드. 가장 빠른 방법은 사이트 안의 플레이그라운드입니다. Rust로 작성되어 WASM으로 컴파일된 레퍼런스 인터프리터가 브라우저 안에서 그대로 동작하므로 설치가 필요 없습니다.
네이티브 바이너리. lispex diff-receipt, 의존성 없는 CLI, 서버나 스크립트용 설치가 필요하면 단독 실행 바이너리를 설치합니다.
# macOS / Linux
curl -fsSL https://www.lispex.com/install.sh | sh# Windows PowerShell
irm https://www.lispex.com/install.ps1 | iex다운로드 페이지에서 바이너리와 체크섬을 직접 받을 수도 있습니다.
npm. Node 18 이상이 이미 있다면 lispex run, lispex verify, lispex replay용으로 npm CLI를 설치할 수 있습니다.
npm install -g lispex브라우저 플레이그라운드와 npm CLI는 같은 Rust 레퍼런스 인터프리터의 WASM 빌드를 사용합니다. 네이티브 바이너리는 같은 레퍼런스 인터프리터를 직접 실행하며 공개 영수증 생성 경로입니다.
설치를 확인합니다.
lispex --version첫 프로그램 실행
hello.lspx 파일을 만듭니다. 첫 줄은 입력 문법 버전을 고정하는 선택 헤더입니다.
;! lispex 1.4
(define message "안녕, 리스펙스!")
message실행합니다.
lispex run hello.lspx브라우저 플레이그라운드와 CLI는 같은 레퍼런스 인터프리터 의미론을 사용합니다.
v1.4에서는 이 공유 경로가 더 넓어졌습니다. apply, values,
call-with-values, modulo, string-append, number->string이 네이티브
인터프리터와 플레이그라운드/npm 패키지가 쓰는 WASM 빌드에서 함께
검사됩니다.
리스펙스 바우치 아티팩트 검사
리스펙스 바우치는 프로젝트에 커밋해 둔 규칙 코퍼스에 영수증 기반 검사 흐름을 더합니다. lispex verify는 영수증을 오프라인으로 검사하고, lispex replay는 결정 코퍼스를 버전이나 영수증 집합과 비교합니다.
lispex diff-receipt --input inputs/age-threshold.datum rules/age-threshold.lspx > receipts/age-threshold.json
lispex verify receipts/age-threshold.json
lispex replay decision-gallery --against decision-gallery/expected첫 번째 명령은 네이티브 단독 실행 바이너리에서 실행합니다. 이 바이너리가 공개 영수증 생성 경로이며 csk.differential-receipt/v0 JSON을 표준 출력에 씁니다. npm CLI는 기존 아티팩트의 오프라인 verify와 replay를 맡습니다. 영수증은 정확한 규칙과 입력, 관측과 해시를 기록합니다. 네이티브 바우치는 게시자 인증과 현재 실행 일치를 더하고, 호스트 애플리케이션은 결과 결정을 누가 언제 어떤 배포에 적용했는지 기록합니다.
다음 단계
- 구문에서 토큰, 리터럴, 코어 폼, 파생 폼, 정규화 규칙을 확인하세요.
- 다운로드 페이지에서 단독 실행 바이너리를 받을 수 있습니다.
- 결정 규칙 작성하기에서 환불 승인과 할인율 같은 규칙을 직접 만들어 보세요.
- 가이드에서 능력 모듈과 타깃 언어 실행 팁을 읽어 보세요.
- 플레이그라운드에서 바로 실행해 보세요.
- 리스펙스 바우치에서 검사 가능한 부분집합, 영수증,
verify,replay를 살펴보세요.
리스펙스로 무엇을 만들어낼지 기대됩니다.