https://hackerpaper.kaipfister.de/p/2510.11151/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=47957121urn:hackerpapers:mention:2510.11151:47957121Thu, 30 Apr 2026 01:49:05 GMT<p>That&#x27;s in large parts Scala. It doesn&#x27;t have Hindley-Milner type inference, but it has very strong type inference. We will get linearity soon thanks to and as part of the Capybara[1] effort. Refinement types are already long a reality. The whole new effect tracking thing is based on delimited continuations. The Unison style content addressability comes up now and then, maybe it will become a reality at some point. It&#x27;s though mostly not a language thing but more a build system thing. Scala is already great for for LLMs also for other reasons: https://arxiv.org/html/2510.11151v1 [1]…</p><p><a href="https://hackerpaper.kaipfister.de/p/2510.11151/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.CLhttps://news.ycombinator.com/item?id=47957018urn:hackerpapers:mention:2510.11151:47957018Thu, 30 Apr 2026 01:35:02 GMT<p>Why would anybody use a vibe-coded and vibe-desinged language which effectively does not exist yet instead of an established one with such features, like Scala? https://arxiv.org/html/2510.11151v1</p><p><a href="https://hackerpaper.kaipfister.de/p/2510.11151/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.CL