SRFI 259: Tagged procedures with type safety

by Daphne Preston-Kendal

status: draft (2026-01-26)

keywords: Data Structure

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

  daily digest?

• Unsubscribe from srfi-259 mailing list

Abstract

Tagged procedures are procedures with boxes attached, which can be used to create applicable records and other abstractions. This SRFI proposes a variant with the notion of a tagging protocol, analogous to a record type definition, for ensuring encapsulation and security for tagged procedures.