miniblog.

Test code is total: we require it to always terminate or it's a failure! It also typically has 100% line and branch coverage. I feel way less nervous about refactoring tests, you can always just run them.

"Example Driven Development" using Glamorous and Pharo Smalltalk: https://medium.com/feenk/an-example-of-example-driven-development-4dea0d995920 Tests returning values and composing is a really interesting model. It establishes structure and shows which test failure is the most 'fundamental'.

My favourite programming model is single machine, single thread. It's so much easier to reason about when you have fewer failure possibilities.