Серия
Лекции 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
В главе 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
Хотите оставить отзыв? Сообщить о проблеме можно здесь.