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