いつの間にかAda2012の規格が公開されていました。 http://www.ada-auth.org/standards/ada12.html あれ……with private/end private/limited new論争とか、foreachのようなものとか、GNATがフライング実装したif式/case式とか、VectorsのReference関数とか、…