Gregory's ServerTempted to use this top-down notation in a REPL program for Strange Loop.
https://michael.homer.nz/Publications/PAINT2022
 7 comments
@CapitalEx wouldn't using the standard word definitions be enough for Factor? I'm trying it out now with uxntal(untyped) and it's straight-forward, I have to handle return stack passing words differently, but otherwise there's nothing special @neauoire :: The thought process was somewhere along the lines how to show how data is fed into quotations. Or how to render call: does it just span the quotation, or does it span the quotation + inputs. I also know drop is not included in this language since the author didn't have a design chosen for it. Interestingly, this notation can write code linear text can't directly express. Which was also where I was thinking combinators could be generated. |
@neauoire :: I remember toying around with project a while back. I managed to find a program that actually compute something with the limited vocabulary: return the longer of two strings.
At the time I was wondering how you could extend this notation to render Factor's combinators.