Archived tweet #10282 from the @leastfixedpoint Twitter Archive

@DrDeeGlaze "trivially typed programming languages"? Though even static assurance of proper scoping discipline isn't nothing...