[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