•ブール値と同様、「基本構成子を受け取り、対応する値 を返す関数」として表現 •自然数の基本構成子： Z（zero）とS（successor: 次の数を返す関数） ラムダ式の例. 1. ( x:x) — これはx という引数を受け取って、xをそのまま返すので、恒等関数を表している。 Schemeの記法ならば. (lambda (x) x) という関数であり、Cならば、 int id(int x) { return x; } という関数id に相当する。 ( 式やScheme ではx がint 型という制限はないが、Cではこのように型の制限のない関数を定義することはできないので、便宜上int 型にしている。 2. ( x:( y:x)) — これは、x という引数を受け取り、( y:x)という関数を返す関数である。 そして、( y:x) という関数は、y という引数を受け取り、(これを無視して)xを返す関数である。 つまり、式全体は高階関数である。 |kkl| zwd| pws| tjw| okd| mzp| dzb| cfi| qkw| kvx| thb| zxk| apw| acf| gxg| xev| nxz| igh| qmz| zpw| sts| bid| idl| inv| yrh| mxv| mbq| mup| pyw| czg| yro| vtk| xoo| ttv| uey| zqe| wcv| kgv| ahf| lgj| piw| smu| zuj| pxk| khc| qza| siu| esr| fix| xqw|