Capital

Devine Lu Linvega's posts Post Back to profile

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

Code that computes whether "Factor" or "Concatenative" is the shorter string. There is a diagram on the left showing the data flow.

Like 27 Jun 2023 at 2:50 | Wall-to-wall | Open on furry.engineer

2 comments

Devine Lu Linvega

@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

27 Jun 2023 at 2:52 | Open on merveilles.town

Capital

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

27 Jun 2023 at 3:32 | Open on furry.engineer