diff options
Diffstat (limited to 'log-240222-1.gmi')
| -rw-r--r-- | log-240222-1.gmi | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/log-240222-1.gmi b/log-240222-1.gmi index abb728d..d107300 100644 --- a/log-240222-1.gmi +++ b/log-240222-1.gmi @@ -1,4 +1,4 @@ -Time-stamp: <2024-02-22 19h21 UTC> +Time-stamp: <2024-02-22 21h24 UTC> # Formatting strings with separators in BQN @@ -68,7 +68,7 @@ which when applied dyadically, that is to two arguments, yields the arguably int BQN (and other languages) offer up an extension of this 3-train parsing rule: a 3-train may be preceded by a monadic function m and the resulting semantics are ``` -m f g h <===> k (f g h) Ā² +m f g h <===> m (f g h) Ā² šØ (m f g h) š© <===> m(g(f(šØ, š©), h(šØ, š©))) ``` @@ -152,12 +152,12 @@ Here's the interesting part about about that monadic application: it's really a The crucial point here are the semantics of before (āø): ``` +fāøg š© <===> g(f(š©), š©) šØ fāøg š© <===> g(f(šØ), š©) ``` -Isn't that so cool!? - -Incidentally the dual of before is after (ā): +Isn't that so cool!? Incidentally the dual of before is after (ā): ``` +gāf š© <===> g(š©, f(š©)) šØ gāf š© <===> g(šØ, f(š©)) ``` and the fun observation is that using both before and after coincides with 3-trains (almost) |