Kotlin's Type System is (Also) Unsound · HackerPapers discussions

Kotlin's Type System is (Also) Unsound · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2408.10804/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:27:26 GMTKotlin's Type System is (Also) Unsound — HN submissionhttps://news.ycombinator.com/item?id=41367147urn:hackerpapers:submission:2408.10804:41367147Tue, 27 Aug 2024 13:11:45 GMT<p>Kotlin's Type System Is (Also) Unsound</p><p></p><p>1 point; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2408.10804/">Paper and source history</a>. A submission is not an endorsement.</p>cs.PL