Информатиканы оқыту бойынша мамандардың берген ұсыныстары бойынша функционалды программалау (ФП) (алгоритмикалық, императивті, ақпараттық, объектілі және шолу – танысу программалаумен бірге) университеттердегі программалауды оқып зерттеудің негізгі амалдардың қатарына қосылады. Тұтастай алғанда, ФП-ң амалдары мен әдістері екі қабатты құрайды. Терең қабат – ол қатаң функцияларды, мәліметтердің шығынсыз құрылымын, керіленетін көптекстерді, регуляр бейнелерді, жоғары реттердің қисынды функцияларын, универсал функциялар мен есептеулерді басқару амалдарын локальды (жергілікті) программалау болып табылады.Сыртқы қабат – ол прототиптерді өндірістік программалауды қамтамасыз ететін, ақпараттық жүйелер мен олардың компоненттерінбағалауға ыңғай беретін программалаудың ауқымды шоғырын функциональды модельдеу болып табылады. Терең қабат толық мәнді ұғымдағы функцияны қолдану мен анықтау үшін, стандартты программатехника мен деструктивті функцияларды қатыстыруды қатыстыруды қоса алғанда ФП-ң жүйелерін жасау кезінде оның дамуы мен жүзеге асыратын шешімдерді таңдау үшін концептуалды негіз береді. Сыртқы қабат, жүйелік, төмен деңгейдегі, оңтайландырушы , логикалық, жоғарғы өнімді, шолу – танысу секілді программалаулардың және де программаларды жасауға қатысты өзге де амалдардың негізгі механизмдерін модельдеудің базасында пайдаланылатын конструкциялардың деңгейін көтерудің кең болашағын ашады. Мұндай амалдар “функция” ұғымын кеңейтеді, функцияларды қолдану мен жүзеге асырудың ережелерін түрлендіреді, ФП жүйелерінің ұлғаюы мен мамандануын нақтылайды.
“Функционалды программалау” ұғымы зерттеушілік аспектілері бар есептер тобын шешу әдістерін жүйеге біріктіру кезінде пайдаланылады, ал бұлартынша алынған шешімдердің қателігін туындатады. Жүйе шешілетін есептердің жалпы логикасы мен жалпыланған шешімдерді арнайы түрде таңдап алынған базалық конструкциялар негізінде формализацияларды қарастырады.
- Базалық конструкцияларқатаң функциялар ретінде анықталады.
- Есептің дамуының жалпы логикасы, функція топтамаларын кеңейту және олардың мүмкіндігін, бейнелерді пайдалану арқылы жолындағы қадамдардың жыиынтығы ретінде толық шешімді іске қосу процесіне барып тіреледі. Бұл функционалды программалау тілін беріп амалдар мен қамтамассыз өтіледі, және программаларды интерпретациялауға бейімделген ФП жүйесінің базасында лез де жөнделеді.
- Қажет болған жағдайда, программаларды орындау процес імен байланысты пайдаланушының сипаттарының жақсаруын қамтамассыз ететін прграммаларды формальды түрде өзгерту орындалады. (мысалы,компелация)
- ФП Сапалының маңызды критерлі ал мәліметтерді жоғары тәртіптердегі функцияларды ЖПФ көмегімен синтаксистік тұрғыдан басқарып өңдеудің мүмкіндігін беретін функциялар жүйесінің толықтығы мен анықтамалардың әмбебаптылығы болып табылады. Бұл программалардың беріктігінің деңгейін елеулі түрде көтереді.