orange @[email protected]

がんばって元の主張に反するパターンを考えたら、むしろ元の主張に沿ったパターンに思いいたり「そういうことか！＞＜；」ってなったパターン＞＜；

これって、論理を反転させて見ると「条件に反する項目があれば実行しない(し、なければ実行する)」になるわけで、それってつまり数学好きな人がしてる主張と同じになるし、
・・・つまりオレンジは数学界隈の人にごめんなさいしないといけない＞＜；

つまりオレンジのさっきの条件勘違いでの発想は「空配列の時にカバー出来なくなるバグの可能性がひとつ増える＞＜」ので、安全側ではないって主張だったわけだけど、なるほどしたあとの例は「そもそも『全て揃っているか？』を判断するコードがなければならず、それが欠けていれば空配列だろうがそうじゃなかろうが同じバグになる＞＜」ので、危険性は増えてないかもって＞＜

それはそうだけど、バグとフールプルーフ的な意味で・・・＞＜

とりあえず納得した気がする＞＜；

お手間をとらせて申し訳ない気持ち＞＜；

オレンジ流に「trueでよい」で考えるなら、「配列の中身が全部そうである」は「その配列に判断に必要な要素が全て入っていることは保証していない」ので、つまり「その配列に必要なものが揃ってないかもしれない可能性」は常にあるので、trueを返すことによって増える危険性は無視できるほど小さいのかも＞＜
かも？＞＜；

例えば、『チェック済み項目と「それをパスしているか？」の組み合わせ』が入ってる配列で「全部おkだったらtrue」って仕様だと、チェック済み項目が空(まだひとつもチェック終わってない)でもtrueになっちゃうけど、
でも、それは全部チェックし終わってなくてもtrueになっちゃうわけだからそもそもバグってる＞＜

という事はtrueでおk？＞＜；

・・・・なるほどではあるけど、でも直感的には、まだ「(でも、それってほんとに安全側になる？＞＜；)」って疑問が＞＜；

畳み込みの視点から見たforall(every)とexists(some): 空集合に対するforallは常にtrueになる - Lambdaカクテル https://blog.3qe.us/entry/2023/05/30/213713

"・「配列のすべての要素が条件を満たすならtrueを返す」関数を空集合に対して適用すると、常にtrueになる
・「配列の要素が1つでも条件を満たすならtrueを返す」関数を空集合に対して適用すると、常にfalseになる"

なるほど！＞＜；

あれっ？＞＜；

難しい＞＜；

書いた＞＜

オーストラリア市場撤退って事？ (#.4469841) | テスラの右ハンドル車、受注分も含め生産終了。モデルYは世界で最も売れた車に | スラド https://srad.jp/comment/4469841

J-POPって言葉が普及する前は、レコード屋さんの棚には「ニューミュージック」って書いてあった＞＜(たぶん正しい分類じゃなく、演歌民謡お年寄り向け歌謡曲サントラ等々以外の邦楽が、雑にニューミュージックの棚に置かれてた感じっぽさ＞＜)