egison:Egison编程语言

时间:2024-05-28 10:27:14
【文件属性】:

文件名称: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中的非*数据类型使用非线性模式匹配。 非*数据类型是其数据没有规范形式或表示该对象的标准方式的数据类型。 例如,多集是


网友评论