An Introduction to Functional Programming Through Lambda Calculus

"An Introduction to Functional Programming Through Lambda Calculus" by Greg Michaelson - takes you on a journey from very basic lambda calculus, to how that evolves quite naturally into an ML-like language: https://www.macs.hw.ac.uk/~greg/books/gjm.lambook88.pdf We covered lambda calculus at university (at HW actually) and I'd played with SML/NJ and OCaml before. But seeing the lambda calculus abstractions being constructed over and over to create numbers (which I'd covered) and types and things, then finally become recognisable as ML was a real "ahaaa" moment for me.

From my favorite author Anthony J. Dos Reis[0] If you want to learn assembly language, computer architecture and C++ all at the same time: Assembly Language and Computer Architecture Using C++ and Java , Course Technology, 2004 [1] If you want to learn how to write compilers, context free grammars, regular expressions and implement grep: Compiler Construction Using Java, JavaCC, and Yacc, IEEE/Wiley, 2012 [2] If you want to learn functional programming, lambda calculus and LISP: An Introduction to Functional Programming Through Lambda Calculus by Greg Michaelson [3] My programming skills had grown dramatically with this books. I would wholeheartedly recommend the books mentioned above for those who are interested to learn. [0] - http://cs.newpaltz.edu/~dosreist/ [1] - https://www.amazon.com/Assembly-Language-Computer-Architectu... (https://www.amazon.com/Assembly-Language-Computer-Architecture-Using/dp/0534405274) [2] - https://www.amazon.com/Compiler-Construction-Using-Java-Java... (https://www.amazon.com/Compiler-Construction-Using-Java-JavaCC/dp/0470949597) [3] - https://www.cs.rochester.edu/~brown/173/readings/LCBook.pdf…