https://hackerpaper.kaipfister.de/p/1808.03370/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=20616000urn:hackerpapers:mention:1808.03370:20616000Mon, 05 Aug 2019 17:18:22 GMT<p>Each language will have different design priorities. For example auto-currying is great but it wouldn&#x27;t make sense in a multiple dispatch language since you have to evaluate every argument to dispatch (which makes n-arity functions necessarily first class, not a composition of 1-arity functions). Another example is that Julia&#x27;s type system exists to make it more dynamic (while maintaining high performance), while ML languages focus on static properties. But previous designs are great for inspiration (like you say, Julia has a lot from them, like sum and product types, subtyping, parametric…</p><p><a href="https://hackerpaper.kaipfister.de/p/1808.03370/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PL