Archived tweet #7209 from the @leastfixedpoint Twitter Archive

Racket's "contracts" seem almost identical to CLIM's "presentation types". Implementation and purpose completely different. But suggestive!