LIT는 토파즈로 작성한 Lispex 해석기입니다. 토파즈 프로젝트는 LIT를 제한된 자체 사용 검증과 통합 검증에 활용합니다. 하나의 정본 소스에서 나온 프로그램을 직접 실행, 생성 Rust, 생성 Python, Web 경로로 실행하면 검사·코드 생성·런타임 동작·호스트 경계가 함께 작동할 때 생기는 결함을 찾을 수 있습니다.
목적에 맞는 경로 고르기
- 토파즈 애플리케이션을 배포하려면 지원되는 토파즈 출력 대상 가운데 하나를 선택하세요.
- LIT의 역할이 궁금하다면, 규모 있는 Lispex 프로그램으로 토파즈 도구 모음의 여러 부분을 한꺼번에 확인하는 통합 증거로 이해하세요.
- Lispex 제품을 사용하려면 Lispex 제품 문서를 따르세요. 이 페이지는 토파즈에서 관찰하는 경계만 설명합니다.
검증 결과가 뜻하는 것
LIT 검사가 통과했다는 것은 지정한 프로그램이 해당 검사에서 선택한 기능과 실행 경로 안에서 기대대로 동작했다는 뜻입니다. 지원하지 않는 기능은 명확한 오류로 끝납니다. 네 경로는 모두 하나의 소스 계보에서 나오므로, 결과 일치는 유용한 회귀 증거이지만 네 개의 독립 구현에서 얻은 증거도 아니고 두 언어 전체가 같다는 증명도 아닙니다.
제품 경계
LIT는 토파즈 설치에 포함되지 않습니다. 토파즈 백엔드나 출력 대상도 아니며
--target lit 제품 경로도 없습니다. Lispex 문법·기본 연산·패키지·ABI·런타임
보장을 토파즈에 추가하지도 않습니다. 관련 컴파일러나 호스트 경계를 확인할 필요가
있을 때만 이 검증을 사용하며, 모든 Lispex 프로그램을 지원되는 토파즈
애플리케이션으로 바꾸지는 않습니다.