関数型プログラミングのSOLID原則に相当

オブジェクト指向設計について考えるとき、SOLIDの原則は非常に有用であることがわかりました。

関数型プログラミング向けに調整された、言語に依存しない原則の類似/同等のセットはありますか？

同等のものを見つけるのは少し難しいですが、私は試すことができます：

• FPのS（SRP）関数は、常に同じ引数に対して同じ出力を作成します。これは参照透過性と呼ばれます
• FPのO（OCP）には代数データ型と呼ばれる概念があり、それがクラス階層とどのように関係しているか、両方ともどのような問題が解決しようとしているのかを見てみましょう¹
• L（LSP）Liskov Substitution Principle is Contravariance ²
• 一般的な関数型プログラミングのD（DIP）は、関数の構成を通じて抽象化を実現します。また、「依存性注入」³のカテゴリ理論（モノイドやファンクターなど）を使用した他のメカニズムもあります。

SOLIDは、機能的/命令的な領域でも良いアイデアであることがわかりました。

SRP-そもそも命令型プログラミングから「たった1つのことを行う」だけです。小さく、焦点を絞った機能を持つことは良いことです。

OCP-コードを変更せずに動作を変更できるようにすることは良いことです。関数型プログラミングでは、継承よりも高次の関数を使用しますが、原則は保持されます。

LSP -下回らないよう、いくつかのインターフェース契約によっては、ちょうどオブジェクト指向のような関数型プログラミングでは良いようです。ソート関数がコンパレーターをとる場合、「0は等しい、負の結果を提供するよりも小さい、正の結果よりも大きい」という振る舞いを期待します。

ISP-ほとんどの機能言語にはまだ構造体があります。関数が必要とするデータの最小セットを指定することは、依然として良い習慣です。データへの最も具体性の低いインターフェイスを必要とする（Tの列挙が同様に機能する場合にintのリストを使用する理由）は、依然として良い習慣です。

DIP-関数をハードコーディングして値を取得するのではなく、関数（またはそれらを取得するための高次関数）にパラメーターを指定することは、関数型プログラミングでもオブジェクト指向と同様に優れています。

また、オブジェクト指向プログラミングを行う場合でも、これらの原則の多くはオブジェクトのメソッドの設計にも適用されます。