無名関数
ラムダ式 (lambda expression) はラムダ計算と関係が深く、関数型言語で特によく採用されている。
Haskellにおける例を示す。バックスラッシュ '\' がギリシャ文字のラムダ 'λ' のように見えることから、Haskellではラムダ式を表す構文に採用されている。
Haskellでは変数にバインドせずにラムダ式を直接引数に作用させることもできる。
以下のように高階関数の引数にラムダ式を渡すこともできる。
関数型ではないプログラミング言語においても、ラムダ式を言語機能として取り入れる動きが活発である。
C#ではC# 3.0にて導入された。以下に例を示す。
C++ではC++11にて導入された。以下に例を示す。
JavaではJava 8にて導入された。以下に例を示す。