2012で導入された事前条件/事後条件等の条件式に複雑な式を書くために導入されました。式中で使えるようになり、例外が投げられるようになりました。2020ではaggregate式で内包表記っぽいこともできるようになっています。手続き型言語Adaは既に式指向の言語として色々書けてしまうのです。流行にかぶれてしまってますよねえ。なると後足りないものは何でしょうか。式中での宣言もできるようになりました。......ヘンな文法で。単独での使用は珍しく珍しいですね。よる別名に制限されていますので、型や関数内関数等は宣言できません。関数内関数が使えれば無法地帯でしたのに残念。いうのは長い、と思われたようです。型を省略できるようになりました。