[erlang-questions] lists:all/2 unexpected result for the empty list
Wed Jul 20 00:43:24 CEST 2011
# James Aimonetti 2011-07-19:
> Was wondering the reasoning for lists:all/2 returning true when passed
> an empty list as the second parameter?
Intuitively: If universal quantifier evaluates to false that would mean
there was at least one element violating the predicate, right? Now how
could that possibly happen in a set with no elements at all?
More information about the erlang-questions