# Why Is List Item Always Nullable? ## Motivation There were independent proposals to make the `nullable` setting of list items in accumulator state be configurable. This meant adding additional fields which captured the `nullable` setting from schema in planning for the first argument to the aggregation function, and the returned value. These fields were to be added to `StateFieldArgs`. But then we found out that aggregate computation does not depend on it, and it can be avoided. This document exists to make that reasoning explicit. ## Background The list data type is used in the accumulator state for a few aggregate functions like: - `sum` - `count` - `array_agg` - `bit_and`, `bit_or` and `bit_xor` - `nth_value` In all of the above cases the data type of the list item is equivalent to either the first argument of the aggregate function or the returned value. For example, in `array_agg` the data type of item is equivalent to the first argument and the definition looks like this: ```rust // `args` : `StateFieldArgs` // `input_type` : data type of the first argument let mut fields = vec![Field::new_list( format_state_name(self.name(), "nth_value"), Field::new("item", args.input_types[0].clone(), true /* nullable of list item */ ), false, // nullable of list itself )]; ``` For all the aggregates listed above, the list item is always defined as nullable. ## Computing Intermediate State By setting `nullable` (of list item) to be always `true` like this we ensure that the aggregate computation works even when nulls are present. The advantage of doing it this way is that it eliminates the need for additional code and special treatment of nulls in the accumulator state. ## Nullable Of List Itself The `nullable` of list itself depends on the aggregate. In the case of `array_agg` the list is nullable(`true`), meanwhile for `sum` the list is not nullable(`false`).