다운로드

네이티브 리스펙스 참조 인터프리터를 설치하고 체크섬을 확인하거나 npm과 플레이그라운드 실행 방식을 선택합니다.

리스펙스 설치하기

운영체제에 맞는 네이티브 실행 파일을 내려받거나 명령 한 줄로 설치하세요.

배포 파일 버전 v1.21.3

명령 한 줄로 설치하기

SHELL
# macOS / Linux
curl -fsSL https://www.lispex.com/install.sh | sh

# Windows (PowerShell)
irm https://www.lispex.com/install.ps1 | iex

설치 스크립트는 실행할 때 최신 릴리스를 찾고, 내려받은 실행 파일을 곁에 게시된 SHA-256 체크섬 파일과 비교합니다.

버전 확인하기

새 터미널을 열고 다음 명령을 실행하세요. 네이티브는 이름과 버전을 출력합니다.

SHELL
lispex --version
출력
lispex 1.21.3

명령을 찾지 못한다면

  • macOS와 Linux는 기본적으로 ~/.lispex/bin에 설치합니다. 이 디렉터리를 PATH에 추가한 뒤 셸을 다시 시작하세요.
  • Windows는 기본적으로 %LOCALAPPDATA%\Lispex\bin에 설치합니다. 사용자 PATH에 이 디렉터리를 추가한 뒤 새 PowerShell 창을 여세요.

npm으로 프로젝트에 설치하기

Node 18 이상이 있다면 프로젝트 폴더에 npm 패키지를 설치하세요.

SHELL
npm install lispex

같은 폴더에서 npx로 버전을 확인하세요. npx는 그 폴더에 설치된 lispex 명령을 실행합니다. npm 패키지는 버전 번호만 출력합니다.

SHELL
npx lispex --version
출력
1.21.3

같은 폴더에 다음 프로그램을 hello.lspx로 저장하세요.

LISPEX
(define language "Lispex")

(list 'hello language (+ 2 3))

npx로 파일을 실행하세요. 명령은 다음 결과를 출력하고 종료 상태 0으로 끝나며 새 파일을 만들지 않습니다.

SHELL
npx lispex hello.lspx
출력
(hello "Lispex" 5)

어느 폴더에서나 lispex 명령을 쓰려면 패키지를 전역으로 설치할 수도 있습니다. 네이티브도 설치했다면 lispex 명령은 PATH에서 디렉터리가 먼저 나오는 제품을 실행합니다.

SHELL
npm install -g lispex

명령을 찾지 못한다면 Node 18 이상이 활성화되어 있고 npm 전역 바이너리 디렉터리가 PATH에 들어 있는지 확인하세요.

설치 없이 쓰기

플레이그라운드는 브라우저에서 리스펙스를 실행합니다. 설치할 것이 없습니다. 첫 프로그램도 플레이그라운드에서 시작하므로 설치하기 전에 따라 할 수 있습니다.

다른 배포 방식

실행할 곳 고르기

할 일제품소스 파일 실행하기
브라우저에서 코드 시험하기플레이그라운드소스를 붙여 넣고 실행
Node.js 프로젝트에서 파일 실행하기npm 패키지npx lispex hello.lspx
내려받은 실행 파일 사용하기네이티브lispex hello.lspx

세 제품은 모두 기본으로 리스펙스 인터프리터를 사용합니다. 터미널에서 실행에 성공하면 결과를 출력하고 종료 상태 0으로 끝나며 새 파일은 만들지 않습니다. 제품은 설치하거나 여는 프로그램입니다. 실행 방식은 그 제품이 프로그램을 실행하는 방법입니다.

  • 네이티브를 고르면 가장 넓은 도구 표면을 쓸 수 있습니다. 리스펙스 인터프리터와 자원 제어 규칙 엔진과 검증 바이트코드용 리스펙스 VM과 중간 형식 명령과 정확한 리스펙스 이미지와 전체 바우치 흐름이 들어 있습니다. 네이티브는 증거 발행과 고정 요청의 현재 재실행과 로컬 게이트를 맡습니다. 같은 정확한 소스에서 컴파일된 결과물을 유도하고 리스펙스 VM 일치도 기록할 수 있습니다.
  • Node가 이미 있다면 npm판을 고르세요. 소스를 실행하고 Rust를 WASM으로 컴파일한 코어로 네이티브와 같은 정확한 이미지 명령을 제공하며 같은 검사기로 바우치 증거를 인증합니다. 결정 코퍼스도 오프라인으로 리플레이합니다. 중간 형식과 검증 바이트코드와 리스펙스 VM, 증거 발행과 현재 재실행과 로컬 게이트는 네이티브가 맡습니다.
  • 플레이그라운드에서는 브라우저 안에서 소스를 실행하고 정확한 이미지를 만들고 열고 넘겨 보고 복원하고 내려받아 실행할 수 있습니다. 네이티브는 중간 형식과 바이트코드와 리스펙스 VM을 제공하고, 네이티브와 npm은 바우치 아티팩트와 정책 도구를 제공합니다.

모든 플랫폼

모든 릴리스 파일과 체크섬은 GitHub 릴리스에서도 받을 수 있습니다. npm 패키지와 실행 파일 모두 Apache License 2.0이며, 릴리스마다 라이브러리 라이선스 고지 파일이 함께 있습니다.

배포 파일 버전 v1.21.3

플랫폼바이너리체크섬
Linux · x86_64lispex-linux-x86_6425.1 MB25,118,456 바이트.sha256
Linux · aarch64lispex-linux-aarch6416.8 MB16,835,384 바이트.sha256
macOS · Apple siliconlispex-macos-aarch6420.9 MB20,946,992 바이트.sha256
macOS · Intellispex-macos-x86_6424.3 MB24,324,284 바이트.sha256
Windows · x86_64lispex-windows-x86_64.exe23.1 MB23,114,752 바이트.sha256
릴리스 매니페스트manifest.json파일 이름, 크기, 주소, SHA-256 해시

체크섬은 내려받은 정확한 바이트를 식별합니다. macOS나 Linux에서는 실행 파일과 .sha256 파일을 같은 폴더에 두고 다음 명령을 실행하세요. 둘이 맞으면 OK를 출력합니다.

SHELL
# Linux
sha256sum -c lispex-linux-x86_64.sha256

# macOS
shasum -a 256 -c lispex-macos-aarch64.sha256

Windows PowerShell에서는 다음 두 줄을 실행하세요. 둘이 맞으면 둘째 줄이 True를 출력합니다.

POWERSHELL
$want = (Get-Content .\lispex-windows-x86_64.exe.sha256).Split(' ')[0]
(Get-FileHash .\lispex-windows-x86_64.exe).Hash -eq $want

Windows에서는 같은 폴더에 hello.lspx를 두고, 내려받은 파일을 설치하지 않고 그 폴더에서 바로 실행할 수도 있습니다.

POWERSHELL
.\lispex-windows-x86_64.exe hello.lspx

편집기 확장

공식 확장 studiohaze.lispex는 .lspx 파일을 인식하고 밝은 테마와 어두운 테마에 맞는 문법 강조와 리스펙스 파일 아이콘을 더합니다.

Visual Studio 마켓플레이스 · Open VSX 레지스트리

서식 지정에는 네이티브가 필요합니다. 문서 서식 지정과 저장 시 서식 지정은 문서를 lispex fmt -에 전달하고 반환된 소스로 바꿉니다. lispex가 PATH에 없다면 lispex.format.executable에 경로를 지정하세요.

개발자용 구성 요소

자원 제어 규칙 엔진의 정확한 바이트

애플리케이션은 내려받은 엔진의 정확한 바이트를 고정할 수 있습니다. 이 엔진은 선언한 자원 프로파일로 규칙 하나를 실행합니다. 매니페스트는 기능과 계량과 값 교환과 영수증 필드와 메모리 상한과 체크섬을 고정합니다. 기록한 요청과 결과 바이트로 모든 소비자가 정확한 관측을 비교할 수 있습니다.

항목파일체크섬
자원 제어 규칙 엔진 WASMlispex-embed-evaluator.wasm1.6 MB1,588,220 바이트.sha256
규칙 엔진 매니페스트lispex-embed-evaluator-manifest.json26.3 KB26,347 바이트.sha256
기록해 둔 요청과 결과 바이트lispex-embed-evaluator-golden-vectors.json4.0 KB4,014 바이트.sha256
규칙 엔진 재배포 패키지lispex-embed-evaluator-redistribution.zip15.0 MB14,994,343 바이트.sha256

언어 전체를 다루는 규칙 엔진의 정확한 바이트

별도의 컴포넌트가 lispex-profile-1.5 전체를 다루고 기능과 계량과 컴포넌트와 아티팩트 식별자를 각각 가집니다. 확립된 값 교환과 실행 기록과 전달형 기록 형식을 재사용합니다. 네이티브는 명시적인 embed full 명령에서 이 컴포넌트를 고르고 작업마다 새 인스턴스를 만듭니다.

항목파일체크섬
언어 전체 규칙 엔진 WASMlispex-full-embed-evaluator.wasm1.6 MB1,588,667 바이트.sha256
언어 전체 규칙 엔진 매니페스트lispex-full-embed-evaluator-manifest.json2.5 KB2,465 바이트.sha256
언어 전체 엔진의 기록해 둔 벡터lispex-full-embed-evaluator-provider-vectors.json14.7 KB14,663 바이트.sha256
언어 전체 규칙 엔진 재배포 패키지lispex-full-embed-evaluator-redistribution.zip15.1 MB15,128,596 바이트.sha256

조판 규칙 작업 공간

제목 위치 결정을 인쇄소에 전달하세요

규칙과 입력을 준비하고 결정에 서명한 뒤 수신자가 인증하고 재실행합니다. 가이드에 전체 파일과 명령이 있습니다.

  • MCP 서버 연결하기. 네이티브에는 로컬 MCP 서버 lispex mcp serve도 들어 있습니다. 언어 조회와 진단 설명을 제공하고 신뢰하는 소스를 크기와 시간 한도 안에서 평가합니다.
  • 리스펙스 이미지 만들고 복원하기. 정확한 소스를 PNG나 ZIP 파일에 담고 네이티브나 npm이나 플레이그라운드에서 바이트 그대로 복원합니다.
  • 리스펙스 바우치. 네이티브는 서명된 결정을 인증하고 직접 제공한 소스와 입력으로 다시 실행해 로컬 게이트 결과를 기록합니다. 그다음 행동은 애플리케이션이 정합니다.
  • 제품과 지원 플랫폼. 제품별 기능과 다운로드 검사로 확인하는 것을 정리합니다.