이전 언어 설계 설명입니다. 현재 설계 이유와 예제는 철학에서 확인하세요.
리스펙스는 Scheme의 익숙한 형태를 유지하면서 모든 프로그램에 고정된 읽기 방식을 제공합니다. 핵심 폼과 파생 폼은 정규화되고, 내장 프로시저는 레지스트리 하나에서 나오며, 명시적 입력은 결정적 관측을 만듭니다.
완결된 언어 표면
언어 계약은 모든 파일이 사용하는 문법을 정의합니다. guard 같은 폼은
정규화와 런타임 동작과 진단과 직접 검사를 함께 갖춘 언어 계약의 한 부분으로
들어갑니다.
리스펙스 소스는 언어 계약만으로 읽을 수 있습니다. 같은 소스와 입력은 기준 런타임과 아티팩트와 이후 릴리스에서 같은 의미를 유지합니다.
정확한 아티팩트
리스펙스 소스는 정규 이미지와 Core IR과 바이트코드와 영수증과 바우치를 통과할 수 있습니다. 각 표현은 자체 식별자와 다음 소비자를 기록합니다. 호스트 애플리케이션은 데이터와 트랜잭션 맥락과 외부 행동을 명시적으로 제공합니다.
현재 철학 문서에서 이 원칙과 모든 공개 제품의 연결을 확인할 수 있습니다.