A funkcionális programozási nyelvek a napjainkban elterjedt programozási nyelvek többségétől eltérő gondolkodásmódot képviselnek. A diplomaterv áttekintést nyújt a Scheme, a Haskell és az Erlang funkcionális nyelvekről: a lambda-kalkulusból kiindulva ismerteti a funkcionális programozásban rejlő ötleteket és konstrukciókat. A funkcionális programozás alkalmazhatóságáról a funkcionális nyelvek nem akadémiai célú alkalmazásairól szóló összefoglaló nyújt képet.
A monád funkcionális programozási konstrukció lehetővé teszi a számítások okozta mellékhatások kezelését. A monádok használatával a funkcionális nyelvekben az imperatív nyelvekhez hasonló programozási stílus követhető. A monádok elméleti hátteréül szolgáló kategóriaelméletet is áttekinthetjük.
