This talk popped up in my news feed today: Ideology. It’s a discussion of static vs dynamic languages and what they can and can’t do with regard to modelling and testing correct systems.