Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary


Church is an untyped programming language with a pure λ-calculus core and a macro system. It uses the Church numerals to represent numbers, rather than through built-in types or operators. The language was designed by Michael Vanier in 2006 as part of his lectures on computability at Stanford University. Named after logician Alonzo Church, it supports higher-order functions that can manipulate their arguments and return functions as results — a fundamental aspect of functional programming languages. It's not intended for practical use but as a tool for teaching principles of computation theory and demonstrating the expressive power of simple constructs. Church encourages users to think in terms of simplification strategies when developing algorithms due to its strict adherence to lambda calculus principles.

Hire Church Experts

Enter your email to get started.