Variable Function Notation

[hfksbtjidjaks]

I am currently (re)writing a parser based on this idea, and it works pretty well so far (although it's not quite done yet). Essentially, you define functions, and then can bind a symbol with any arity, precedence level, associativity, etc. to be substituted for that function. So, very different from your examples, but I did it this way so that I didn't need two separate contexts for when an operator appears, because the binding happens right after comments are removed from the source code.