Data (type-)checking utilities? Artyom Bologov (14 Jul 2024 21:06 UTC)
Re: Data (type-)checking utilities? Arthur A. Gleckler (14 Jul 2024 21:11 UTC)
Re: Data (type-)checking utilities? Artyom Bologov (14 Jul 2024 21:27 UTC)
Re: Data (type-)checking utilities? Daphne Preston-Kendal (17 Jul 2024 09:23 UTC)
Re: Data (type-)checking utilities? Maxim (18 Jul 2024 12:52 UTC)
Re: Data (type-)checking utilities? Artyom Bologov (19 Jul 2024 17:17 UTC)

Data (type-)checking utilities? Artyom Bologov 14 Jul 2024 21:05 UTC

Hi y'all,

I'm looking for ways to type-check and otherwise validate the data that
my functions get. I've already asked about potential type-checking
solutions on r/scheme subreddit
(https://www.reddit.com/r/scheme/comments/1cni979/conventional_way_to_typecheckvalidate_data/)
with no definite/portable answer. I also found SRFI-92, SRFI-187, but
both seem to be withdrawn with a bit of drama around them. Is there a
more recent shot at data validation I'm not aware of?

I'm almost ready to submit a new SRFI, because I have an extensive
collection of type-checking primitives by now. Would that be useful,
what y'all think?

Best of luck,
--
Artyom Bologov
https://aartaka.me