ラムダ式の使い方と基本構文

Haskell（ハスケル）は純粋関数型プログラミング言語の一つであり、その特徴の一つにラムダ式があります。ラムダ式は無名関数を表現する方法であり、Haskellにおいて非常に重要な機能です。この記事では、Haskellにおけるラムダ式の使い方と基本的な構文について解説します。

概要

ラムダ式は、以下のような基本的な構文を持っています。


(\引数 -&gt; 式)

例えば、引数が1つのラムダ式は以下のようになります。


(\x -&gt; x + 1)

このラムダ式は、引数

を受け取り、それに1を加えた値を返す無名関数を表しています。

ラムダ式は、関数を引数として受け取る高階関数を扱う際や、部分適用を行う際に利用されます。

例えば、リストの各要素に対してラムダ式を適用する

map

関数の利用例を示します。


-- リストの各要素を2倍する

map (\x -&gt; x * 2) [1, 2, 3, 4, 5]

この例では、ラムダ式

(\x -> x * 2)

が

map

関数によってリストの各要素に適用され、新しいリスト

[2, 4, 6, 8, 10]

が生成されます。

高階関数は、関数を引数として受け取るか、関数を返り値として返す関数のことを指します。ラムダ式は高階関数と組み合わせて、柔軟な関数の定義や操作を可能にします。

例えば、以下は引数として関数を受け取り、その関数に1を加えた結果を返す高階関数の例です。


applyFunc :: (Int -&gt; Int) -&gt; Int -&gt; Int

applyFunc f x = f x + 1

この高階関数にラムダ式を適用することで、新たな関数を簡潔に定義することができます。


applyFunc (\x -&gt; x * 2) 3

この例では、引数としてラムダ式

(\x -> x * 2)

を渡し、その結果として

が返ります。

部分適用とは、関数の一部の引数を固定して新しい関数を作ることです。ラムダ式を使うことで、部分適用を簡潔に表現することができます。

例えば、2つの引数を受け取る関数を部分適用する場合、ラムダ式を使用して以下のように記述できます。


-- リストの各要素に2を加える関数

addTwo = \x -&gt; x + 2



-- 部分適用を行い、引数が1つの関数を作る

addThree = addTwo 1

このように、ラムダ式を用いることで、部分適用を自然かつ簡潔に表現することができます。

Haskellにおけるラムダ式は、無名の関数を表現するための構文であり、高階関数や部分適用などの概念と組み合わせることで非常に強力なプログラミング手法を実現します。ラムダ式の基本的な構文や利用例、高階関数や部分適用との組み合わせについて理解することで、より柔軟な関数の定義や操作が可能となります。

以上が、Haskellにおけるラムダ式の使い方と基本構文についての解説でした。