all([a,b,c])が真なら、all([a]) && all([b,c])もall([a,b]) && all([c])も真になるべきだし、それならall([]) && all([a,b,c])も真であるべき。つまりall([])は真しかあり得ないと理解した。

takumikabutakumikabu のブックマーク 2023/05/31 12:02

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

畳み込みの視点から見たforall(every)とexists(some): 空集合に対するforallは常にtrueになる - Lambdaカクテル

    こういうツイートが話題になっていた。 「配列のすべての要素が条件を満たすならtrueを返す」関数を定義するとき、空の配列を渡したらfalseを返すかtrueを返すかが、良いプログラマかどうかの一つの境目だ— ふみ ...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう