Deriving a client from an OpenAPI schema, so services in different languages can share one source of truth for their types.
A practical tour of what type systems can offer you. We explore ideas that empower how you can write software: type safety, subtyping, variance, algebraic data types and others.