현재 프로시저 표면은 수치, 동등성, 리스트, 집합, 문자열·문자, 고차, 예외, 변환, 출력 계열로 나뉩니다.
현재 보장
- 정본 R7RS 이름을 우선하며 문서화된 별칭은 의미를 공유하고 폐기 예정 별칭은 경고를 냅니다.
- 각 프로시저는 고정 또는 선언된 가변 인자 수와 결정적 E3xx 타입·도메인 실패를 가집니다.
- 계열 페이지가 시그니처와 경계 동작을 소유하며 이 페이지는 탐색 색인입니다.
프로시저 계열
| 계열 | 정본 이름 | 인자 수 / 결과 |
|---|---|---|
| 산술 | + - * / abs square min max floor ceiling round truncate | 선언된 가변 또는 단항; 수 |
| 정수 나눗셈 | modulo quotient remainder floor-quotient floor-remainder truncate-quotient truncate-remainder floor/ truncate/ | 정수 2개; 한 값 또는 두 값 |
| 동등성 | eq? eqv? equal? = < > <= >= boolean=? | 문서 도메인의 값 2개 이상; 불리언 |
| 리스트 / 집합 | cons car cdr list append reverse list-ref vector vector-ref vector-set! bytevector-u8-ref | 계열별; 값 또는 0개 값 |
| 고차 | map filter reduce fold-left fold-right apply for-each vector-map string-map | 프로시저와 컬렉션; 컬렉션, 누산값, 또는 0개 값 |
| 예외 / 출력 | error raise raise-continuable with-exception-handler display write newline | 계약별; 신호, 값 패킷, 또는 0개 값 |
경계
- 목록에 없는 호스트 전역은 암시적 프리미티브가 아닙니다.