valor significado programacion online funcional fisica calculo lambda-calculus

lambda calculus - significado - ¿Cuáles son algunos recursos para aprender el cálculo de Lambda?



lambda symbol (8)

Entonces, la entrada de Wikipedia sobre el Cálculo de Lambda fue interesante, pero la terminé. Deseo profundizar un poco más y comprender mejor el Cálculo Lambda.

¿Alguien puede recomendar lo que ellos consideran el mejor libro o cartilla para Lambda Calculus?



Bueno, siempre hay una introducción al cálculo lambda . Intenté leerlo algunas veces, pero siempre me quedé atascado. Tengo la sensación molesta de que ya sé la mayoría de estas cosas y que probablemente sería más fácil entenderlas si se presentaran en términos de Lisp / Scheme en lugar de matemáticas. Podrías tener mejor suerte, sin embargo :)



Intente escribir un intérprete de cálculo lambda, idealmente en un lenguaje funcional utilizando la sintaxis del lenguaje en lugar de a través de un analizador sintáctico. Esto es sorprendentemente fácil y una buena manera de mejorar su sensación.





El libro que realmente me hizo comenzar a utilizar y comprender el cálculo lambda fue "Representación e inferencia para el lenguaje natural" de Blackburn y Bos. Este es un libro sobre el procesamiento del lenguaje natural usando Prolog. Otro libro que podría considerar es "Natural Language Understanding" de Allen. Finalmente, si le gusta el cálculo lambda, probablemente también disfrutará de lógica combinatoria, ya que los combinators se pueden definir como expresiones lambda de argumento único. Para esto, recomiendo encarecidamente el libro de acertijos de Smullyan, "Mock A Mockingbird". Hacia el final, utiliza los combinadores para construir un lenguaje de programación rudimentario.