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