stringtranslate.com

Sistemas de computación aplicativos

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.

Características

Los objetos generados en estos sistemas son las entidades funcionales con las siguientes características:

  1. 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;
  2. 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;
  3. 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

Referencias

  1. ^ 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 .
  2. ^ 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