Uma linguagem de programação puramente funcional não usa variáveis, nem sentenças de atribuição, liberando o programador de preocupações relacionadas às células de memória do computador no qual o programa é executado.

As repetições devem ser especificadas com recursão em vez de com repetição.

Os programas são definições de funções e especificações de aplicações de funções, e as execuções consistem em avaliar a aplicação de funções.

Sem variáveis, a execução de um programa puramente funcional não tem estado no sentido de semântica operacional e denotacional.

O recurso chamado de transparência integracional de funções, torna a semântica de linguagens puramente funcionais muito mais simples do que a semântica das linguagens imperativas.