ラムダ計算
関数
のみからなる
計算モデル
関数型言語
のベースとなる考え方
radish-miyazaki.icon
はプログラミングで扱う関数の本質を数学的に扱うためのものと認識している
関数（
ラムダ式
）は
λ
を用いて表す（
ラムダ抽象
）:
$ λx.式
上記を
JavaScript
で表すと
(x) => 式
これを踏まえると
恒等関数
は
$ λx.x
と表現できる
参考
https://www.kb.ecei.tohoku.ac.jp/~sumii/class/keisanki-software-kougaku-2005/lambda.pdf
https://event.phys.s.u-tokyo.ac.jp/physlab2024/pdfs/article/lambda.pdf