FP (linguagem de programação)
# FP (linguagem de programação)

FP (de Function Programming) é uma linguagem de programação criada por John Backus para suportar o paradigma da programação em nível funcional. Isso permite a eliminação de variáveis nomeadas.

## Panorama

Os valores que os programas em FP mapeiam em outros compreendem um conjunto fechado em formação seqüencial:
Esses valores podem ser construídos a partir de qualquer conjunto de átomos: booleanos, inteiros, reais, caracteres, etc:
⊥ é o valor indefinido, ou base. Seqüências são preservadoras da base:
Programas em FP são funções f, sendo que cada uma mapeia um valor único x em outro:
Funções podem ser primitivas (isto é, embutidas no ambiente de FP) ou construídas a partir de primitivas por operações de formação de programas (também chamadas Funcionais).
Um exemplo de função primitiva é constant, que transforma um valor x em uma função de valor constante x̄. Funções são estritas:
Outro exemplo de uma função primitiva é o seletor de família de funções, denotado por 1,2,... onde:

## Funcionais

Em contraste com funções primitivas, funcionais operam em outras funções. Por exemplo, algumas funções têm um valor de unidade (elemento neutro), tal como 0 para adição e 1 para a multiplicação. A unidade funcional produz tal valor quando aplicada a uma função f que tem um:
Estes são os núcleos funcionais de FP:

## Funções Equacionais

Além de ser construída a partir de funcionais primitivas, uma função pode ser definida recursivamente por uma equação, o tipo mais simples sendo:
onde E'f é uma expressão construída partir de primitivas, outras funções já definidas, e o próprio símbolo de função f, usando funcionais.