エピソード

C9 講義:Erik Meijer 博士 - 関数型プログラミングの基礎 第6章/13

第6章では、Meijer博士が再帰関数の世界を案内しています。 Haskell では、関数 自体の観点から定義できます。 このような関数は再帰と呼ばれます。

次に例を示します。

階乗 0 = 1
階乗 (n+1) = (n+1) * 階乗 n

階乗は 0 から 1 に、その他の正の整数はそれ自体の積とその先行要素の階乗にマップされます。

階乗などの一部の関数は、他の関数の観点から定義する方が簡単です。 しかし、私たちが見るように、多くの関数は自然に自分自身の観点から定義することができます。

再帰を使用して定義された関数のプロパティは、誘導の単純でありながら強力な数学的手法を使用して証明できます。

これらを順番に見る必要があります (または、このドメインの知識のキュラント レベルに応じてスキップしてください)。

第 1 章2 章3章 4 章 5 章6章 7 章8 章9 章 10章 11章 1213