Quindi la voce di Wikipedia su Lambda Calculus era interessante ma l'ho terminata. Vorrei approfondire un po 'e comprendere meglio il Lambda Calculus.Quali sono alcune risorse per l'apprendimento del Lambda Calculus?
Qualcuno può consigliare quello che considerano il miglior libro o un primer per Lambda Calculus?
Se hai finito con la voce di Wikipedia, segui il suo link allo Structure and Interpretation of Computer Programs online, fai i compiti, o read the book.
alt text http://mitpress.mit.edu/images/products/books/0262011530-medium.jpg
+1 Questa è una risorsa classica. Era il libro di testo per il primo corso di programmazione della mia uni. –
idem. anche se è più sulla praticità, non sulla formalita 'del calcolo del lambda stesso. –
+1 Leggi ora ... invece di 6-7 anni fa ... Roccia il mondo di uno sviluppatore/programmatore/programmatore. –
ho trovato "An introduction to Lambda Calculi for Computer Scientists" di Chris Hankin essere abbastanza buono, ma ho veramente solo usato per una classe - non utilizzato nel mondo reale :)
alt text http://ecx.images-amazon.com/images/I/4165AQ4AF8L._SL500_AA240_.jpg
I migliori libri che ho provato –
@ThomasAhle quali altri libri hai provato? –
Bene, c'è sempre An Introduction to Lambda Calculus. Ho provato a leggerlo alcune volte, ma mi sono sempre bloccato. Ho la fastidiosa sensazione di conoscere già la maggior parte di questa roba e probabilmente avrei avuto un tempo più facile per capirlo se fosse presentata in termini di Lisp/Scheme piuttosto che di matematica. Potresti avere più fortuna, però :)
Penso che il riferimento al tema del lambda-calculus stesso sia ancora Barendregt's book.
alt text http://ecx.images-amazon.com/images/I/41BRXJ7E7GL._SL500_AA240_.jpg
Al di là che più o meno dipende da ciò che "parte" del lambda-calcolo siete interessati a: digitazione? teoria delle prove? riscrittura termine? programmazione funzionale?
Ognuno di questi è un campo in sé e non conosco alcun libro che copra tutto.
corretto, ma è per programmatori molto avanzati, non per principianti. – alinsoar
Provare a scrivere un interpetter di calcolo lambda, idealmente in un linguaggio funzionale utilizzando la sintassi di compilazione del linguaggio piuttosto che tramite un parser. Questo è sorprendentemente facile e un buon modo per migliorare la tua sensazione.
Ecco una bella spiegazione (utilizzando Scheme): http://www.cs.brown.edu/courses/cs173/2002/Lectures/2002-10-28-lc.pdf
Ed ecco un po 'nifty (dal mio blog), riducendo fattoriale ricorsiva per lambda puri: http://blogs.msdn.com/b/ashleyf/archive/2008/12/03/the-lambda-calculus.aspx
Buon divertimento!
Recentemente ho acquistato un libro da Amazon intitolato come "An Introduction to Functional Programming Through Lambda Calculus" da Greg Michaelson. È più di un'introduzione alla programmazione funzionale e introduce anche il calcolo lambda. La prima impressione è abbastanza buona. Un libro autosufficiente e di facile lettura. Here, è possibile scaricare la versione gratuita senza indice in PostScript.
Il libro che mi ha fatto davvero iniziare a usare e capire il calcolo lambda era "Rappresentazione e inferenza per linguaggio naturale" di Blackburn e Bos. Questo è un libro sull'elaborazione del linguaggio naturale usando Prolog. Un altro libro che potresti considerare è "Natural Language Understanding" di Allen. Infine, se ti piace il calcolo lambda, probabilmente avrai anche la logica combinatoria, dato che i combinatori possono essere definiti come espressioni lambda a argomento singolo. Per questo, consiglio vivamente il libro dei puzzle di Smullyan, "To Mock A Mockingbird". Verso la fine usa i combinatori per costruire un linguaggio di programmazione rudimentale.
Il libro di Blackburn e Bos è ora disponibile online, http://www.coli.uni-saarland.de/publikationen/softcopies/Blackburn:1997:RIN.pdf –
Vedere la domanda math.sx [Learning Lambda Calculus] (http: //math.stackexchange.it/questions/967/learning-lambda-calculus/1059 # 1059) –
Ho votato per la riapertura poiché, pur essendo off-topic da alcuni punti di vista, l'argomento è davvero centrale nella programmazione e dovremmo ascoltare altre opinioni. – alinsoar