コンテンツへスキップ
uencoder

Pure Function

純粋関数とは、同じ入力に対して常に同じ出力を返し、副作用を持たない関数である。関数型プログラミングと信頼できるコードの基礎となる。

目的

予測可能でテストしやすくキャッシュ可能な関数により、隠れた状態への依存を排除する。

メカニズム

条件は2つ:同じ入力 → 同じ出力(参照透過性)、副作用なし(外部状態を変更せず、可変な外部状態に依存しない)。これによりメモ化、並列実行、等式推論が可能になる。

ユースケース

  • 関数型プログラミング
  • テストの簡素化
  • 信頼性の高いコード

関連用語

References