[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: better error messages through assertions

From: Ludovic Courtès
Subject: Re: better error messages through assertions
Date: Mon, 28 Feb 2022 13:59:02 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)


Ricardo Wurmus <> skribis:

> Philip McGrath <> writes:
>> As a Racketeer, I think you're half way to reinventing contracts.
> Yes, I was in fact thinking of contracts, but shied away from mentioning
> them :)  The reason is that I think we can cover a lot of distance with
> just a few simple assertions to avoid plowing ahead on bad arguments.

I’d very much like to have contracts.

For record types, we have “sanitizers” right now, which we could use to
insert procedural type checks.  It wouldn’t be as nice as proper
declarative contracts though, unless we arrange to make them look like



reply via email to

[Prev in Thread] Current Thread [Next in Thread]