関数型プログラミングは、関数を用いて計算を行うことに重点を置いたプログラミングパラダイムです。
関数型プログラミングでは、関数は一級市民として扱われ、他の関数への引数、関数からの戻り値、変数への代入が他のデータ型と同じように可能です。
Haskell、Lisp、Schemeなどの関数型プログラミング言語は、一度設定されたプログラムの状態を変更できない「不変性」を用いることが特徴。このため、関数型プログラムは、状態の変化に依存するプログラムよりも予測しやすく、エラーが起こりにくい傾向があります。
また、関数型プログラミングでは、高階関数の使用も重視されている。高階関数とは、他の関数を引数として受け取ったり、値として返したりする関数のことです。高階関数は、より単純な関数を組み合わせて、より複雑な計算を行うために使われます。
また、関数型プログラミングでは、問題を解決するために自分自身を呼び出す関数を定義する技術である「再帰性」に重点を置いています。再帰的な関数は、ループや反復を必要とするような処理を行うために使用されます。
また、関数型プログラミングは、複雑さやリスクを抑えながら同時並行プログラムを書く方法として、近年人気を集めています。多くの関数型プログラミング言語では、遅延評価などの関数型機能を組み込みでサポートしており、並行処理や並列処理プログラムの性能を向上させることができます。
関数型プログラミングは、関数型言語だけでなく、多くのプログラミング言語で利用することができます。Python、JavaScript、C#などの一般的なプログラミング言語でも関数型プログラミングの機能やライブラリが提供されており、それらの言語で関数型コードを書くことができます。