리스트, 쌍, 벡터, 바이트벡터에는 올바른 리스트, 인덱스, 동일성, 변경 경계가 명시되어 있습니다.
한눈에 보기
LISPEX
(list (list-ref (list 10 20 30) 1) (vector-ref #(4 5) 0))결과
OUTPUT
(20 4)현재 보장
- 리스트 접근·검색에는 c...r 계열,
list-ref,list-tail,member·assoc변형, 복사, append, reverse, 생성자가 있습니다. - 벡터 생성, 접근, 복사, map,
vector-set!을 제공하며 바이트벡터는 이 프로필에서 읽기 전용입니다. - 잘못된 쌍·리스트 도메인은 E310, 인덱스·범위는 E311, 프리미티브 타입은 E312입니다.
집합 시그니처
| 시그니처 | 결과 / 동일성 | 오류 |
|---|---|---|
| (cons a d) | 새 쌍 | 없음 |
| (car pair) / (cdr pair) | 저장 요소 | E310 비쌍 |
| (list-ref 올바른-list k) | k번째 요소 | E312 비정수; E311 범위; E310 부적절 spine |
| (vector-ref vector k) / (vector-set! vector k value) | 요소 / 0개 값; 벡터 동일성 유지 | E312 타입; E311 범위 |
| (bytevector-u8-ref bytevector k) | 정확 정수 0..255 | E312 타입; E311 범위 |
경계
- 쌍·바이트벡터 변경자는 보류되어 있고 인용 집합은 변경할 수 없습니다.