以下はマイクロソフトのサイトからの抜粋
シーケンスは、すべてが同じ型の論理的な一連の要素です。 これらは、リストや配列より一般的な型であり、任意の論理的な一連の要素を "表示" することができます。 また、それらは遅延にできる点でも優れています。これは、必要な場合にのみ要素を計算できることを意味します。
以下は上を多少イジりました。
多少yieldはPythonでも、触れていたので、イメージは持っていました。若干違ったのが18、19行目が纏めて行われるように思ってましたがそうではありませんでした。17行目のyieldで、一旦抜けて、18行と19行を実行しますが、ここで終わりでなくて、もとに戻る感じですかね?データによる再帰そんな感じですね。
追記)同じyieldでも、Arrayに適応すると、纏まった処理になります。Sequenceだと遅延評価というんですかね?一件づつの処理になります。