SRFI 282: Missing R7RS (Type) Predicates

by Artyom Bologov

status: draft (2026-09-15)

keywords: Miscellaneous

Abstract

Types and entities deserve predicates so that their user can meaningfully understand what they are dealing with, and usefully dispatch on them in their code. However, some R7RS “types” have no respective predicates. This SRFI defines them.