@datarama @futurebird @WizardOfDocs @snacktraces Yeah, that’s good stuff. I’ve managed to get at least a little bit of design-by-contract thinking into our 2nd semester course, although I’m not sure it sticks (yet, still working on it!).
Speaking with my industry hat on, there’s a limit to how much that kind of formalism can help. Intent and purpose are usually squishy, ambiguous, full of hidden assumptions… 1/2