結果これまで書いたことに訂正が必要になりましたので47日目です。第3引数(Combiner)が取りやめになりました。第3引数は結果の型同士を畳み込むサブプログラムを指定する引数でした。それが削除されましたので畳み込む要素の型と結果の型が異なる場合には並列化できないということになります。属性との組み合わせだけでなくどこでも使えるように一般化される、かもしれません。なればユーザー定義型を通じて同じようなこともできますし応用範囲も広くなります。そちらはまだ議論中です。10日目を修正しました。動的な初期化を必要としない型です。パッケージの中でグローバル変数として配置できることになります。このように規格の更新の度にどんどんと標準ライブラリは初期化が不要になっていっています。(その分実装難易度は上がるわけです......。)35日目に追記しました。通常の関数呼び出し同様になりました。大きい修正として、派生先で再定義可能になりました。上書き不可能(nonoverridable)ではなくなりました。静的な型に従って解決され動的ディスパッチはされません。41日目を修正しました。拡張return文で作成中の返値のチェック¶これまで拡張return文の返値オブジェクトのチェックは実際に関数を抜ける時に行われていました。拡張return文の中では未チェックのオブジェクトが存在できてしまっていました。各種チェックのタイミングが修正されます。際して生存期間はレキシカルにそのサブプログラムよりも一段広いものとして扱われていました。対して匿名のaccess型の生存期間は実行時の実際のものが使われていました。aliased引数の生存期間も実行時の実際のものが使われるようになります。これによって自由度は増しました。実際の生存期間を使ってチェックを行うには隠しパラメータとして渡されるしかないわけですよ。これまで本当は匿名のaccess型にしたいけれども隠しパラメータを追加されたくない場合はaliased引数にするテクニックが使えていましたのに......。使わなくなるだけで隠しパラメータの存在自体は消せません。使うことになるのでしょうか。演算子について、派生を挟むと後からの再定義がエラーになります。