Distributed Systems - Algebraic Types for Better State Modeling

Distributed systems are notoriously hard. They force us to deal with constant uncertainty: machines...