https://hackerpaper.kaipfister.de/p/1711.09286/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=21494528urn:hackerpapers:mention:1711.09286:21494528Sat, 09 Nov 2019 21:34:46 GMT<p>&gt; Are you saying there have been studies that show Haskell&#x27;s type system has not been correlated to higher correctness than say Java or Python, or are you saying you are unaware of any such studies? On the contrary! Consider for instance: &quot;Total Haskell is Reasonable Coq&quot;[1] 1. https://arxiv.org/abs/1711.09286</p><p><a href="https://hackerpaper.kaipfister.de/p/1711.09286/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PLhttps://news.ycombinator.com/item?id=15810312urn:hackerpapers:submission:1711.09286:15810312Wed, 29 Nov 2017 20:00:28 GMT<p>Total Haskell Is Reasonable Coq</p><p></p><p>2 points; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/1711.09286/">Paper and source history</a>. A submission is not an endorsement.</p>cs.PL