На этом шаге мы наметим путь дальнейшего изложения материала.
Декларативный подход - это возможность проектировать рекурсивные алгоритмы решения широкого спектра вычислительных задач, следуя систематическому подходу. Дальнейшие шаги описывают обобщённый шаблон вывода рекурсивных решений из декларативной перспективы, которая раскладывает процесс рекурсивного мышления в последовательность шагов. Кроме того, здесь бцдет предложено несколько полезных схем, которые программисты могут использовать при проектировании рекурсивных условий. Они полезны, так как заставляют думать о декомпозиции задачи и об индукции - двух важнейших понятиях, лежащих в основе рекурсивного (декларативного) мышления.
Конечно, в некоторых случаях (например, при отладке) или для довольно сложных задач было бы полезно думать о деталях нижнего уровня, имея в виду последовательность действий, выполняемых рекурсивными процедурами. Но, несмотря на это, мы отложим пока рассмотрение этих низкоуровневых аспектов и сосредоточимся здесь на высокоуровневом декларативном мышлении.
На следующем шаге мы рассмотрим шаблон проектирования рекурсивных алгоритмов.
