A Type System for Management

In my book Rusty Engineering Management I meander to a point I make explicitly here: There is a type system for engineering management and all you need to understand it is Rust.