Así que la entrada de Wikipedia en Lambda Calculus fue interesante pero la he terminado. Deseo profundizar un poco más y comprender mejor el Cálculo Lambda.¿Cuáles son algunos recursos para aprender el cálculo de Lambda?
¿Alguien puede recomendar lo que ellos consideran el mejor libro o cartilla para Lambda Calculus?
Si ha terminado con la entrada de Wikipedia, siga su enlace al en línea Structure and Interpretation of Computer Programs, haga las asignaciones, o read the book.
alt text http://mitpress.mit.edu/images/products/books/0262011530-medium.jpg
+1 Este es un recurso clásico. Era el libro de texto para el primer curso de programación de mi universidad. –
ídem. aunque se trata más de practicidad, no de la formalidad del cálculo lambda en sí. –
+1 Leyendo ahora ... en lugar de hace 6-7 años ... Rocks el mundo de un desarrollador/codificador/programador. –
He encontrado "An introduction to Lambda Calculi for Computer Scientists" por Chris Hankin a ser bastante bueno, pero en realidad sólo lo utilizaron para una clase - no se utiliza en el mundo real :)
alt text http://ecx.images-amazon.com/images/I/4165AQ4AF8L._SL500_AA240_.jpg
Lo mejor de los libros que he probado –
@ThomasAhle ¿Qué otros libros has probado? –
Bueno, siempre hay An Introduction to Lambda Calculus. 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, aunque :)
Creo que la referencia sobre el tema del lambda-cálculo en sí todavía es Barendregt's book.
alt text http://ecx.images-amazon.com/images/I/41BRXJ7E7GL._SL500_AA240_.jpg
Más allá de que más o menos depende de lo que "parte" de cálculo lambda está interesado en: escribiendo? teoría de la prueba? reescritura de términos? programación funcional?
Cada uno de estos es un campo en sí mismo, y no conozco ningún libro que lo cubra todo.
correcto, pero es para programadores muy avanzados, no para principiantes. – alinsoar
Intente escribir un intérprete de cálculo lambda, idealmente en un lenguaje funcional utilizando la compilación en sintaxis del lenguaje en lugar de a través de un analizador. Esto es sorprendentemente fácil y una buena manera de mejorar su sensación.
Aquí es una explicación agradable (usando Scheme): http://www.cs.brown.edu/courses/cs173/2002/Lectures/2002-10-28-lc.pdf
Y aquí es un poco ingenioso (de mi blog), reduciendo factorial recursiva para lambdas puros: http://blogs.msdn.com/b/ashleyf/archive/2008/12/03/the-lambda-calculus.aspx
Que se diviertan!
Recientemente compré un libro de Amazon titulado como "An Introduction to Functional Programming Through Lambda Calculus" por Greg Michaelson. Es más una introducción a la programación funcional y también introduce el cálculo lambda. La primera impresión es bastante buena. Un libro autónomo y fácil de leer. Here, puede descargar la versión gratuita sin índice en PostScript.
El libro que realmente me hizo comenzar a usar y entender el cálculo lambda fue "Representación e inferencia para el lenguaje natural" por 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.
El libro de Blackburn y Bos ya está disponible en línea, http://www.coli.uni-saarland.de/publikationen/softcopies/Blackburn:1997:RIN.pdf –
Consulte la pregunta de math.sx [Learning Lambda Calculus] (http: //math.stackexchange.com/questions/967/learning-lambda-calculus/1059 # 1059) –
He votado para reabrir porque, a pesar de estar fuera de tema desde algunos puntos de vista, el tema es realmente central para la programación y deberíamos escuchar otras opiniones. – alinsoar