to2yの日記

 | 

2006-07-29ふつける勉強会 第七回目 第七章 「関数」

値としての関数

関数束縛

square n = n * n

は「引数nを2乗」する関数を、square変数に束縛する

squareは関数を値として持つ変数

高階関数

関数引数にとる、もしくは返り値とする関数のこと

無名関数

\num -> num * num

schemeでは

(lambda (num) num * num) 'だっけ?

2引数の場合

\x y -> x + y

無名関数でのパターンマッチ

\(x,y) -> x + y

のように無名関数の定義でパターンマッチが使える

ただし、定義できるパターンは1つだけ

 |