From 175c96b8ffb71f0fd6ae7e5245cbd20d642f2c05 Mon Sep 17 00:00:00 2001 From: Conor Hoekstra <36027403+codereport@users.noreply.github.com> Date: Sat, 8 Jan 2022 17:03:24 -0500 Subject: Corrections to BQN Combinator Birds --- doc/birds.md | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/doc/birds.md b/doc/birds.md index fc538c15..e1bcb881 100644 --- a/doc/birds.md +++ b/doc/birds.md @@ -9,10 +9,10 @@ Some people consider it reasonable to name [combinators](primitive.md#modifiers) | `⊣` | Identity | `I` | Kestrel | `K` | `⊢` | Identity | `I` | | `KI` | `∘` | Bluebird | `B` | Blackbird | `B₁` -| `○` | Bluebird | `B` | Psi? | `D₂`-like: `labcd.a(bc)(bd)` +| `○` | Bluebird | `B` | Psi | `ψ` | `˙` | Kestrel | `K` | | `KK` -| `⊸` | | `R*S` | Queer | `Q` -| `⟜` | Starling | `S` | ~Dove | `D`-like: `labcd.ac(bd)` +| `⊸` | | `BSC` | ~Dove | `D`-like: `labcd.a(bc)d` +| `⟜` | Starling | `S` | Dove | `D` | `˜` | Warbler | `W` | Cardinal | `C` | `k G H` | Dove | `D` | Eagle | `E` | `F G H` | Phoenix | `S'` | Golden Eagle | `Ê`-like: `labcde.a(bde)(cde)` @@ -22,3 +22,8 @@ The name "Golden Eagle" is a [fever dream](https://nitter.net/code_report/status 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 `𝕨𝕩`. + +**List of combinator bird compendiums:** +1. [Angelfire Combinator Birds](https://www.angelfire.com/tx4/cus/combinator/birds.html) +2. [Fantasy Land Birds](https://github.com/fantasyland/fantasy-birds) +3. [Lähteenmäki Combinator Birds](https://blog.lahteenmaki.net/combinator-birds.html) -- cgit v1.2.3 From 4a2f4f5677a3fe9789d51c699c2a3bdc7eec399f Mon Sep 17 00:00:00 2001 From: Conor Hoekstra Date: Sat, 8 Jan 2022 21:05:01 -0500 Subject: Remove Jyri-Matti link and numbering --- doc/birds.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/doc/birds.md b/doc/birds.md index e1bcb881..0abc03d7 100644 --- a/doc/birds.md +++ b/doc/birds.md @@ -24,6 +24,5 @@ Lambda calculus doesn't have BQN's polymorphism on one or two arguments, so each 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 `𝕨𝕩`. **List of combinator bird compendiums:** -1. [Angelfire Combinator Birds](https://www.angelfire.com/tx4/cus/combinator/birds.html) -2. [Fantasy Land Birds](https://github.com/fantasyland/fantasy-birds) -3. [Lähteenmäki Combinator Birds](https://blog.lahteenmaki.net/combinator-birds.html) +* [Angelfire Combinator Birds](https://www.angelfire.com/tx4/cus/combinator/birds.html) +* [Fantasy Land Birds](https://github.com/fantasyland/fantasy-birds) -- cgit v1.2.3 From 518def7bf3ab25f7175a55e403d6314240204aa4 Mon Sep 17 00:00:00 2001 From: Conor Hoekstra Date: Sat, 8 Jan 2022 21:05:35 -0500 Subject: Generate HTML --- docs/doc/birds.html | 19 ++++++++++++------- 1 file changed, 12 insertions(+), 7 deletions(-) diff --git a/docs/doc/birds.html b/docs/doc/birds.html index f39a29c7..a5df5213 100644 --- a/docs/doc/birds.html +++ b/docs/doc/birds.html @@ -42,8 +42,8 @@ ○ Bluebird B -Psi? -D₂-like: labcd.a(bc)(bd) +Psi +ψ ˙ @@ -55,16 +55,16 @@ ⊸ -R*S -Queer -Q +BSC +~Dove +D-like: labcd.a(bc)d ⟜ Starling S -~Dove -D-like: labcd.ac(bd) +Dove +D ˜ @@ -92,3 +92,8 @@

The name "Golden Eagle" is a fever dream of bird enthusiast Conor Hoekstra, who saw it emerge disordered from the Bald Eagle when arguments fg are set equal to cd.

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 𝕨𝕩.

+

List of combinator bird compendiums:

+ -- cgit v1.2.3 From afc3c8e0bddaa633f349c3d043302cdbf81ee1e0 Mon Sep 17 00:00:00 2001 From: Conor Hoekstra Date: Sat, 8 Jan 2022 21:26:45 -0500 Subject: Revert to be ~D --- doc/birds.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/birds.md b/doc/birds.md index 0abc03d7..84188b3c 100644 --- a/doc/birds.md +++ b/doc/birds.md @@ -12,7 +12,7 @@ Some people consider it reasonable to name [combinators](primitive.md#modifiers) | `○` | Bluebird | `B` | Psi | `ψ` | `˙` | Kestrel | `K` | | `KK` | `⊸` | | `BSC` | ~Dove | `D`-like: `labcd.a(bc)d` -| `⟜` | Starling | `S` | Dove | `D` +| `⟜` | Starling | `S` | ~Dove | `D`-like: `labcd.ac(bd)` | `˜` | Warbler | `W` | Cardinal | `C` | `k G H` | Dove | `D` | Eagle | `E` | `F G H` | Phoenix | `S'` | Golden Eagle | `Ê`-like: `labcde.a(bde)(cde)` -- cgit v1.2.3 From 8faa2f749a0c4c78bbd024f7af96aa796e2b5dba Mon Sep 17 00:00:00 2001 From: Conor Hoekstra Date: Sat, 8 Jan 2022 21:27:06 -0500 Subject: Generate HTML --- docs/doc/birds.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/doc/birds.html b/docs/doc/birds.html index a5df5213..77f7735e 100644 --- a/docs/doc/birds.html +++ b/docs/doc/birds.html @@ -63,8 +63,8 @@ ⟜ Starling S -Dove -D +~Dove +D-like: labcd.ac(bd) ˜ -- cgit v1.2.3 From da4ee1840d487c1941b4fceae92df123cb7f2694 Mon Sep 17 00:00:00 2001 From: Conor Hoekstra Date: Sat, 8 Jan 2022 22:29:11 -0500 Subject: Remove/add correct link --- doc/birds.md | 2 +- docs/doc/birds.html | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/birds.md b/doc/birds.md index 84188b3c..2835da31 100644 --- a/doc/birds.md +++ b/doc/birds.md @@ -25,4 +25,4 @@ Inputs are mapped to lambda calculus arguments according to the ordering `𝔽 **List of combinator bird compendiums:** * [Angelfire Combinator Birds](https://www.angelfire.com/tx4/cus/combinator/birds.html) -* [Fantasy Land Birds](https://github.com/fantasyland/fantasy-birds) +* [Lähteenmäki Combinator Birds](https://blog.lahteenmaki.net/combinator-birds.html) diff --git a/docs/doc/birds.html b/docs/doc/birds.html index 77f7735e..5d05609a 100644 --- a/docs/doc/birds.html +++ b/docs/doc/birds.html @@ -95,5 +95,5 @@

List of combinator bird compendiums:

-- cgit v1.2.3 From 2b4a2b05309961f993ae6220fc4414dc302d7e59 Mon Sep 17 00:00:00 2001 From: Conor Hoekstra Date: Sat, 8 Jan 2022 23:05:16 -0500 Subject: Final changes? --- doc/birds.md | 24 ++++++++++++------------ docs/doc/birds.html | 4 ++-- 2 files changed, 14 insertions(+), 14 deletions(-) diff --git a/doc/birds.md b/doc/birds.md index 2835da31..b2f61c8f 100644 --- a/doc/birds.md +++ b/doc/birds.md @@ -4,18 +4,18 @@ Some people consider it reasonable to name [combinators](primitive.md#modifiers) after types of birds. [Here's](https://www.angelfire.com/tx4/cus/combinator/birds.html) one compendium of such names, albeit still missing the Phoenix or `S'` combinator `labcd.a(bd)(cd)` ([this one](https://hackage.haskell.org/package/data-aviary-0.4.0/docs/Data-Aviary-Birds.html) has more). 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. -| BQN | Bird 1 | 1 | Bird 2 | 2 -|:-------:|-----------|-------|--------------|--------- -| `⊣` | Identity | `I` | Kestrel | `K` -| `⊢` | Identity | `I` | | `KI` -| `∘` | Bluebird | `B` | Blackbird | `B₁` -| `○` | Bluebird | `B` | Psi | `ψ` -| `˙` | Kestrel | `K` | | `KK` -| `⊸` | | `BSC` | ~Dove | `D`-like: `labcd.a(bc)d` -| `⟜` | Starling | `S` | ~Dove | `D`-like: `labcd.ac(bd)` -| `˜` | Warbler | `W` | Cardinal | `C` -| `k G H` | Dove | `D` | Eagle | `E` -| `F G H` | Phoenix | `S'` | Golden Eagle | `Ê`-like: `labcde.a(bde)(cde)` +| BQN | Bird 1 | 1 | Bird 2 | 2 | +| :-----: | -------- | -------- | ------------ | ------------------------------ | +| `⊣` | Identity | `I` | Kestrel | `K` | +| `⊢` | Identity | `I` | | `KI` | +| `∘` | Bluebird | `B` | Blackbird | `B₁` | +| `○` | Bluebird | `B` | Psi | `ψ` | +| `˙` | Kestrel | `K` | | `KK` | +| `⊸` | | `B1CBSC` | ~Dove | `D`-like: `labcd.b(ac)d` | +| `⟜` | Starling | `S` | ~Dove | `D`-like: `labcd.ac(bd)` | +| `˜` | Warbler | `W` | Cardinal | `C` | +| `k G H` | Dove | `D` | Eagle | `E` | +| `F G H` | Phoenix | `S'` | Golden Eagle | `Ê`-like: `labcde.a(bde)(cde)` | The name "Golden Eagle" is a [fever dream](https://nitter.net/code_report/status/1440208242529882112#m) of bird enthusiast Conor Hoekstra, who saw it emerge disordered from the Bald Eagle when arguments `fg` are set equal to `cd`. diff --git a/docs/doc/birds.html b/docs/doc/birds.html index 5d05609a..31d305de 100644 --- a/docs/doc/birds.html +++ b/docs/doc/birds.html @@ -55,9 +55,9 @@ ⊸ -BSC +B1CBSC ~Dove -D-like: labcd.a(bc)d +D-like: labcd.b(ac)d ⟜ -- cgit v1.2.3