Structural Verification: Catching Data Model Clusterfumbles Before They Happen

I recently finished up a series here showing you the Raft distributed consensus algorithm, implemented in Python. In the final post of that series, we talk about code design—specifically, how a system's design affects the tools that a developer needs in order to implement it. Raft was designed with the explicit goal of understandability, and…