Реализация идеи теории рекурсивных функций

Программы строятся из логически расчлененных определений функций.

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

Основными методами функционального программирования являются композиция и рекурсия.