How the Enum Protocol behaves for an empty List []?
Just yesterday I got the businness requirement to use the Enum.all? to check for price value should meet the certain condition.
I simply code it like Enum.all?(list, & &1.price >= 143) to my surprise whenever the list is empty it is sending me true . It should send me as false right and that’s what I expected. Then I looked the docs for it.
Please correct me if I am wrong here. Glad if you could share intentions behind this function usage.
If you open the source code here then you will find that it is a simple reduce operation staring with false as accumulative value. So when your list is empty then it gives your false. The same for all? it starts with true and empty list doesn’t trigger the iteration process.
When an element has a truthy value (neither false nor nil ) iteration stops immediately and true is returned. In all other cases false is returned.
As you can see in both functions documentation says what happens in “all other cases”.
Maybe it could be seen as confusing, but when you think more about it then it makes more sense.
In Enum.all?/2 case we check if all elements passes check and since there are no elements it acts like all elements passes. Please look at it like that: we have 0 items and 0 items passed, so all items passed - or in another words there was no item which does not passed.
In Enum.any?/2 case we check if any element passes check and since we have no element no element from list passes check, so we are getting false here. Please look at it like that: we have 0 items and 0 items passed, so no items passed - or in another words there was no item which have passed.
You can notice all items passed vs no items passed parts and that’s correct since we have all? vs any? naming.
Logic is exactly the right word! The answer here has to do with the relationship between the existential and universal quantifiers. Formally:
In regular language, it’s saying that if for all x some proposition P(x) is true, then it’s false that there exists any x such that P(x) is false. Enum.all? is equivalent to the universal quantifier, and Enum.any? is equivalent to the existential quantifier. Let’s play with it!
iex(3)> Enum.all?([2,4,6], fn x -> Integer.is_even(x) end)
true
iex(4)> !Enum.any?([2,4,6], fn x -> !Integer.is_even(x) end)
true
This makes sense. If all of the integers are even, then obviously not any of them are not even. The high level relationship to keep in mind here: Enum.all?() == !Enum.any?(). If one is true, the other must be false.
Let’s focus on the Enum.any?([2,4,6], fn x -> !Integer.is_even(x) end) bit. The idea here is that we’re looking for any item that passes our test. If no item passes the test, we should return false.
iex(5)> Enum.any?([], fn x -> !Integer.is_even(x) end)
false
If we give it an empty list, then no possible item can pass the test, so it returns false. Our high level relationship from earlier told us that Enum.all?() == !Enum.any?(). Therefore if Enum.any? returns false with an empty list, then Enum.all?must return true for an empty list.
Thanks for time you took to document here with well explanation.
I almost read your content enough times to digest the intention behind those functions.
Now I got confusion to use Enum.all? I have to check for list emptiness before applying. There is no problem with Enum.any? here but Enum.all? confused with the sounds it has. I thought Enum.all? must evaluate the condition function given to not falsy Since we don’t pass any value in the list, as the priority check, the functional condition is no way it gets executed.
At higher level of understanding I thought it should be false while coming to lower level it is more sense to be true after looking your points.
So, for Enum.all? an extra check has to performed for Non Empty list. Before its actual usage.
Glad you took the time and effort to document this. Appreciate that.
It’s more explanatory and ideal to look into.
The relationship between the existential and universal quantifiers is self-explanatory for the logic behind the function.
If all of the integers are even, then obviously not any of them are not even. The high level relationship to keep in mind here: Enum.all?() == !Enum.any?() . If one is true, the other must be false.
Another way to describe it is it that all is a series of conjunctions (and) whereas any is a series of disjunctions (or), and by De Morgan’s laws not (A and B) = not A or not B