Yeah that's the other thing: Results melt away more or less so it's kind of a big todo about nothing. Promises I understand passing around but like, feels like

Yeah that's the other thing: Results melt away more or less so it's kind of a big todo about nothing. Promises I understand passing around but like, feels like a lot of machinery (generics, sum types, pattern matching) just to let a function say "whoops". This feels like a good compromise to me actually. It doesn't pull in all the baggage of other possible implementations/mental models (exceptions, result types, blah), it's basically just a step up from tuple types, like reifying a given return value as an error that needs to be handled, which is probably at least the 80% case. Pretty cool.