Archived tweet #10161 from the @leastfixedpoint Twitter Archive

RT @spdegabrielle: @wilbowma @racketlang “A language with static dependent-types and dynamic types, type annotations and parentheses, theor…