Every Argument for Static Typing Applies to Typed Errors

This was originally published in February 2022 as a gist. Think of all the arguments you've heard as to why static typing is desirable — every single one of those arguments applies equally well to using types to represent error conditions. An odd th...