Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary

Kent Recursive Calculator

KRC is a reflective, higher-order programming language based on the lambda calculus. The language can define both functions and their types — which are also first-class objects in KRC. It was created by David Turner to serve as an educational tool for teaching compiler construction and type theory. KRC has influenced later languages like Miranda and Haskell with its use of lazy evaluation and polymorphic typing through Hindley-Milner type inference.