On Tue, Apr 25, 2023 at 12:26 PM Kenneth Knowles wrote:
> This is great work. Thanks for writing about it.
>
> I hold a stronger opinion than "the danger of nullness and the validity of
> the warnings depend on the code context": nullness is a solved problem, and
> type systems solved it, decades
This is great work. Thanks for writing about it.
I hold a stronger opinion than "the danger of nullness and the validity of
the warnings depend on the code context": nullness is a solved problem, and
type systems solved it, decades ago in some languages and more recently in
Java. Nullness errors a
