面向眼科医生的λ演算入门教程(0)

似乎学了λ演算（lambda calculus，怀念范少光老师，以后写东西，专业名词第一次出现有中文，其后都是英文）的人，都会自己再写个入门教程，大约是某种潮流或者是受到了某种感召，大家不约而同的行为。

所以，我也要写个lambda calculus的入门教程。

功利一点说作为一个眼科医生，当你和程序员进行交流的时候。如果说自己会写一些代码，比如Matlab、Python，大概是一个级别；如果说正在或者已经刷过SICP（《计算机程序的构造与解释》）大概又是一个级别；如果说学过了lambda calculus，就更高一级了。大约对应的是：坐请坐请上坐。

不过lambda calculus本身就具有足够的美感和哲学含义。通过学习lambda calculus，你可以欣赏到人类的智慧，可以欣赏到一种纯粹的美，这种美并不依赖于人类的视觉（绘画）、听觉（音乐）、味觉嗅觉（美食）、语音语调（诗歌）、情感、文化、历史（小说）……

lambda calculus带来的美感与人无关，却又可以被人所认识体会到。但要能够认识、体会，需要先经过一些不太复杂的学习。

这个视频列表中是个很不错的lambda calculus课程

老师把lambda calculus的基本概念都讲解得很清楚。如果想详细了解，请听这个课程。

由于是面向各位眼科同道，所以这个教程并不十分追求严谨性，而是以通俗可操作为目标的。我还会借助一些在线的lambda calculus工具来讲解。

各位眼科同道，不要害怕，连角膜病和神经眼科你们都能学会，相比起来这个简单多了。