Archived tweet #9490 from the @leastfixedpoint Twitter Archive

@acid2 That doesn't sound right. It falls down even on the classic "divison by zero" example. More accurate: types sometimes prove presence of good behavior, and sometimes prove absence of bad behavior. Other times, they're not powerful enough to give an answer either way.