Hello people :spock-hand: Does anybody know why `a...

# stdlib

[Pavel Apisov]

Hello people 🖖
Does anybody know why any or all returns true with an empty list no matter what the predicate? Seems counterintuitive.

I tried to google it quickly but no luck.
Just wondering, maybe someone's aware of it and can explain 🙂

[spand]

any doesnt

[cbruegg]

https://en.wikipedia.org/wiki/Vacuous_truth

[Pavel Apisov]

Didn't test any well enough. Indeed it doesn't, thanks.

[Pavel Apisov]

Thanks, Christian!
I assumed that it might be some kind of mathematical\logic concept.
Interesting 🙂