Egison：针对非自由数据类型的非线性模式匹配
编程语言
2015-06-16 v1
摘要
本文介绍了一种名为 Egison 的编程语言，其特点是具备强大的模式匹配功能，不仅适用于代数数据类型，还适用于非自由数据类型（如集合和图等多重表示形式的数据）。我们的语言支持模式中同一变量的多次出现、模式匹配的多个结果、模式构造子的多态性以及循环模式，还支持包含"以此类推"（and-so-forth）的模式，其重复次数可由参数调整。本文提出了一种设计具有上述所有特性的表达式的方法，并展示了这些特性如何有助于简洁地表达程序。Egison 已在 Haskell 中实现。
引用
@article{arxiv.1506.04498,
title = {Egison: Non-Linear Pattern-Matching against Non-Free Data Types},
author = {Satoshi Egi},
journal= {arXiv preprint arXiv:1506.04498},
year = {2015}
}
备注
9 pages. arXiv admin note: text overlap with arXiv:1407.0729