<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>DeLaM: A Dependent Layered Modal Type Theory for Meta-programming · HackerPapers discussions</title><link>https://hackerpaper.kaipfister.de/p/2404.17065/</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/2404.17065/feed.xml" rel="self" type="application/rss+xml" /><item><title>DeLaM: A Dependent Layered Modal Type Theory for Meta-programming — mentioned by bmc7505</title><link>https://news.ycombinator.com/item?id=46529854</link><guid isPermaLink="false">urn:hackerpapers:mention:2404.17065:46529854</guid><pubDate>Wed, 07 Jan 2026 17:57:59 GMT</pubDate><description>&lt;p&gt;There are a few approaches if you want to write a new language. One, as the author argues, is to write a library in an existing language, which may require sacrificing ergonomics to fit inside the syntax of the host language, but is safe, modular and reusable. Many DSLs can be bolted onto an existing language with support for compiler extensions. This approach offers more flexibility, but often leads to fragmentation and poor interoperability in the language ecosystem. There is third approach, established by a group in Minnesota [1], which is to design languages and tools which are modular…&lt;/p&gt;&lt;p&gt;&lt;a href="https://hackerpaper.kaipfister.de/p/2404.17065/"&gt;Paper and discussion history&lt;/a&gt;. A mention is not an endorsement.&lt;/p&gt;</description><category>cs.LO</category></item></channel></rss>
