文件名称:egison:Egison编程语言
文件大小:2.98MB
文件格式:ZIP
更新时间:2024-05-28 10:27:14
programming-language functional-programming pattern-matching differential-geometry tensor
Egison编程语言 Egison是一种功能性编程语言,具有其富有表现力的模式匹配功能。 Egison允许用户为任意用户定义的数据类型(包括列表,多集,集合,树,图和数学表达式)等非用户定义的数据类型定义高效且富有表现力的模式匹配方法。 这是Egison解释器的存储库。 有关更多信息,请访问。 推荐论文 模式匹配 中木聪(Satoshi Egi),西胁友一(Yuichi Nishiwaki):(APLAS 2018) 中木智一(Satoshi Egi),西胁雄一(Yuichi Nishiwaki):(2020) 张量指数符号 中本聪(Satoshi Egi):()的(Scheme Workshop 2017) 非*数据类型的非线性模式匹配 我们可以对Egison中的非*数据类型使用非线性模式匹配。 非*数据类型是其数据没有规范形式或表示该对象的标准方式的数据类型。 例如,多集是