-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 02/20/2012 11:34 AM, Andy Wingo wrote: > On Mon 20 Feb 2012 11:32, Alaric Snell-Pym <[email protected]> writes: > >> Now, is my understanding that (> call/pc call/cc) true in all cases, or >> not? Does anybody know of any counter-examples? > > This is a misunderstanding: there is no call/pc. Until relatively > recently, there was no good understanding of the relationships between > the various design choices (shift/reset, prompt/control, cupto, etc).
I know, I know, and you can't actually compare procedures with > either ;-) I was speaking figuratively. > Now it seems clear (to me, anyway) that the -F- operator is the > fundamental one. See the first part of > http://www.cs.indiana.edu/~dyb/pubs/monadicDC.pdf. I shall! I've always found terms like "shift", "reset", etc. rather meaningless, and would like to discuss some meaningful names to actually standardise... >> Clearly, it's far too late for call/cc to be replaced by delimited >> continuations for R7RS > > Indeed, but it's not too early to start spreading the gospel of > delimited continuations ;-) Amen! > Andy ABS - -- Alaric Snell-Pym http://www.snell-pym.org.uk/alaric/ -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk9CQQQACgkQRgz/WHNxCGptjQCfRjgbh9IhHWXYQQugpPoMLXHL azIAoIQhhP/rS5d1DvOMzfg/P3zhrZqB =C/FN -----END PGP SIGNATURE----- _______________________________________________ Scheme-reports mailing list [email protected] http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports
