stilkov’s Twitter Archive—№ 30,695

RT hillelogram: I get this question a lot: how can I be fond of formal methods _and_ dynamically-typed languages? Easy. They appeal to me…