transitivity does not imply type-checking Matthias Radestock (19 Nov 2005 11:16 UTC)
Re: transitivity does not imply type-checking Jens Axel Søgaard (19 Nov 2005 18:08 UTC)
Re: transitivity does not imply type-checking Matthias Radestock (20 Nov 2005 09:37 UTC)
Re: transitivity does not imply type-checking Jens Axel Søgaard (20 Nov 2005 10:04 UTC)
Re: transitivity does not imply type-checking Matthias Radestock (20 Nov 2005 12:53 UTC)
Re: transitivity does not imply type-checking Jens Axel Søgaard (20 Nov 2005 13:32 UTC)
Re: transitivity does not imply type-checking Matthias Radestock (20 Nov 2005 18:39 UTC)

Re: transitivity does not imply type-checking Matthias Radestock 20 Nov 2005 18:38 UTC

Jens Axel Søgaard <xxxxxx@soegaard.net> writes:

> I'd prefer as many errors to be signaled as possible, but I guess that's
> a matter of taste.
>
> What's your view?

I agree with the general principle. In SISC we *signal* errors in almost
all of the situations that R5RS just states "it is an error". The n-ary
predicates are one of the exceptions, because forcing type checking of
all args changes the average O(...) complexity of the predicates for the
worse. We are still debating the issue though, which is why I have taken
such an interest in that particular aspect of srfi 67.

Matthias.