Hi y’all,

How would you look at a project rigorously documenting types of all (or
most) SRFIs? This might allow statically typed implementations like
CRUNCH to easier infer types. Also helps to write more performant
code. And allows to understand the shape of args for a given procedure.

I’m not going to pull it off alone, though. Thus the question: is anyone
interested in such a project?

The format I suggest is SRFI 273 declare-checked
<https://srfi.schemers.org/srfi-273/srfi-273.html#spec--declare-checked>
with a set of combinators from SRFI 235
<https://srfi.schemers.org/srfi-235/srfi-235.html> to have union
(disjoin) and complement types.

Is there a need for such a thing?

Thanks,
--
Artyom Bologov
https://aartaka.me