Archived tweet #9492 from the @leastfixedpoint Twitter Archive

@acid2 That still falls a bit short given that type systems rule out good (desirable, wanted) behavior along with bad. Perhaps "[types] can certainly say when a program definitely won't do what *they* want." :-)