On Wed, 29 Aug 2012 21:26:57 -0700, Ray Dillinger <[email protected]> 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 | Васил Николов | <[email protected]> "Be careful how you fix what you don't understand." (Brooks 2010, 185) _______________________________________________ Scheme-reports mailing list [email protected] http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports
