Entiendo lo que es, pero no veo cómo sirve para algoritmos ni nada. Tal vez me estoy perdiendo algo. Necesito que alguien me dé un ejemplo de cómo se puede usar para poder entenderlo mejor.
algorithms
lambda-calculus
combinatory-logic
Kenneth Onyebinachi
fuente
fuente
Respuestas:
La aplicación obvia del cálculo lambda es cualquier lenguaje de programación funcional (por ejemplo, Lisp, ML, Haskell) y cualquier lenguaje que admita funciones anónimas.
En cuanto al cálculo del combinador, ¿tiene que haber una "aplicación del mundo real"? Las máquinas de Turing, por ejemplo, casi nunca se usan "en el mundo real", pero forman la base de la teoría de la computación. Una característica útil de los cálculos del combinador es que son sistemas más simples que, por ejemplo, las máquinas de Turing. Si desea demostrar que algún otro sistema está completo de Turing, podría ser más fácil mostrar cómo puede simular combinadores que mostrar que puede simular una máquina de Turing.
fuente
Encontré SKI útil para comprender algunos axiomas lógicos.
Por ejemplo, una axiomatización al estilo de Hilbert de implicación (intuicionista) es
La primera vez que vi estos axiomas, me pregunté por qué demonios deberían funcionar. Claro, es fácil comprobar que aguantan. Pero, ¿por qué deberían ser suficientes, es decir, por qué usar estos dos postulados solo es suficiente para probar (a través de modus ponens) todas las demás tautologías de implicación? Misterio ... ¿o sí?
Bueno, resulta que cada tautología debe corresponder al tipo de término lambda, gracias al isomorfismo de Curry-Howard. Pero dicho término lambda puede reescribirse de manera equivalente en términos de combinadoresS,K solo. Entonces, los tipos deS y K debe generar, a través de la aplicación, los tipos de cualquier tautología. Y de hecho, los dos axiomas anteriores son los tipos más generales paraS y K .
fuente
Eche un vistazo a LINQ (consulta integrada en el idioma) de Microsoft. Hace un uso extenso y bastante directo del cálculo lambda para manipular y transformar árboles de expresión. Probablemente, el ejemplo más completo y sofisticado sería Linq2SQL (la implementación de SQL Server) que realiza transformaciones complejas de manera eficiente que segregan las partes del árbol de expresión que pueden delegarse en el servidor de la base de datos.
Esta no es la primera tecnología que permite consultas que combinan datos de varias fuentes, pero puede ser la primera que automatice el desenredado de dependencias para aprovechar las capacidades de manipulación masiva de los servidores de bases de datos. No es perfecto (a veces hay que ayudarlo), pero funciona muy bien y prestando atención a los detalles que no obtendrá de los humanos.
Cuando no tiene que ayudarla a salir, la comprensión del cálculo le llevará un largo camino para averiguar lo que está molestando - lo que además de ¿De qué sirve? ahí está tu respuesta a ¿Por qué tengo que aprender esto cuando las máquinas lo harán por mí?
fuente