0

私のバックグラウンドはコンピュータ サイエンスで、命令型プログラミング (C/C++、Python) のみを扱います。私は現在、論文用のいくつかのアルゴリズムの正式な記述を考え出すのに苦労しているので、数学表記にできるだけ近い構文を提供する関数型プログラミング言語があるかどうか疑問に思っていました。たとえば、Event-B が提供するものと似ていますが (スクリーンショットについてはhttp://i.stack.imgur.com/JaXu0.pngを参照してください)、Event-B のオーバーヘッド (ステート マシンなど) はありません。

これの私の使用例は単純です: 次のような式を考え出すことができるようにしたいです

方式

これを可能な限り近い構文でプログラミング言語に入力して、さまざまな入力で評価し、期待どおりに実際に動作するかどうかを確認します。したがって、パフォーマンスや再利用性は私にとって問題ではありません。

これらの関数を Python などの任意のプログラミング言語で実装できることは理解していますが、その場合も、その言語に翻訳する際にそれらを解釈する必要があり、おそらく、私が来たときにすでに行ったのと同じ解釈ミスを犯す可能性があります。オリジナルの式で。

4

2 に答える 2

2

2D 構文を使用する主流の言語はありません (たとえば、ユニオン操作の下にあるサブセット操作)。

ただし、 Haskellなど、Unicode 演算子を使用する言語は多数あります。

于 2013-02-01T20:36:30.477 に答える
2

Mapleでは、通常の数学的 2D 構文を使用したり、記号演算を実行したり、結果を C または FORTRAN に変換したりすることができます。この機能により、仕様に複雑な計算が含まれるタスクの開発者ツールとして悪くはありません。

Matlabでは、2D 構文を使用してグラフィカルな方法でプログラミングできますが、Maple とは異なり、環境内のすべてがロックされているため、より研究者向けのツールです。

于 2013-02-03T11:19:59.453 に答える