Some functions can both fail and return nothing
In 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 | Error
Latest articles
Better error handling with just two Union Types
In 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 w
Why Go-style error handling is not great
There 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 i