有無 bro 講下 combinators (B, C ... Y), church encodings, category theory 同 lambda calculus 之間既關係?
如果Lambda Calculus係建築理論, Church encoding就係以Lambda Calculus造出嚟嘅圖則: Church numerals are the blueprints for building natural numbers; Church booleans, logic operators such as true/false, and, or, not; Church pairs, a function that takes a function argument; B, C, K, W, Y combinators, a series of higher-ordered functions to help build more complex user-defined functions.
至於Category Theory(CT)同上面呢堆嘢有乜關係, 我就唔曉喇, 只知CT係an alternative to set theory, 而function under Lambda Calculus係借用咗set theory (domain concept)去define嘅!