On Wed, 29 Aug 2012 21:26:57 -0700, Ray Dillinger <bear@sonic.net> 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.

--
Vassil Nikolov | Васил Николов | <vnikolov@pobox.com>

"Be careful how you fix what you don't understand."  (Brooks 2010, 185)

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports