Hi y’all,

So derive-check from SRFI 273 has this definition:

> This primitive should return the check matching the result of
> expression eval-uation…

Which is quite expansive, complex, and potentially dangerous. Especially
for the most primitive and widespread case: getting procedure argument
types. So I’m wondering: is this expansiveness worth it, or should
derive-check be repurposed to getting procedure types instead?

This will also make the most problematic checking utility,
check-procedure-of?, kinda redundant and removable.

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