Archived tweet #8805 from the @leastfixedpoint Twitter Archive

@DRMacIver We were given a homework exercise today: "explain to a practising programmer why they really want type soundness"