|
|
|
|
|
|
by MrJohz
1065 days ago
|
|
|
Why can't they be part of the type system? Rust is a good example of a case where they are part of the type system (albeit in a more monadic form). You've also got typed effects, where effects are essentially a generalised form of exception. |
|
|