Egison语言开发：模式匹配和符号计算

我在Egison语言中开发应用和研究代码——这是一种功能性语言，其关键特性是对非自由数据类型（如集合、多重集合、图）进行表达性非线性模式匹配。如果您有数据结构不符合标准模式匹配，我会设计一个合适的匹配器，而Egison语言则处理繁重的工作。我的实践分为三个方向。首先——模式设计：我将集合、排列、扑克组合、序列对齐和组合约束编码为简洁的匹配器，并通过全面测试验证它们。第二——符号和数学计算：我应用内置的符号引擎和张量索引符号来推导和求导表达式，原型算法并验证手动计算繁琐的恒等式。第三——研究支持：我帮助重现Egison语言论文中的结果，移植原型并将数学规范转化为可执行代码。交付物包括干净的注释源代码、README、可运行的测试套件和一次简短的带指导的通话。我在Haskell和Scheme方面有多年的函数式编程经验，因此转向Egison是自然而然的。描述您需要匹配的结构和要证明的恒等式，我会在第一行代码之前发送一个包含里程碑的计划。