search

scheme-live / live

Scheme library collection with yearly stable releases
https://scheme-live.github.io/live/
MIT License
16 stars 1 forks source link

Update typecheck library #44

Closed lassik closed 2 years ago

lassik commented 2 years ago
amirouche commented 2 years ago

What about:

(check! who boolean message)

Somewhat like assumptions but with an extra who argument.

ref: https://srfi.schemers.org/srfi-145/

lassik commented 2 years ago

Sounds like a good thing to have. We could simply use assume from the SRFI. But I can't find a who argument in it.

AFAIK in Scheme the ! suffix is used only for mutation of data, not for I/O in general. So vector-set! has ! but write does not.

lassik commented 2 years ago

Since there have been no specific objections to the procedures added in this PR, I'll merge it. We can make changes later.