on::::应用.有类型lambda演算在为编程语言设计新类型系统的时候扮演了关键性角色；这里类型能力通常捕获了程序想要的性质，比如程序不会导致内存访问违规。在编程中，强类型编程语言的例程（函数，过程，方法）密切关联于有类型lambda表达式。Eiffel有一个“内线代理”概念，使得有可能直接定义和操纵有类型lambda表达式，通过这种表达式如agent (p: PERSON): STRING do Result := p.spouse.name end，指示表示返回一个人配偶的名字的一个函数的一个对