Some functions can both fail and return nothingIn the previous post we've limited Union Types to just two kinds: ?T for T | None and !T for T | Error. One of the corollaries was that ?!T/!?T is not supported, because it would mean T | None | Error5d ago · 8 min readdimagog.hashnode.dev
Better error handling with just two Union TypesIn previous posts I've covered my beef with error handling in some programming languages: Why Go-style error handling is not great Why TypeScript and Crystal have the best Union Types But what can w5d ago · 6 min readdimagog.hashnode.dev
Why Go-style error handling is not greatThere is an important concept in software development called "correct by construction" 1. Briefly, it means incorrect things cannot be expressed using a language/library/config/etc. in question. And i6d ago · 5 min readdimagog.hashnode.dev
