> error is an interface in Go which can be easily cast/checked for the underlying type. Yeah it's done during runtime and the compiler won't be able to help yo

> error is an interface in Go which can be easily cast/checked for the underlying type. Yeah it's done during runtime and the compiler won't be able to help you with it if you fail to do exhaustive type checking. It's a problem anytime you refactor your code. ADTs and pattern matching is pretty much the bare minimum language feature i expect from any statically typed language.