[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Scheme-reports] Cycle detection problems: #442, #338, "equal?"

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 08/31/2012 08:15 PM, Vassil Nikolov wrote:
> 
> 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_?

Of course they are.  "Results" is not a term restricted to normal
values returned from a function call.

Having results of calling a function not limited to normal returns,
complicates semantics in exactly the same way as other side effects.
Like mutation, It should not be done unless truly necessary.

				Bear

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iQEcBAEBAgAGBQJQRRYvAAoJEAOzWkqOibfNEgoH+wSu5YemUz9LDq9xUKpXhqhh
QZfxmjHjrOZWMH9Obno5SdcVD6neg77sT+MI3eOV2NVK8tHUN31TMp1OTmvADFMS
YGnK36g1C9J104jSsF0+/I0uJbNvajNSm0zYBkhpkISKPGxNbUtH21NkZVBuIzVy
0jvzXCFFcMN8nC79xlLGhHA+LFmiLZ8Bx1/+hYi+silSlmxjF3uIvx3ED7uQRO0C
SynTkhzOQcAAQDiOBjwLHNNr/fU83Ot56f2bE+90s0XPDIQjTMpt8TJEoblEZv9e
pLPk+Kscdqp0DguZ1tsJ5YxJzDxxb58l+C7H8K/iCKPKnPWdhiTBb80HAAFaHYc=
=JPLo
-----END PGP SIGNATURE-----

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