Phitrafunck/standard combinators

From Esolang
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