데이터와 집합 타입

현재 값 공간에는 불리언, 정확·부정확 수, 문자, 심볼, 문자열, 빈 리스트, 쌍, 벡터, 바이트벡터, 프로시저, 탈출 연속이 있습니다.

한눈에 보기

LISPEX
(list (vector? #(1 2)) (bytevector? #u8(1 2)) (pair? (cons 1 2)))

결과

OUTPUT
(#t #t #t)

현재 보장

  • 현재 프로필에서 쌍, 문자열, 바이트벡터는 불변이며 벡터와 어휘 셀은 변경 가능합니다.
  • 인용한 집합 데이터는 불변이며 생성자는 문서화된 동일성 규칙을 지닌 런타임 집합을 만듭니다.
  • 부적절·순환 구조는 올바른 리스트와 구분되며 깊은 동등성은 순환에서도 종료합니다.

경계

  • 복소수, 포트, 레코드, 변경 가능한 쌍·문자열은 현재 프로필 밖입니다.
  • 내부 결과, 신호, 미초기화 센티널은 게스트 값이 아닙니다.