Skip to main content

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

Required fields*

13
  • 1
    $\begingroup$ Just a naive question: why is this not the default then? $\endgroup$ Commented Jun 28, 2012 at 15:01
  • 4
    $\begingroup$ @Chris I think it should not be, because this abortable table has more complex behavior than Table, and this complexity probably can not be justified in most cases, from the langauge design viewpoint. For one thing, it does not produce deterministic results, because the results depend on when you abort the computation. There are other reasons as well. $\endgroup$ Commented Jun 28, 2012 at 15:22
  • $\begingroup$ An interesting bit of code, and somewhat different than the original you referenced. It's like an onion, the more you peal back, the more there is, +1. $\endgroup$ Commented Jun 28, 2012 at 15:25
  • $\begingroup$ @rcollyer Thanks :) It is at the bottom of that post, I added it a little later and it probably went largely unnoticed. $\endgroup$ Commented Jun 28, 2012 at 15:28
  • $\begingroup$ You're right it did. I didn't bother reading past the examples. :) $\endgroup$ Commented Jun 28, 2012 at 15:32