Haskell有与Sage相同的东西吗？

Question

对于Haskell程序员有没有类似Sage的东西？

Answer 1

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

一些读者可能会对以下内容感兴趣：

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

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

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

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

• 的Haskell
• R（r-project.org）
• Agda（或者Coq）

也可能很有趣：

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

Agda对

有一些支持

1. Algebra and Polynomials
2. Rings

Agda应该与Haskell一起使用，甚至语法也非常相似。 Coq也可以与Haskell一起使用。请参阅：Proving "no corruption" in Haskell

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

Answer 2

据说，没有。

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

以前Axiom也可以使用优于Haskell的Aldor，因为它具有依赖类型。但遗憾的是奥尔多因许可证问题而死亡。

请务必同时查看Axiom's fork FriCAS。

Answer 3

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

但是有一种叫做REPA

的东西

这是类似的（很好地以一种笨拙的方式），到了numpy。

Answer 4

锤子回答后有两个选项：

• Github Ghc live，Hackage
• Ghci in a new dress

GHC live是最近的两个。