Defining data structures first and then the rest of the program as operations between those data structures. If possible using types, and keeping as much as pos

Defining data structures first and then the rest of the program as operations between those data structures. If possible using types, and keeping as much as possible pure (no side-effects). Makes it easier to reason about, and to check for correctness.