Re: better error messages through assertions

[Ludovic Courtès]

Hi!

Ricardo Wurmus <rekado@elephly.net> skribis:

> Philip McGrath <philip@philipmcgrath.com> 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
contracts.

Thoughts?

Ludo’.