| ... | @@ -31,3 +31,5 @@ Exceptions may be thrown by pure code and caught in the `IO` monad. |
... | @@ -31,3 +31,5 @@ Exceptions may be thrown by pure code and caught in the `IO` monad. |
|
|
|
|
|
|
|
|
|
|
|
|
- complicates denotational semantics a little
|
|
- complicates denotational semantics a little
|
|
|
|
- very tricky to implement properly
|
|
|
|
- requires non-trivial run-time support and implementation constraints |
