La programmation fonctionnelle se base sur plusieurs principes comme : l'immutabilité, les fonctions pures (qui ne dépendent pas de l'état de la machine) et les lambda-calcul.
Aujourd'hui, nombreux sont les langages qui offrent une approche fonctionnelle au programmeur.
On propose ici l'idée que, l'informatique est structurée par quatre concepts : algorithme, machine, langage et information, et on insiste sur l'importance de respecter l'équilibre entre ces différents concepts dans la conception d'un programme d'enseignement de l'informatique au lycée.
La programmation informatique est un processus de composition et d'organisation d'un ensemble d'instructions.
Celles-ci indiquent à un ordinateur / logiciel ce qu'il faut faire dans une langue que l'ordinateur comprend.