From 128cac21ebb7e3724f1c8a3915ccb2d1e972ac6d Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Thu, 14 Oct 2021 22:00:16 -0400 Subject: Add combinator bird table to documentation --- docs/doc/birds.html | 93 +++++++++++++++++++++++++++++++++++++++++++++++++++++ docs/doc/index.html | 1 + 2 files changed, 94 insertions(+) create mode 100644 docs/doc/birds.html (limited to 'docs') diff --git a/docs/doc/birds.html b/docs/doc/birds.html new file mode 100644 index 00000000..11fdc415 --- /dev/null +++ b/docs/doc/birds.html @@ -0,0 +1,93 @@ + + + + BQN for birdwatchers + +
(github) / BQN / doc
+

BQN for birdwatchers

+

Some people consider it reasonable to name combinators after types of birds. Here's one compendium of such names, albeit still missing the Phoenix or S' combinator labcd.a(bd)(cd). There is something wrong with these people. Some of these birds are not even real. "Quixotic bird"? Have you not heard of a quail? Nonetheless, I don't judge such afflicted souls (certainly not publicly), and have provided this translation table to explain BQN in terms they can understand.

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
BQNBird1Bird2
⊣IdentityIKestrelK
⊢IdentityIKI
∘BluebirdBBlackbirdB₁
○BluebirdB~DovekiesD₂-like: labcd.a(bc)(bd)
˙KestrelKKK
⊸R*SQueerQ
⟜StarlingS~DoveD-like: labcd.ac(bd)
˜WarblerWCardinalC
k G HDoveDEagleE
F G HPhoenixS'~Bald EagleÊ-like: labcde.a(bde)(cde)
+

Lambda calculus doesn't have BQN's polymorphism on one or two arguments, so each BQN combinator corresponds to two lambda calculus forms depending on the number of arguments, giving the two columns of birds above.

+

Inputs are mapped to lambda calculus arguments according to the ordering 𝔽𝔾𝕨𝕩, and GFH for a 3-train F G H. For example, when I write that the combination 𝕨 𝔽˜ 𝕩 corresponds to a call of C or labc.acb, a is 𝔽 and bc are 𝕨𝕩.

diff --git a/docs/doc/index.html b/docs/doc/index.html index 3f4e2d2c..83c6ea4a 100644 --- a/docs/doc/index.html +++ b/docs/doc/index.html @@ -18,6 +18,7 @@
  • Glossary
  • BQN-Dyalog dictionary
  • BQN-J dictionary
    • +
  • BQN as combinatory logic

    • Concepts: