You don't need category theory to describe the Result type. But the people who first introduced it to programming languages, were thing about category theory.

You don't need category theory to describe the Result type. But the people who first introduced it to programming languages, were thing about category theory. https://en.wikipedia.org/wiki/Result_type https://en.wikipedia.org/wiki/Result_type