Re: SRFI 273: Extensions to Data (Type-)Checking
Artyom Bologov 19 May 2026 22:54 UTC
Hi y’all,
Another set of things I’d be interested to hear your opinion on:
• Should check-* utilities even exist, or should they be replaced by
SRFI 235 combinators, like disjoin, constantly, and complement?
https://srfi.schemers.org/srfi-235/srfi-235.HTML
• Is there a need for check-maybe? specifier / utility to make optional
types (type / check or #f?)
Best of luck,
--
Artyom Bologov
https://aartaka.me