Archived tweet #7214 from the @leastfixedpoint Twitter Archive

@RainerJoswig Yes. The state of the art has moved on since Eiffel, though; notably, with higher-order contracts. Cf. docs.racket-lang.org/guide/contract…