리스펙스는 규칙 관측과 애플리케이션 효과를 분리합니다. 게스트 출력은 결정적 실행 기록에 들어가고 호스트 애플리케이션은 운영 환경을 소유합니다.
출력 프로시저
LISPEX
(begin (display "answer=") (write 42) (newline) 0)관측 결과
OUTPUT
answer=42
0display는 사람이 읽는 텍스트를 쓰고, write는 다시 읽을 수 있는 게스트
표기를 사용하며, newline은 줄바꿈 하나를 쓰고, println은 display와
줄바꿈을 결합합니다. 네 프로시저는 모두 값 0개를 반환합니다. 명시적 출력은
CLI 자동 출력과 순서를 유지하고 영수증은 완료 root 값을 따로 기록합니다.
이름 붙은 자원 프로필이 출력 바이트 상한을 정합니다. 뒤에서 진단이 생겨도 이미 쓴 출력은 관측에 남습니다.
기능 소유자
| 작업 | 소유자 |
|---|---|
| 다시 읽을 수 있는 값 출력 | 리스펙스 write |
| 사람이 읽는 텍스트 출력 | 리스펙스 display, newline, println |
| 소스 파일과 표준 입력 선택 | CLI 호출 |
| 파일과 네트워크 | 호스트 애플리케이션 어댑터 |
| 시각과 난수 | 명시적 애플리케이션 입력 |
| 데이터베이스와 트랜잭션 | 호스트 애플리케이션 상태 기계 |
| 결제와 배포와 외부 행동 | 로컬 게이트 뒤의 애플리케이션 정책 |
네이티브 MCP는 로컬 stdio로 소스와 선택 datum을 전달하고 선언한 바이트와 시간 값으로 관측을 반환합니다. 애플리케이션 어댑터는 검토한 데이터를 규칙에 전달하고 반환 결정을 소비합니다.