Video explaining how you can use Rust’s type system to describe your business logic. Many of the ideas can be transferred to other languages.