애플리케이션에서 리스펙스 실행하기

브라우저나 터미널에서 리스펙스 규칙을 실행하고 결과를 확인하세요. 다음으로 애플리케이션이 입력을 전달하고 답을 받는 방법을 고릅니다.

규칙을 시험하려면 플레이그라운드를 여세요. 파일을 실행하려면 첫 프로그램 안내에 따라 네이티브나 npm을 설치하세요. 파일 실행의 기본값은 리스펙스 인터프리터입니다.

규칙 하나 실행하기

다음 프로그램 전체를 rule.lspx로 저장하세요.

(list (< 1 2) (< 2 2))

네이티브나 npm을 설치했다면 같은 디렉터리에서 실행하세요.

lispex rule.lspx

(#t #f)

명령의 종료 상태는 0이며 새 파일은 만들지 않습니다. 남은 1줄은 2줄보다 적으므로 첫 답은 #t입니다. 2줄이면 #f입니다. 여기까지 규칙을 실행하고 답을 확인했습니다.

호출할 곳 고르기

이 제품들은 일반 소스 평가에 같은 리스펙스 인터프리터를 사용합니다. 추가 기능은 제품 목록에서 확인하세요. SICP 수업은 별도 SICP 학습 안내에서 시작하세요.

애플리케이션 입력 전달하기

JSON 입력으로 결정 규칙을 호출하려면 결정 기록 실행하고 검사하기를 따라가세요. 애플리케이션이 소스와 입력과 자원 한도를 전달합니다. 명령은 새 디렉터리에 결과와 읽기용 요약을 저장합니다.

평가기 직접 호출은 실행 한도를 정해 규칙 실행하기를 따라가세요. 완전한 소스와 바이너리 입력을 만들고 규칙을 평가한 뒤 결과를 검사합니다. 호출 애플리케이션이 그 결과에 따른 외부 행동을 결정합니다.

토파즈 애플리케이션에서는 리스펙스 규칙 실행 안내를 따라가세요. 토파즈가 애플리케이션 API를 제공하고 패키지와 배포 조건을 정합니다.

자원 프로파일 지정하기

자원 프로파일은 실행 한도를 정합니다. 규칙에 필요한 언어 기능에 따라 평가기를 고르세요.

두 평가기는 각각의 바이너리 호출 규약과 결과 형식을 갖춘 별도 제품입니다. 둘 다 import가 없는 WASM 구성요소를 쓰며 요청마다 새 인스턴스를 만듭니다. 준비와 평가의 자원을 따로 계산하고 한 번의 실행을 묶은 이식 가능한 핵심 기록을 만듭니다. 인터페이스와 한도는 평가기 참조에서 확인하세요.

바이트코드 저장하기

컴파일한 명령을 저장하고 실행하려면 바이트코드와 배포를 따라가세요.

구현 비교하기

결과와 출력과 진단의 차이를 살펴보려면 구현 비교를 따라가세요. 필요한 제품과 비교 보고서를 그 경로에서 설명합니다.