Phitrafunck/standard combinators
Jump to navigation
Jump to search
| Combinator | Definition | Bird name | Rank | Notes |
|---|---|---|---|---|
| B | S(KS)K | Bluebird | 3 | applicative, linear |
| B[1] | BBB | Blackbird | linear | |
| B[2] | B(BBB)B | Bunting | linear | |
| B[3] | B(BB)B | Becard | linear | |
| C | S(BBS)(KK) or S(S(KS)(S(KK)S))(KK) |
Cardinal | 3 | applicative, linear |
| D | BB | Dove | linear | |
| D[1] | B(BB) | Dickcissel | linear | |
| D[2] | BB(BB) | Dovekie | linear | |
| E | B(BBB) | Eagle | linear | |
| Ê | B(BBB)(B(BBB)) | Bald eagle | linear | |
| F | ETTET | Finch | linear | |
| G | BBC | Goldfinch | 4 | applicative, linear |
| H | BW(BC) | Hummingbird | ||
| I | SKK | Identity bird | 1 | linear |
| J | B(BC)(W(BC(B(BBB)))) | Jay bird | 4 | applicative, duplicative |
| K | K x y = x | Kestrel | 2 | cancellative |
| L | CBM or S(S(KS)K)(K(SII)) |
Lark | 2 | applicative, duplicative |
| M | OI or SII |
Mockingbird | 1 | applicative, duplicative |
| M[2] | BM | Double mockingbird | ||
| O | SI | Owl | 2 | applicative, duplicative |
| Q | CB or S(K(S(S(KS)K)))K |
Queer bird | 3 | applicative, linear |
| Q[1] | BCB | Quixotic bird | linear | |
| Q[2] | C(BCB) | Quizzical bird | linear | |
| Q[3] | BT | Quirky bird | linear | |
| Q[4] | F*B | Quacky bird | linear | |
| R | BBT or S(K(SS))(S(KK)K) |
Robin | 3 | applicative, linear |
| S | S x y z = x z (y z) | Starling | 3 | applicative, duplicative |
| T | CI or S(K(SI))K |
Thrush | 2 | applicative, linear |
| U | LO | Turing bird | ||
| V | BCT or S(S(KS)(S(KK)(S(KS)(S(K(SI))K))))(KK) |
Vireo | 3 | applicative, linear |
| W | SS(SK) or SS(KI) |
Warbler | 2 | applicative, duplicative |
| W[1] | CW | Converse warbler | ||
| Y | SLL or SSK(S(K(SS(S(SSK))))K) |
Sage bird | 1 | duplicative |
| I* | S(SK) | Identity bird once removed | ||
| W* | BW | Warbler once removed | ||
| C* | BC | Cardinal once removed | linear | |
| R* | C*C* | Robin once removed | linear | |
| F* | BC*R* | Finch once removed | linear | |
| V* | C*F* | Vireo once removed | linear | |
| W** | B(BW) | Warbler twice removed | ||
| C** | BC* | Cardinal twice removed | linear | |
| R** | BR* | Robin twice removed | linear | |
| F** | BF* | Finch twice removed | linear | |
| V** | BV* | Vireo twice removed | linear | |
| θ | YO | Theta (Bird?) [unsourced] | ||
| ϕ | ϕ x y z w = x (y w) (z w); | Phoenix | 4 | applicative, duplicative |
| Ψ | Ψ x y z w = x (y z) (y w); | Psi bird | 4 | applicative, duplicative |
| ω | MM | Omega bird [unsourced] | ||
| ι | S(SI(KS))(KK) | Iota (not a bird) | 1 | linear |