Os paradigmas das linguagens de programação, interpretados como "meios" onde problemas são resolvidos, apresentam diferentes significados para "programa" e para a "máquina que executa o programa". Nesse sentido, no meio funcional,
o computador é entendido como uma máquina que obedece ordens e o programa como uma prescrição de solução para o problema.
uma expressão é avaliada e seu resultado, em geral, é armazenado em uma célula de memória representada por uma variável.
a ordem de avaliação de suas expressões de mapeamento é controlada por seqüenciação e iteração.
os programas não estabelecem exatamente "como" um resultado deve ser computado, mas, descrevem fatos e regras que podem levar a máquina à dedução desse cálculo.
o computador atua como uma máquina que avalia funções e o programa consiste da definição e composição de funções.