miniblog.

"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'.

Really cute approach to reporting type errors: when there's a type error, show an example of a runtime error that the type check has prevented! Data-Driven Techniques for Type Error Diagnosis https://escholarship.org/uc/item/59s4h4pv

Doing another iteration on my diagnostics display. I'm reasonably happy with the bold highlighting within the error message. I'm not sure about the colour on Warning and Error though. It gives the output some visual structure, but arguably the message itself is more important.