Archived tweet #10015 from the @leastfixedpoint Twitter Archive

@jonathoda @arntzenius As stated, it mandates separate *type-checking*, which trivially applies to Smalltalk - does it really then rule out Smalltalkish approaches?