Hispanopedia WikiLos 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.
Características
Los objetos generados en estos sistemas son las entidades funcionales con las siguientes características:
- el número de lugares de argumentos, o aridad de los objetos, no es fijo sino que se va permitiendo paso a paso la interoperación con otros objetos;
- en un proceso de generación del objeto compuesto, una de sus contrapartes —función— se aplica a otra —argumento— pero en otros contextos pueden cambiar sus roles, es decir, funciones y argumentos se consideran en igualdad de derechos;
- Se permite la autoaplicación de funciones, es decir, cualquier objeto puede aplicarse a sí mismo.
ACS proporciona una base sólida para un enfoque aplicativo a la programación.
Desafío de investigació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]
Véase también
- Lenguaje de programación aplicativo
- Máquina abstracta categórica
- Lógica combinatoria
- Programación funcional
- Cálculo lambda
Referencias
- ^ Wolfengagen VE Métodos y medios para cálculos con objetos. Sistemas computacionales aplicativos. — M.: JurInfoR Ltd., «Center JurInfoR», 2004. — xvi+789 pp. ISBN 5-89158-100-0 .
- ^ Backus, J. (1978). "Conferencia del Premio Turing de 1977: ¿Puede la programación liberarse del estilo von Neumann? Un estilo funcional y su álgebra de programas". Commun. ACM . 2 (8): 613–641. doi : 10.1145/359576.359579 . S2CID 16367522.
Lectura adicional
- Hindley, J. Roger ; Seldin, Jonathan P., eds. (septiembre de 1980), Para HB Curry: Ensayos sobre lógica combinatoria, cálculo lambda y formalismo , Boston, MA: Academic Press , ISBN 978-0-12-349050-6[Este volumen refleja el programa de investigación y la filosofía de H. Curry , uno de los fundadores de los modelos computacionales y del marco deductivo para el razonamiento en términos de objetos.]
