diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-10-16 17:55:50 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-10-16 17:55:50 -0400 |
| commit | 1f983c8c0fc291be41967235cd6981f12c02cf76 (patch) | |
| tree | e4ffaf77ad7b03fca00d5f3fc2b4da5721e54085 /docs/doc/birds.html | |
| parent | 93d70ac767cbd8ee8f2c3300b044f9f4a1d06521 (diff) | |
Add Conor's Golden Eagle coinage
Diffstat (limited to 'docs/doc/birds.html')
| -rw-r--r-- | docs/doc/birds.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/doc/birds.html b/docs/doc/birds.html index 073bfa1a..b9bd02e7 100644 --- a/docs/doc/birds.html +++ b/docs/doc/birds.html @@ -84,10 +84,11 @@ <td align="center"><code><span class='Function'>F</span> <span class='Function'>G</span> <span class='Function'>H</span></code></td> <td>Phoenix</td> <td><code><span class='Function'>S</span><span class='String'>'</span></code></td> -<td>~Bald Eagle</td> +<td>Golden Eagle</td> <td><code><span class='Value'>Ê</span></code>-like: <code><span class='Value'>labcde.a</span><span class='Paren'>(</span><span class='Value'>bde</span><span class='Paren'>)(</span><span class='Value'>cde</span><span class='Paren'>)</span></code></td> </tr> </tbody> </table> +<p>The name "Golden Eagle" is a <a href="https://nitter.net/code_report/status/1440208242529882112#m">fever dream</a> of bird enthusiast Conor Hoekstra, who saw it emerge from the Bald Eagle when arguments <code><span class='Value'>fg</span></code> are set equal to <code><span class='Value'>de</span></code>.</p> <p>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.</p> <p>Inputs are mapped to lambda calculus arguments according to the ordering <code><span class='Function'>𝔽𝔾</span><span class='Value'>𝕨𝕩</span></code>, and <code><span class='Function'>GFH</span></code> for a 3-train <code><span class='Function'>F</span> <span class='Function'>G</span> <span class='Function'>H</span></code>. For example, when I write that the combination <code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span><span class='Modifier'>˜</span> <span class='Value'>𝕩</span></code> corresponds to a call of <code><span class='Function'>C</span></code> or <code><span class='Value'>labc.acb</span></code>, <code><span class='Value'>a</span></code> is <code><span class='Function'>𝔽</span></code> and <code><span class='Value'>bc</span></code> are <code><span class='Value'>𝕨𝕩</span></code>.</p> |