A Purely Functional Computer Algebra System Embedded in Haskell
A Purely Functional Computer Algebra System Embedded in Haskell
复制标题
嵌入 Haskell 的纯函数式计算机代数系统
DOI：
10.1007/978-3-319-99639-4_20
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Ishii Hiromi
中科院分区：
文献类型：
--
作者：
Frias;L.;Frias Liesbeth;Frias Liesbeth;Frias Liesbeth;Frias Liesbeth;Frias L & MacIntosh AJJ.;MacIntosh AJJ & Frias L;Ishii Hiromi
我们演示了如何在函数式编程方法可以用来实现一个计算机代数系统。作为概念验证，我们提出了计算代数包。它是一个计算机代数系统，在Haskell（一种纯函数式编程语言）中实现为嵌入式领域特定语言。利用函数式编程的方法和Haskell的突出特性，该库同时实现了安全性，可组合性和正确性。为了证明我们的方法的优点，我们已经实现了先进的Gröbner基础算法，如Faugère的沙子，在一个可组合的方式。
We demonstrate how methods inFunctional Programmingcan be used to implement a computer algebra system. As a proof-of-concept, we present thecomputational-algebrapackage. It is a computer algebra system implemented as an embedded domain-specific language inHaskell, a purely functional programming language. Utilising methods in functional programming and prominent features of Haskell, this library achieves safety, composability, and correctness at the same time. To demonstrate the advantages of our approach, we have implemented advanced Gröbner basis algorithms, such as Faugère’sand, in a composable way.