SRFI 273: Extensions to Data (Type-)Checking

by Artyom Bologov

status: draft (2026-05-18)

keywords: Type Checking

• The SRFI Document
• Discussion Archive
• Git repo (on GitHub)
• srfi-273@nospamsrfi.schemers.org (subscribers only)
• Subscribe to srfi-273 mailing list

  daily digest?

• Unsubscribe from srfi-273 mailing list

Abstract

The original SRFI 253 established a basis for type-checked (or otherwise checked) data handling. But it lacked some quality-of-life features. This SRFI extends SRFI 253 to match existing implementation practice and common sense. Provided extensions are: check aliasing with define-check; pre- and post-declaration of type / check with declare-checked; return value checks in lambda-checked, case-lambda-checked, and define-checked; the derive-check form to derive a suitable check for an expression; type-matching syntax check? and check-impl? in syntax-rules, and some checking utilities.