I'll admit I don't know much about Ada, but the "when" syntax additions described here look interesting. Is there any difference between "return when ..." and "if ...: return" in Ada?
This, together with the `@` syntax, are interesting cases of adding a bit more sugar to Ada. Hopefully it heralds a good future.