| 单词 |
church integer |
| 释义 |
Church integer Church integer (theory)A representation of integers as functions invented byAlonzo Church, inventor of lambda-calculus. The integer Nis represented as a higher-order function which applies agiven function N times to a given expression. In the pure lambda-calculus there are no constants but numbers can berepresented by Church integers.
A Haskell function to return a given Church integer could bewritten:
church n = cwherec f x = if n == 0 then x else c' f (f x)wherec' = church (n-1)
A function to turn a Church integer into an ordinary integer:
unchurch c = c (+1) 0
See also von Neumann integer. |
| 随便看 |
- authentication and accounting client
- authentication and authorization infrastructure
- authentication and billing manager
- authentication and identification
- authentication and key agreement
- authentication authorization accounting
- authentication, authorization, accounting, and address
- authentication, authorization, accounting and auditing
- authentication, authorization, accounting, and charging
- authentication, authorization, administration
- authentication, authorization and access
- authentication, authorization, and accounting
- authentication, authorization, and accounting broker
- authentication, authorization, and accounting foreign server
- authentication, authorization, and accounting home server
- authentication, authorization, and accounting server
- authentication authorization answer
- authentication billing manager
- authentication center
- authentication centre
- authentication code
- authentication connection forum
- authentication control function
- authentication credential management extension
- authentication database
|