|
|
|
|
|
|
by Analemma_
409 days ago
|
|
|
> There should be a way to have the function/method document what sort of stuff can go wrong, and what kinds of exceptions you can get out of it. The key phrase you're looking for is "algebraic effect systems". Right now they're a pretty esoteric thing only really seen in PL research, but at one point so was most of the stuff we now take for granted in Rust. Maybe someday they'll make their way to mainstream languages in an ergonomic way. |
|
|