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

Re: [Scheme-reports] Fwd: Comments on draft 6 about call/cc



-----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 <alaric@x> 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
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports