3 ms·
The solution is already there. It's a combination of subtyping, union types, effect-handling and syntactic sugar for effect handling. checked exceptions would
by valenterry 5y ago
The solution is already there. It's a combination of subtyping, union types, effect-handling and syntactic sugar for effect handling.
checked exceptions would be fine id they were not so clunky.