SRFI 273: Extensions to Data (Type-)Checking Arthur A. Gleckler (19 May 2026 01:42 UTC)
Re: SRFI 273: Extensions to Data (Type-)Checking Artyom Bologov (19 May 2026 02:51 UTC)
Re: SRFI 273: Extensions to Data (Type-)Checking Artyom Bologov (19 May 2026 22:55 UTC)

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