Borgo is a statically typed language that compiles to Go and strives to be interoperable with the existing Go ecosystem. The Borgo language adds to Go algebraic data types, pattern matching ...