From 1a5bf973261b5b872f75f5f046b4c294ab9e9525 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Fri, 6 May 2022 08:44:10 -0400 Subject: Devine's combinator bird presentation is pretty nice actually --- docs/doc/birds.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/doc') diff --git a/docs/doc/birds.html b/docs/doc/birds.html index 716aa9ea..a5e42e55 100644 --- a/docs/doc/birds.html +++ b/docs/doc/birds.html @@ -5,7 +5,7 @@
(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, and another that lacks its obsessive completeness. 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.

+

Some people consider it reasonable to name combinators after types of birds. Here's one compendium of such names, and another that lacks its obsessive completeness but makes up for it with rambling accounts of imagined forests. 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.

@@ -89,6 +89,6 @@
-

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

+

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.

-- cgit v1.2.3