ラムダ計算
ラムダ計算(ラムダけいさん、lambda calculus)
λ計算とも
関数をより抽象的に扱う
便利なこと
関数の引数と処理を見分けやすく、書く量が少ない記法になっている
$ \lambda x. x
$ λ[入力].[出力] のイメージ
$ M ::= x \ |\ λx.M \ |\ M M \ |\ (M)
$ M : ラムダ式$ M
$ x : メタ変数$ x
$ λx.M : ラムダ抽象(lambda abstraction) $ M M : ラムダ適用(lambda application) code:memo.hs
-- λx.e
-- Haskellでの例
f :: x -> e
ラムダ計算にもいろいろある
依存型付き型付きラムダ計算？
関連
参考
P16 1.4.1 型無しラムダ計算の定義
https://youtu.be/puND0CZoqLc?si=vZmvP7nFMi-tVzCe
メモ