3 ms·
IMHO, if CL got their handler system a tad tiny step further and better, they would have landed in a full algebraic effect territory, with a total flexibility o
by artemonster 4y ago
IMHO, if CL got their handler system a tad tiny step further and better, they would have landed in a full algebraic effect territory, with a total flexibility of resuming your „throwers“ and not only restarting them. Paired with unparalleled CLOS capabilities that still drives context oriented programming, aspects, subjective dispatch research, CL would have been a religion by now.
- fiddlerwoaroof 4y agoI don’t quite understand what you mean by the distinction between resume and restart here. CL condition handlers allow code that signals a condition (sort of equivalent to “throws an exception) to continue on as if the condition was never signaled. You just need a handler-bind somewhere in the stack that doesn’t perform an exit. You can use this to do things like catch a type error and convert the input value to the expected type on the fly.