Asterism icon indicating copy to clipboard operation
Asterism copied to clipboard

Shouldn't ASTAll and ASTAny should return YES for empty containers?

Open mixtly87 opened this issue 8 years ago • 1 comments

I find it odd that All and Any methods return NO for empty sets. Formally, I believe, YES should be returned in such cases; according to: https://en.wikipedia.org/wiki/Vacuous_truth#Vacuous_truths_in_mathematics

Additionally, I find I often need to cover an empty-container case manually in my code, because Asterism doesn't return YES in those cases.

mixtly87 avatar Sep 28 '17 12:09 mixtly87

Very good point, would you be interested in submitting a Pull Request?

robb avatar Oct 03 '17 21:10 robb