SRFI 253: Data (Type-)Checking Arthur A. Gleckler (13 Aug 2024 19:13 UTC)
Re: SRFI 253: Data (Type-)Checking Marc Nieper-Wißkirchen (13 Aug 2024 19:46 UTC)
Re: SRFI 253: Data (Type-)Checking Artyom Bologov (13 Aug 2024 20:11 UTC)
Re: SRFI 253: Data (Type-)Checking Retropikzel (14 Aug 2024 05:44 UTC)
Re: SRFI 253: Data (Type-)Checking Retropikzel (14 Aug 2024 05:55 UTC)
Re: SRFI 253: Data (Type-)Checking Retropikzel (14 Aug 2024 06:43 UTC)

Re: SRFI 253: Data (Type-)Checking Retropikzel 14 Aug 2024 05:54 UTC

Please ignore this, my mistake. Sorry!

On 14/08/2024 08:33, Retropikzel (via srfi-253 list) wrote:
> I think the impl.generic.scm is missing a #t on the else branch of
> cond-expand on line 214?
>
> On 13/08/2024 22:13, Arthur A. Gleckler wrote:
>> Scheme Request for Implementation 253,
>> "Data (Type-)Checking",
>> by Artyom Bologov,
>> is now available for discussion.
>>
>> Its draft and an archive of the ongoing discussion are available at
>> https://srfi.schemers.org/srfi-253/
>> <https://srfi.schemers.org/srfi-253/>.
>>
>> You can join the discussion of the draft by filling out the
>> subscription form on that page.
>>
>> You can contribute a message to the discussion by sending it to
>> xxxxxx@srfi.schemers.org <mailto:xxxxxx@srfi.schemers.org>.
>>
>> Here's the abstract:
>>
>>     Data validation and type checking (supposedly) make for more correct
>>     code. And faster code too, sometimes. And, in rare cases, code
>>     that's easier to follow than the un-checked one. Unfortunately,
>>     Scheme does not have many (type-)checking primitives out of the box.
>>     This SRFI provides some, with the aim of allowing more performant
>>     and correct code with minimum effort on the user side. Both (manual)
>>     argument checking/validation (|check-arg|) and return value(s)
>>     (|values-checked|) checking/coercion are provided. Syntax sugar like
>>     |lambda-checked| and |let-checked| is added on top.
>>
>> Regards,
>>
>> SRFI Editor
>>