構文を拡張して、コンテキストの値を受け取れるようにする提案です。結果のオブジェクトを参照します。よる打ち切りなどによって、適切でない値が返ることがあります。参照できるようにあらかじめ変数に束縛する必要があります。変数に束縛できると、記述が簡潔になります。retvalendパッチはつくっていませんが、そろそろ締め切りらしいので提案してみます。受け取る値を明確に定義してください。ensureはいろいろな場合(正常終了、例外、throwなど)に呼ばれるので、それぞれのケースについてどうなるのかが気になります。LangLoading...。