https://www.youtube.com/watch?v=eis11j_iGMs
转自计算机科学频道Computerphile
原简介：
The basis of almost all functional programming, Professor Graham Hutton explains Lambda Calculus.
http://www.facebook.com/computerphile
https://twitter.com/computer_phile
This video
