6

私は問題を抱えていますが、それは関数型プログラミングのスタイルによって最もよく解決されると信じています。

非常に命令的なバックグラウンドを持っているため、クラス図/記述、通信図、状態図などを含むプログラム設計に慣れています。ただし、これらの図はすべて、システムの状態とさまざまな副作用を暗示したり、説明するために使用されます。アクションはシステム上にあります。

関数型プログラムの設計に使用される標準化された図または数学記号のセットはありますか、またはそのようなプログラムは短い関数型疑似コードで設計するのが最適ですか (関数が命令型の対応物よりもはるかに短いことを考えると)。

ありがとう、マイク

4

4 に答える 4

8

関数型プログラミングには秘密のトリックがあります。

  1. ほとんどがステートレスであるため、従来の命令図は問題になりません。

  2. 通常のさまざまな数学表記のほとんどもステートレスです。

機能設計は代数に似ています。関数を定義し、それらの関数の合成によって望ましい結果が得られることを示します。

関数型プログラミングは手続き型プログラミングよりもいくらか単純であるため、図はそれほど必要ではありません。これは、従来の数学表記に似ています。数学的手法を使用して、さまざまな関数が正しいことを行うことを示します。

于 2009-05-05T16:17:22.537 に答える
2
  • アニメーションを使用してラムダ計算を説明するこの非常に優れた記事があります。
  • これは前のものと非常に似ていますが、実際の実装があります: Lambda Animator
于 2010-10-27T01:46:34.783 に答える
-1

関数型プログラミングについてはよくわかりませんが、ここで私が遭遇した2つのことがあります

  • λ（ラムダ）は、関数を表すためによく使用されます
  • fοgは関数の合成を示すために使用されます
于 2009-05-05T16:29:30.433 に答える