Possibly interesting to some readers is the following:
Often, one programming language is not enough for a task. E.g. when I need to solve a problem which is remotely related to statistics, R (r-project.org) is just the best fit. But I don't want to program all code in R because, Haskell has this great type system and so many other important features.
I think the best way is a hybrid approach. I write a RESTful web service around the functionality of the R code, and with Haskell I access the web service to get or send data. (Or maybe another way to access R directly.)
Perhaps a hybrid approach with Haskell and Python+Sage makes sense.
Currently I have following three programming languages on my "stack":
Haskell
R (r-project.org)
Agda (or maybe Coq)
Also possibly interesting:
In R there is a little overlap in functionality with Sage. Mainly the linear algebra, plotting functionality, and further some of the libraries (e.g. GD library) are also available in R.
Agda should work well together with Haskell and even the syntax is very similar. Coq can also be used with Haskell. See: Proving "no corruption" in Haskell
I wrote "maybe" and "perhaps" because I don't know if the information is relevant to the question.
However there is Axiom, whose language Spad is the closest too Haskell among general purpose advanced CAS's. It has strong static typing and abstraction with categories which are similar (I would say the same) as Haskell's classes.
Previously Axiom could also use Aldor which is superior to Haskell since it features dependent types. But unfortunately Aldor is dead due to licensing problems.
发布评论
评论（4）
不幸的是，答案似乎是否定的。
一些读者可能感兴趣的是：
通常，一种编程语言不足以完成一项任务。
例如，当我需要解决与统计远程相关的问题时，R (r-project.org) 是就是最合适的。但我不想用 R 编写所有代码，因为 Haskell 拥有出色的类型系统和许多其他重要功能。
我认为最好的方法是混合方法。我围绕 R 代码的功能编写了一个 RESTful Web 服务，并使用 Haskell 访问该 Web 服务以获取或发送数据。 （或者也许是直接访问 R 的另一种方式。）
也许 Haskell 和 Python+Sage 的混合方法是有意义的。
目前，我的“堆栈”上有以下三种编程语言：
也可能很有趣：
在 R 中，与 Sage 的功能有一点重叠。 R 中还提供了主要的线性代数、绘图功能以及其他一些库（例如 GD 库）。Agda
对
Agda 应该与 Haskell 一起很好地工作甚至语法也非常相似。
Coq 也可以与 Haskell 一起使用。请参阅：证明 Haskell 中的“无损坏”
我写了“也许”和“也许”因为我不知道这些信息是否与问题相关。
Unfortunately, the answer seems to be "NO".
Possibly interesting to some readers is the following:
Often, one programming language is not enough for a task.
E.g. when I need to solve a problem which is remotely related to statistics, R (r-project.org) is just the best fit. But I don't want to program all code in R because, Haskell has this great type system and so many other important features.
I think the best way is a hybrid approach. I write a RESTful web service around the functionality of the R code, and with Haskell I access the web service to get or send data. (Or maybe another way to access R directly.)
Perhaps a hybrid approach with Haskell and Python+Sage makes sense.
Currently I have following three programming languages on my "stack":
Also possibly interesting:
In R there is a little overlap in functionality with Sage. Mainly the linear algebra, plotting functionality, and further some of the libraries (e.g. GD library) are also available in R.
Agda has some support for
Agda should work well together with Haskell and even the syntax is very similar.
Coq can also be used with Haskell. See: Proving "no corruption" in Haskell
I wrote "maybe" and "perhaps" because I don't know if the information is relevant to the question.
正如所说，没有。
然而，有 Axiom，其语言 Spad 在通用高级语言中也最接近 Haskell CAS 的。它具有强大的静态类型和抽象，其类别与 Haskell 的类相似（我想说相同）。
以前，Axiom 还可以使用 Aldor，它优于 Haskell，因为它具有依赖类型。但不幸的是，奥尔多因许可问题而死了。
请务必检查 Axiom 的分支 FriCAS。
As it was said, there is none.
However there is Axiom, whose language Spad is the closest too Haskell among general purpose advanced CAS's. It has strong static typing and abstraction with categories which are similar (I would say the same) as Haskell's classes.
Previously Axiom could also use Aldor which is superior to Haskell since it features dependent types. But unfortunately Aldor is dead due to licensing problems.
Be sure to check also FriCAS, Axiom's fork.
老实说，据我所知不存在。
但是有一个叫做 REPA 的东西
，它与 numpy 类似（以 Haskellish 的方式） 。
honestly,as far as i know none exists.
But there is something called REPA
which is similar(well in a haskellish way),to numpy.
锤子回答后产生了两个选项：
GHC live 是两者中较新的一个。
There are two option that have been produced after hammers answer:
GHC live is the more recent of the two.