This site is a static rendering of the Trac instance that was used by R7RS-WG1 for its work on R7RS-small (PDF), which was ratified in 2013. For more information, see Home.

Ticket 502: Call/cc should go

2013-07-07 03:20:44
WG1 - Core
alexshinn
major
cowan
wontfix
source
closed
2013-05-13 00:09:36
defect

Ray Dillinger writes:

Oleg Kiselyov has published some very interesting papers about call/cc that outline reasons why it is intractable as an abstraction and call its utility into question. WG1's charter more-or-less forbade responding to that in any way.

Andy Wingo writes:

There are also a number of minor points about the WG1 draft that I feel were not dealt with in a satisfactory way. A few things come to mind: [...] the inability of WG1 to deal with the suggestion of removing call/cc in favor of delimited continuations [...].

Moritz Heidkamp also regretted the absence of delimited conditions, though he did not suggest that call/cc be removed.

See my comment to #501.

descriptionAndy Wingo writes: There are also a number of minor points about the WG1 draft that I feel were not dealt with in a satisfactory way. A few things come to mind: [...] the inability of WG1 to deal with the suggestion of removing `call/cc` in favor of delimited continuations [...].Andy Wingo writes: There are also a number of minor points about the WG1 draft that I feel were not dealt with in a satisfactory way. A few things come to mind: [...] the inability of WG1 to deal with the suggestion of removing `call/cc` in favor of delimited continuations [...]. Moritz Heidkamp also regretted the absence of delimited conditions, though he did not suggest that `call/cc` be removed.
descriptionAndy Wingo writes: There are also a number of minor points about the WG1 draft that I feel were not dealt with in a satisfactory way. A few things come to mind: [...] the inability of WG1 to deal with the suggestion of removing `call/cc` in favor of delimited continuations [...]. Moritz Heidkamp also regretted the absence of delimited conditions, though he did not suggest that `call/cc` be removed.Ray Dillinger writes: Oleg Kiselyov has published some very interesting papers about `call/cc` that outline reasons why it is intractable as an abstraction and call its utility into question. WG1's charter more-or-less forbade responding to that in any way. Andy Wingo writes: There are also a number of minor points about the WG1 draft that I feel were not dealt with in a satisfactory way. A few things come to mind: [...] the inability of WG1 to deal with the suggestion of removing `call/cc` in favor of delimited continuations [...]. Moritz Heidkamp also regretted the absence of delimited conditions, though he did not suggest that `call/cc` be removed.
resolutionwontfix
statusnewclosed

The WG decided by unanimous consent to take no action on this ticket.