差分集成体(delta aggregate)

元の値の写しから一部の成分だけを変えた複合型の値を作る、Ada 2022の集成体。レコードと配列に使える。

概念URI

https://comcomponent.com/knowledge/ada-delta-aggregate/

別名・表記

delta aggregate / with delta

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• 契約による設計(Pre/Post条件)は差分集成体(delta aggregate)を利用します。差分集成体は式なので事後条件に書ける。C = (C'Old with delta Verbose => True) のように、呼び出しで変わる成分だけを示し、ほかの成分が変わらないことを表せる。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典 出典

この概念を扱う記事

• Ada 2022 の新しい機能 ── GNAT で動くものと、まだ書けない並列構文(主要トピック)

一次資料

• https://ada-lang.io/docs/arm/AA-4/AA-4.3/

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。