expression¶aggregate式シリーズもそろそろ大詰め。限定のfold式でした。一般化したいというのは人情です。(昨日の内容は適当に間に合わせた回に見せかけて伏線を張る高等テクニック。属性が追加されました。高階関数として振る舞います。Contains;と書くことができます。......やっぱりdeclare式による式中での関数内関数の宣言欲しいですよねえ。属性の第1引数はサブプログラム名そのものです。引数風に書けば次のような関数または手続きとなります。属性は異例尽くしとなっています。aggregateのときの議論はなんだったのでしょうね......。手続きも使えますので既存のサブプログラムを使ってコンテナに値を追加していくこともできます。Integer_Vectors.Empty);これはまあ次のように書けば同じですけれどね。E];悪用の方向で想像を膨らませますとファイルに出力するような真似もできるかもしれません。型は使用できないようですのでいい感じのラッパーが必要になると思われます。