Archived tweet #3454 from the @leastfixedpoint Twitter Archive

RT @littlecalculist: The promise of type systems: we'd like to document & check the shit we know about our programs. The problem: we ...