Egison：针对非自由数据类型的非线性模式匹配
Egison: Non-Linear Pattern-Matching against Non-Free Data Types
摘要：
本文介绍了Egison程序设计语言，它的特点是不仅对代数数据类型，而且对非自由数据类型（数据有多种表示方式，如集合和图形）都有很强的模式匹配能力。我们的语言支持同一个变量在一个模式中多次出现，模式匹配的多个结果，模式构造函数和循环模式的多态性，包含“等等”的模式，其重复计数可以通过参数来改变。本文提出了设计具有所有这些特征的表达式的方法，并演示了这些特征如何有助于简洁地表达程序。Egison已经在Haskell中实现了。
英文摘要：
This paper introduces the Egison programming language whose feature is strong pattern-matching facility against not only algebraic data types but also non-free data types whose data have multiple ways of representation such as sets and graphs. Our language supports multiple occurrences of the same variables in a pattern, multiple results of pattern-matching, polymorphism of pattern-constructors and loop-patterns, patterns that contain "and-so-forth" whose repeat count can be changed by the parameter. This paper proposes the way to design expressions that have all these features and demonstrates how these features are useful to express programs concise. Egison has already implemented in Haskell.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
