Серия

Лекции C9: д-р Эрик Мейджер - Основы функционального программирования, глава 6 из 13

В главе 6 доктор Мейджер направляет нас через мир рекурсивных функций. В Haskell функции можно определить с точки зрения самих себя. Такие функции называются рекурсивными.

Пример:

factorial 0 = 1
factorial (n+1) = (n+1) * factorial n

факториал сопоставляет от 0 до 1 и любое другое положительное целое число с продуктом самого себя и факториалом своего предшественника.

Некоторые функции, такие как факториал, проще определять с точки зрения других функций. Как мы видим, однако, многие функции, естественно, могут быть определены с точки зрения самих себя.

Свойства функций, определенных с помощью рекурсии, можно доказать с помощью простой, но мощной математической техники индукции.

Вы должны следить за ними в последовательности (или пропускать их в зависимости от вашего курентного уровня знаний в этом домене):

Глава 1 Глава 2 Глава 3 Глава 4 Глава 5 Глава 6Глава 7Глава 8Глава 9Глава 10 Глава 11Глава 12Глава 13