[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Scheme-reports] Cycle detection problems: #442, #338, "equal?"
On Wed, 29 Aug 2012 21:26:57 -0700, Ray Dillinger <bear@x> said:
> Results other than #t or #f (which include exception throwing
> and infinite looping) expand the domain of the function, which
> means that a function is not in fact a predicate.
Er... what includes exception throwing and infinite looping? Are
these possible _results_?
> Also, both divergence and exceptions are side effects.
How so? If a call does not terminate, or terminates abnormally,
this means that the corresponding function is undefined for the
given argument(s); where is the side effect?
Vassil Nikolov | Васил Николов | <vnikolov@x>
"Be careful how you fix what you don't understand." (Brooks 2010, 185)
Scheme-reports mailing list