如下列：使用倒斜线 \ 代替 λ 符号，完整的除法函式则如下列，
换成其它表达法.大部分真实世界的程式语言都提供原生于机器的整数，"church" 与 "unchurch" 函式会在整数及与之对应的邱奇数间转换。这里使用Haskell撰写函式， codice_14 等同于lambda演算的 λ。 用其它语言表达也会很类似。type Church a = (a -> a) -> a -> achurch :: Integer -> Church Integerchurch