User loginNavigation |
Asynchronous Exceptions in HaskellHave you ever pressed the "stop" button in your web browser? Did it always work? Should PLs make it easier for developers to make it work? Asynchronous Exceptions in Haskell Asynchronous exceptions, such as timeouts, are important for robust, modular programs, but are extremely difficult to program with — so much so that most programming languages either heavily restrict them or ban them altogether. We extend our earlier work, in which we added synchronous exceptions to Haskell, to support asynchronous exceptions too. Our design introduces scoped combinators for blocking and unblocking asynchronous interrupts, along with a somewhat surprising semantics for operations that can suspend. Uniquely, we also give a formal semantics for our system.PS: this was mentioned some time ago on LtU, but seems to be gone. |
Browse archives
Active forum topics
|
Recent comments
11 weeks 13 hours ago
15 weeks 2 days ago
16 weeks 6 days ago
16 weeks 6 days ago
19 weeks 4 days ago
24 weeks 1 day ago
24 weeks 1 day ago
24 weeks 4 days ago
24 weeks 4 days ago
27 weeks 3 days ago