<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>NullAway: Practical Type-Based Null Safety for Java · HackerPapers discussions</title><link>https://hackerpaper.kaipfister.de/p/1907.02127/</link><description>Collected HN comments and submissions linking this paper.</description><language>en</language><lastBuildDate>Mon, 02 Nov 2026 11:16:22 GMT</lastBuildDate><atom:link href="https://hackerpaper.kaipfister.de/p/1907.02127/feed.xml" rel="self" type="application/rss+xml" /><item><title>NullAway: Practical Type-Based Null Safety for Java — mentioned by imoverclocked</title><link>https://news.ycombinator.com/item?id=26719075</link><guid isPermaLink="false">urn:hackerpapers:mention:1907.02127:26719075</guid><pubDate>Wed, 07 Apr 2021 00:27:03 GMT</pubDate><description>&lt;p&gt;Yup, NPEs are not caused in the location that they occur. They are caused by the part of the code that inserts a null where it doesn&amp;#x27;t belong/isn&amp;#x27;t expected. This means that getting rid of NPEs requires detailed enforcement across module/method/interface/etc boundaries. If something is labelled @Nonnull (or @NotNull, depending on the annotations used) then it should never be allowed to be null. The issue arises when there is no enforcement of this paradigm at the compiler level. Similar languages (Kotlin/Swift/...) with the benefit of Java in hindsight, can track nullability as a core…&lt;/p&gt;&lt;p&gt;&lt;a href="https://hackerpaper.kaipfister.de/p/1907.02127/"&gt;Paper and discussion history&lt;/a&gt;. A mention is not an endorsement.&lt;/p&gt;</description><category>cs.SE</category></item><item><title>NullAway: Practical Type-Based Null Safety for Java — mentioned by lainon</title><link>https://news.ycombinator.com/item?id=20371038</link><guid isPermaLink="false">urn:hackerpapers:mention:1907.02127:20371038</guid><pubDate>Sat, 06 Jul 2019 18:27:55 GMT</pubDate><description>&lt;p&gt;paper: https://arxiv.org/abs/1907.02127&lt;/p&gt;&lt;p&gt;&lt;a href="https://hackerpaper.kaipfister.de/p/1907.02127/"&gt;Paper and discussion history&lt;/a&gt;. A mention is not an endorsement.&lt;/p&gt;</description><category>cs.SE</category></item></channel></rss>
