sistemas de computação Applicative - Applicative computing systems

Sistemas de computação Applicative , ou ACS são os sistemas de cálculos objeto fundadas na lógica combinatória e cálculo lambda . A única noção essencial que está sob consideração nestes sistemas é a representação do objeto . Na lógica combinatória a única metaoperator é aplicação no sentido de aplicar um objeto para outro. No cálculo lambda dois metaoperators são usadas: aplicação - o mesmo que na lógica combinatória, e abstracção funcional que se liga a única variável em um objeto.

Características

Os objetos gerados nestes sistemas são as entidades funcionais, com as seguintes características:

1. o número de lugares de argumento, ou aridade objecto não é fixa, mas está permitindo passo a passo em interoperações com outros objectos;
2. em um processo de gerar o composto objecto um dos seus homólogos-função-é aplicado a um outro argumento-mas em outros contextos nos quais podem alterar as suas funções, ou seja, as funções e os argumentos são considerados em igualdade de direitos;
3. a auto-aplicação de funções é permitido, ou seja, qualquer objecto pode ser aplicado a si.

ACS dar um terreno de som para abordagem aplicativo de programação.

desafio de pesquisa

Falta de armazenamento e sensibilidade história sistemas de computação Applicative é a razão básica que não forneceram uma base para o projeto do computador. Além disso, a maioria dos sistemas aplicativas empregar a operação de substituição do cálculo lambda como o seu funcionamento básico. Esta operação é de poder praticamente ilimitado, mas a sua realização completa e eficiente apresenta grandes dificuldades para o designer máquina.

Veja também

• linguagem de programação aplicativo
• máquina abstrata categóricas
• lógica combinatória
• A programação funcional
• cálculo lambda

Referências

Outras leituras

• Hindley, J. Roger ; Seldin, Jonathan P. , eds. (Setembro de 1980), a HB Curry: Essays on lógica combinatória, cálculo lambda e formalismo , Boston, MA: Academic Press , ISBN  978-0-12-349050-6[Este volume reflete o programa de pesquisa e filosofia da H. Curry , um dos fundadores de modelos computacionais eo quadro dedutiva para o raciocínio em termos de objetos.]

• Wolfengagen, VE lógica Combinatória na programação. Cálculos com objectos por meio de exemplos e exercícios . - ed 2-nd. - M .: "Centro Jurinfor" Ltd., 2003. - x + 337 с. ISBN  5-89158-101-9 .