ラムダ計算
Most real-world languages have support for machine-native integers; the "church" and "unchurch" functions convert between nonnegative integers and their corresponding Church numerals. The functions are given here in Haskell, where the codice_1 corresponds to the λ of Lambda calculus. Implementations in other languages are similar.