Los sistemas de computación aplicativa , o ACS, son los sistemas de cálculo de objetos basados en la lógica combinatoria y el cálculo lambda . [1] La única noción esencial que se considera en estos sistemas es la representación del objeto . En la lógica combinatoria, el único metaoperador es la aplicación, en el sentido de aplicar un objeto a otro. En el cálculo lambda se utilizan dos metaoperadores: aplicación , lo mismo que en la lógica combinatoria, y abstracción funcional, que vincula la única variable en un objeto.
Los objetos generados en estos sistemas son las entidades funcionales con las siguientes características:
ACS proporciona una base sólida para un enfoque aplicativo a la programación.
La falta de sensibilidad al almacenamiento y al historial de los sistemas informáticos aplicativos es la razón básica por la que no han proporcionado una base para el diseño de computadoras. Además, la mayoría de los sistemas aplicativos emplean la operación de sustitución del cálculo lambda como su operación básica. Esta operación es de un poder prácticamente ilimitado, pero su realización completa y eficiente presenta grandes dificultades para el diseñador de la máquina. [2]