By Alonzo Church lambda-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