ACMのためのトレーニング

H初体験。

すごいとこ。その１

これは関数です。
あれは関数の関数です。つまり関数をとって関数の関数を返す関数です。
あれは関数ですか。はい、そうです。関数のリストをとって関数のリストと関数との組のリストを返す関数です。
では、これは３つの引数をもつ関数ですか。いいえ、違います。これは関数をとって関数をとって関数をとって関数を返す関数を返す関数を返す関数です。

関数ベース。

その２。

自然数とは[1..]です。
奇数とは自然数のうち２で割り切れないものです。
偶数は自然数の各要素に(を２倍する)を作用させれば作れます。

'エラストテネス篩う'とは、ある数列から

• 先頭の数と、
• その数列からその先頭の数の倍数を除いた数列を'エラストテネス篩った'数列と

をつないだ数列を作ることです。
数列[2..]を'エラストテネス篩った'ものたちを素数といいます。

強力なリスト処理。虫歯になりそうな甘い文法。遅延評価。

強烈な印象だった。Haskellすごい。