属性にはオプションの第3引数として結果の値同士を合成するサブプログラムを渡すこともできます。みたいに並列化されるかもしれません。使って並列化を指示できます。引数風に書けば次のような関数または手続きとなります。属性の対象となるコンテナは一度変数に入れなくてもインラインで書いて良いことになっています。最初の例であればこれでいいです。55このように書きますとメモリ上で配列を組み立てたりせず数列を生成した端から畳み込んでいく最適化も期待できます。所謂map-reduceを行う式を一行でそれもfor文と同じ効率で書けてしまうことになります。場合はquantified式を使うほうがいいです。関数ということになってしまいます。言語仕様を決める側は自由自在にできてずるい。一般の暗黙のインスタンス化は提案されはしましたが採用されませんでした。