|
|
|
|
|
|
by mejutoco
1099 days ago
|
|
|
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. |
|
|