haskell - Haskell 是否有与 Sage 等价的功能？

Question

Haskell 程序员有类似Sage的东西吗？

score 4 · Accepted Answer

不幸的是，答案似乎是“不”。

一些读者可能感兴趣的是以下内容：

通常，一种编程语言不足以完成一项任务。例如，当我需要解决与统计数据远程相关的问题时，R ( r-project.org ) 是最合适的。但我不想在 R 中编写所有代码，因为 Haskell 有这个很棒的类型系统和许多其他重要的特性。

我认为最好的方法是混合方法。我围绕 R 代码的功能编写了一个 RESTful Web 服务，并使用 Haskell 访问 Web 服务以获取或发送数据。（或者也许是另一种直接访问 R 的方式。）

也许使用 Haskell 和 Python+Sage 的混合方法是有意义的。

目前，我的“堆栈”上有以下三种编程语言：

也可能很有趣：

在 R 中，与 Sage 的功能有一点重叠。主要是线性代数、绘图功能以及一些库（例如 GD 库）在 R 中也可用。

Agda 有一些支持

Agda 应该可以与 Haskell 一起很好地工作，甚至语法也非常相似。Coq 也可以与 Haskell 一起使用。请参阅：在 Haskell 中证明“没有腐败”

我写了“也许”和“也许”，因为我不知道这些信息是否与问题相关。

score 2 · Accepted Answer

正如所说，没有。

但是有Axiom，它的语言 Spad 在通用高级 CAS 中也是最接近 Haskell 的。它具有强大的静态类型和抽象，类别与 Haskell 的类相似（我会说相同）。

以前 Axiom 也可以使用优于 Haskell 的 Aldor，因为它具有依赖类型。但不幸的是，由于许可问题，Aldor 已经死了。

一定要检查FriCAS，Axiom 的分支。

score 0 · Accepted Answer

0

老实说，据我所知，不存在。

但是有一种东西叫做REPA

这与 numpy.

于 2011-09-26T16:51:56.473 回答

score 0 · Accepted Answer

锤子回答后产生了两个选项：

GHC live 是两者中较新的。

4 回答 4