diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-01-28 21:39:13 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-01-28 21:39:13 -0800 |
commit | d687a93f2b69bb9646cd17785806d27f0d84ec82 (patch) | |
tree | 004cca71c9b797547375457311512c3285e11674 /channel.mu | |
parent | b6ea96bb07c6497b0913e7b5d87a09033d86e09a (diff) | |
download | mu-d687a93f2b69bb9646cd17785806d27f0d84ec82.tar.gz |
664 - new, wart-like prompt
This is the right time for this change I've been meaning to make, because it lets me drop my hack in 'abort-to'. 'abort-to' is likely still a bad idea because: a) Just because this example doesn't need to clear a few things on abort doesn't mean such use cases don't exist. In other words, there's no way to tell if your stack frame recently returned from an abort. That question isn't even well-posed at the moment; what does 'recently' even mean? b) I may need to run deferred statements on each stack frame, and it's not clear how to rewrite 'defer' to be robust to aborts. Exceptions entering through the back door? Looks like all this is expected when implementing exception-like behavior using continuations: http://matt.might.net/articles/implementing-exceptions c) Of course we don't have composable exceptions. I still don't grok the value of that. We don't need yield since we have channels. What else might we need continuations for? Let's try to come up with a clean way to implement the amb operator or something. http://www.randomhacks.net/2005/10/11/amb-operator
Diffstat (limited to 'channel.mu')
0 files changed, 0 insertions, 0 deletions