The book of English specialists discusses the problems of applicative programming, which significantly increases the intelligence of developed programs compared to traditional programming. At the same time, the specification of the subject area greatly simplifies the work of the programmer. Particular attention is paid to the implementation of functional languages ​ ​ based on Church's lambda calculus.