3 ms·
> I see this is because most statically typed languages have nominal typing and not structural typing. I don't think that's it. I think what's needed is an ac
by cryptonector 2y ago
> I see this is because most statically typed languages have nominal typing and not structural typing.
I don't think that's it. I think what's needed is an accumulator method for error interfaces so that you can accumulate new errors into existing errors.
- aiono 2y agoBut this way you don't track what you handled in type level it's only available in runtime. So you are back to untracked errors.