Терминът се използва във Функционално програмиране, по-специално в Haskell подобните езици, които използват структурна система на типовете. Източник: интернет
Функционално програмиране ограничено до добре обоснована рекурсия с няколко други ограничения се нарича пълно функционално програмиране. Източник: интернет
functional programming