-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 02/20/2012 09:48 AM, Andy Wingo wrote:
> Why generators, when delimited continuations can implement them > trivially? It has been my understanding that delimited continuations are generally better than call/cc in all ways. Even things like amb can be implemented with them, adding the restriction that one must introduce an outer "wrapper" construct that dynamically encloses all nondeterministic evaluation in order to delimit the continuations - but that is arguably a feature, as it stops the confusing that arises when people use amb at a repl and end up backtracing inside the repl state (without backtracking the state of standard input, of course) and get themselves terribly confused! Now, is my understanding that (> call/pc call/cc) true in all cases, or not? Does anybody know of any counter-examples? Clearly, it's far too late for call/cc to be replaced by delimited continuations for R7RS, but it would be nice to decide if it might be worth considering for R8RS (along with immutable-by-default pairs, perhaps? :-) 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/ iEYEARECAAYFAk9CISQACgkQRgz/WHNxCGrtlACeMAld1fwbVRnF5QRkDiaLp5BR vrQAn2S2eBAeZaYopJjRNVXmOR4SyCQP =n1Ql -----END PGP SIGNATURE----- _______________________________________________ Scheme-reports mailing list [email protected] http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports
