キューのストリームがそもそも無効になるというのは Some(Closed) で表現して、キューが空であるという状態は None で返すということなのか
ただまあ個人的には(本当に個人的)、 Some(Empty) で空であることを示して None でストリームの終端を示してほしい気がしなくもない
しかしストリームが切れる理由が様々なのであればおそらくそれは無理なので、None で表現されるべきものではないというのもまた真ぽそう
キューのストリームがそもそも無効になるというのは Some(Closed) で表現して、キューが空であるという状態は None で返すということなのか
ただまあ個人的には(本当に個人的)、 Some(Empty) で空であることを示して None でストリームの終端を示してほしい気がしなくもない
しかしストリームが切れる理由が様々なのであればおそらくそれは無理なので、None で表現されるべきものではないというのもまた真ぽそう