プログラミングにおいて、強い型付けのプログラミング言語のルーチン（関数、プロシージャ、メソッド）は、型付きラムダ計算と密接に関連している。
在编程中，强类型编程语言的例程（函数，过程，方法）密切关联于有类型lambda表达式。