式要らないんだと思う。書くとネストが深くなってしまうので、for文だとスッキリかけて嬉しいってのはある。必要なメソッドさえ揃っていればいいので、繰り返し以外の文脈で用いることができる。オプショナルな値を表す。使いたく場面で使う型である。式に関連するメソッドが、値がある時には関数を実行し、そうでなければ何もせず値なしを結果とするという意味合いで定義されている。for式関連のメソッドは値が得られた時に関数を実行するように定義されている。計算するという、コールバックの登録的な意味合いを持っている。式の最後でのリソース解放を実現している。