純粋関数型プログラミング言語 Purely functional programming language

全ての処理を純粋関数のみで記述する言語。一般的なプログラミング言語は、PCに命令を実行させる「命令型」だが、「純粋関数型」では数学的な関数を軸にプログラムを構築する。
プログラムでは、同じ関数に同じ値を入れると、必ず同じ値を返す「参照透過性のある関数」が使われる。個々の関数が独立しているため、個々の処理が影響を受けない特徴がある。
定義が明確で定義した値が変化しない特徴があるため、バグが起こりにくく、予測不能な結果エラーを最小限にできる。
純粋関数型とは、このような純粋関数のみで構築されるプログラム言語である。最小限のバグで安全性の高いシステムを構築する際に適しており、金融システムや取引システム、不正対策などで活用されている。
純粋関数型プログラミング言語としては、Haskell や Clean などが知られている。cardano はこのHaskellによって構築されている。
👈一覧へ戻る