跳到主内容

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

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

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

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

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

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

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

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

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

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