Actually, sum(), all(), any(), prod() all return a _carefully considered_ 
result in the case of an empty vector. The sum over a disjoint union of sets 
should be the sum of the sums over each set, so if a set is empty, its 
contribution to the sum must be zero. Similarly, the product over an empty set 
is 1. Logical aggregate all() should be stable for "&" and any() for "|", hence 
all(logical(0))==TRUE and any(logical(0))==FALSE. 

-pd

> On 16 Jan 2023, at 16:53 , GILLIBERT, Andre <andre.gillib...@chu-rouen.fr> 
> wrote:
> 
> Duncan Murdoch <murdoch.dun...@gmail.com> wrote:
> 
>> To even do that, we would have to first decide which "cases" should produce 
>> a warning.
> 
>> Let's say `1 + x` should give a warning when x = numeric(0). Then should 
>> `x^2` also produce a warning? Should `x^0.5`? Should `sqrt(x)`?
>> Should `log(x)`?
> 
> 
> The most probable errors would be in functions taking two arguments (e.g. 
> `+`) and for which one argument has length >= 2 while the other has length 0.
> 
> In my experience, most code with accidental zero-length propagations (e.g. 
> typo in data_frame$field) quickly lead to errors, that are easy to debug 
> (except for beginners), and so, do not need a warning.
> 
> The only cases where zero-length propagation is really dangerous in my 
> experience is in code using an aggregating function like sum(), all() or 
> any(), because it silently returns a valid value for a zero-length argument. 
> Emitting warnings for sum(numeric(0)) would probably have too many false 
> positives but a (length >= 2) vs (length == 0) warning for common binary 
> operators could sometimes catch the issue before it reaches the aggregating 
> function.
> 
> -- 
> Sincerely
> André GILLIBERT
> ______________________________________________
> R-devel@r-project.org mailing list
> https://stat.ethz.ch/mailman/listinfo/r-devel

-- 
Peter Dalgaard, Professor,
Center for Statistics, Copenhagen Business School
Solbjerg Plads 3, 2000 Frederiksberg, Denmark
Phone: (+45)38153501
Office: A 4.23
Email: pd....@cbs.dk  Priv: pda...@gmail.com

______________________________________________
R-devel@r-project.org mailing list
https://stat.ethz.ch/mailman/listinfo/r-devel

Reply via email to