The Design-by-Contract (CodeContract) is of course very Eiffelike, even the old-value semantics is there. The syntax is quite bloated in comparison [as
leriksen71 says], but having the semantics at all is a first step. Also, tail recursion optimization is a welcome improvement.