Non-Linear Pattern-Matching against Unfree Data Types with Lexical Scoping · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/1407.0729/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTNon-Linear Pattern-Matching against Unfree Data Types with Lexical Scoping — mentioned by egihttps://news.ycombinator.com/item?id=7994069urn:hackerpapers:mention:1407.0729:7994069Sun, 06 Jul 2014 08:36:42 GMT<p>The biggest difference is Egison realizes non-linear pattern matching against unfree data types such as multisets and sets. I&#x27;ve wrote brief comparison here. https://github.com/egison/egison#comparison-with-related-wor... Please check my paper, too. http://arxiv.org/abs/1407.0729</p><p><a href="https://hackerpaper.kaipfister.de/p/1407.0729/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PLNon-Linear Pattern-Matching against Unfree Data Types with Lexical Scoping — mentioned by egihttps://news.ycombinator.com/item?id=7993109urn:hackerpapers:mention:1407.0729:7993109Sat, 05 Jul 2014 22:00:29 GMT<p>The creator of the language here, ask me anything. Please check my paper recently I put on arXiv.org. http://arxiv.org/abs/1407.0729</p><p><a href="https://hackerpaper.kaipfister.de/p/1407.0729/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PL