18

Haskell プログラマー向けのSageのようなものはありますか?

4

4 に答える 4

4

残念ながら、答えは「NO」のようです。

一部の読者にとっておそらく興味深いのは、次のとおりです。

多くの場合、1 つのプログラミング言語ではタスクに十分ではありません。たとえば、統計に関係のない問題を解決する必要がある場合、R ( r-project.org ) が最適です。しかし、すべてのコードを R でプログラミングしたくはありません。なぜなら、Haskell にはこの優れた型システムと、他にも多くの重要な機能があるからです。

最善の方法はハイブリッドアプローチだと思います。R コードの機能に関する RESTful Web サービスを作成し、Haskell を使用して Web サービスにアクセスしてデータを取得または送信します。(または、R に直接アクセスする別の方法かもしれません。)

おそらく、Haskell と Python+Sage を使用したハイブリッド アプローチが理にかなっています。

現在、「スタック」には次の 3 つのプログラミング言語があります。

  • ハスケル
  • R (r-project.org)
  • Agda (あるいは Coq)

また、おそらく興味深い：

R では、機能が Sage と少し重複しています。主に線形代数、プロット機能、さらに一部のライブラリ (GD ライブラリなど) も R で利用できます。

Agdaはいくつかのサポートを提供しています

  1. 代数と多項式
  2. 指輪

Agda は Haskell とうまく連携する必要があり、構文も非常に似ています。Coq は Haskell でも使用できます。参照: Haskell で「破損がない」ことを証明する

情報が質問に関連しているかどうかわからないので、「たぶん」と「おそらく」と書きました。

于 2011-09-28T02:35:14.307 に答える
2

おっしゃるとおり、ありません。

しかしAxiomがあり、その言語 Spad は、汎用の高度な CAS の中で Haskell に最も近い言語です。Haskell のクラスと似た (同じと言えます) カテゴリを持つ強力な静的型付けと抽象化を備えています。

以前は、Axiom は依存型を備えているため、Haskell よりも優れた Aldor を使用することもできました。しかし残念なことに、Aldor はライセンスの問題で死んでしまいました。

Axiom のフォークであるFriCASも必ずチェックしてください。

于 2012-06-19T11:24:22.013 に答える
0

正直なところ、私が知る限り、何も存在しません。

しかし、 REPAと呼ばれるものがあります

これは（かなり面倒な方法で）numpyに似ています。

于 2011-09-26T16:51:56.473 に答える
0

ハンマーの回答後に生成された 2 つのオプションがあります。

GHCライブの方が最近です。

于 2013-01-12T00:24:43.130 に答える