Archived tweet #11900 from the @leastfixedpoint Twitter Archive

@dabeaz @luskwater @fogus I should say, it wasn't a reinvention so much as a building-upon: Racket's contracts are explicitly a carrying-forward of the Eiffel ideas.