Nilesh Trivedi
09/04/2023, 8:56 AMwtaysom
09/04/2023, 4:21 PMhere we go round the mulberry bush
we can go to:
(here we go round _) (the mulberry bush)
As soon as you try to pull something else out, you see the ambiguity:
(here _ go round _) (the mulberry bush) (we)
In text we use lambdas and variables to order how the blanks get filled in
(\ _what_ _who_ . here _who_ go round _what_ _what_ _what_) (the mulberry bush) (we)
and so on.
Immediately, I think of three things that are — um, off — about conventional notation:
1. (\ variable . expression) value
quickly puts a lot of space between variable
and value
.
2. Being able to repeat a variable is so easy to do with text, that you can easily fail to realize how significant an operation it is.
3. Likewise, the between f (g h)
and (f g) h
much bigger than the notation suggests.
So it certainly would be neat to see a spacial lambda calculus that specifically addresses these problems.Kartik Agaram
Joshua Horowitz
09/04/2023, 5:34 PMJimmy Miller
Nilesh Trivedi
09/07/2023, 2:25 PM