反復子のフィルタ(iterator filter)

ループや反復子付きの集成体で、whenの後の条件を満たす要素だけを対象にするAda 2022の構文。

概念URI

https://comcomponent.com/knowledge/ada-iterator-filter/

別名・表記

iterator filter / for ... when

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• 簡約式(reduction expression)は反復子のフィルタ(iterator filter)を利用します。簡約式の値の列には反復子のフィルタを書け、[for V of Values when V mod 2 = 0 => V * V]'Reduce ("+", 0) のように条件を満たす要素だけを畳み込める。フィルタは省略できる。 / 確度: 条件付きの関係 / 確認日: 2026-11-01 出典 出典

この概念を扱う記事

• Ada 2022 の新しい機能 ── GNAT で動くものと、まだ書けない並列構文(言及)

一次資料

• https://ada-lang.io/docs/arm/AA-5/AA-5.5/

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