<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Improving Type Error Messages in OCaml · HackerPapers discussions</title><link>https://hackerpaper.kaipfister.de/p/1512.01897/</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/1512.01897/feed.xml" rel="self" type="application/rss+xml" /><item><title>Improving Type Error Messages in OCaml — mentioned by avsm</title><link>https://news.ycombinator.com/item?id=15573431</link><guid isPermaLink="false">urn:hackerpapers:mention:1512.01897:15573431</guid><pubDate>Sat, 28 Oct 2017 00:58:41 GMT</pubDate><description>&lt;p&gt;I can assure you that the OCaml maintainers do appreciate the value of friendly error messages, despite your drive-by comments about our ethos. However, unfinished patches cannot be merged into our mainline tree, and this PR https://github.com/ocaml/ocaml/pull/102 needs some attention to rebase it to trunk, and also to get feedback from testers who may have tried the opam switch and have comments. (associated writeup https://arxiv.org/abs/1512.01897) Help welcome on this particular patch, and other newer ones from Reason that can be ported over to OCaml and submitted as normal feature…&lt;/p&gt;&lt;p&gt;&lt;a href="https://hackerpaper.kaipfister.de/p/1512.01897/"&gt;Paper and discussion history&lt;/a&gt;. A mention is not an endorsement.&lt;/p&gt;</description><category>cs.PL</category></item></channel></rss>
