lambda-calculusBy Alonzo Churchlambda-calculus does not have types. It's possible to get "runtime error"but there's simply-typed lambda calculus requiring correct type match on inputs-2 pages link heremathslambda-calculus智性哲学世界观lambda-calculus 是数学、逻辑学抽象，用来建模“可计算问题”，也可以作为“程序运行规则”