Kent Pitman<p><span class="h-card" translate="no"><a href="https://mastodon.sdf.org/@screwtape" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>screwtape</span></a></span> </p><p>Well, the totality can be a function of other than args, so something that takes any kind of args can still err for other reasons. I don't know if that helps.</p><p>I don't know if you've read these papers but you might find them a bit more abstract:</p><p><a href="http://www.nhplace.com/kent/Papers/Exceptional-Situations-1990.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">http://www.</span><span class="ellipsis">nhplace.com/kent/Papers/Except</span><span class="invisible">ional-Situations-1990.html</span></a></p><p><a href="http://www.nhplace.com/kent/Papers/Condition-Handling-2001.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">http://www.</span><span class="ellipsis">nhplace.com/kent/Papers/Condit</span><span class="invisible">ion-Handling-2001.html</span></a></p><p>The second of those is mostly more advanced topics, as I recall. But the first is a discussion of the same issues as you find in Revision-18.txt, but in a way that is hopefully more abstract. That 1990 paper won a Best Paper award at the First European Conference on the Practical Application of Lisp, so I assume it was decently readable. It was just a dusting off of the paper I'd written in 1985 that no one had really cared about for 5 years. Since the paper was already written, I used the prep time for the conference to polish, and to whittle away anything about the paper that might not look like a "best paper", which apparently worked. :)</p><p>The 1985 paper is here, though I recommend just reading the 1990 version. I just often speak in hypertext and feel compelled to link things I talk about: </p><p><a href="https://dspace.mit.edu/bitstream/handle/1721.1/41474/AI_WP_268.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">dspace.mit.edu/bitstream/handl</span><span class="invisible">e/1721.1/41474/AI_WP_268.pdf</span></a></p><p><a href="https://climatejustice.social/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lisp</span></a> <a href="https://climatejustice.social/tags/CommonLisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CommonLisp</span></a> <a href="https://climatejustice.social/tags/exceptions" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>exceptions</span></a> <a href="https://climatejustice.social/tags/errors" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>errors</span></a> <a href="https://climatejustice.social/tags/ErrorSystem" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ErrorSystem</span></a> <a href="https://climatejustice.social/tags/ConditionSystem" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ConditionSystem</span></a> </p><p>cc <span class="h-card" translate="no"><a href="https://mastodon.sdf.org/@masso" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>masso</span></a></span></p>