logoalt Hacker News

sampotoday at 9:59 AM0 repliesview on HN

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