@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.
@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