Email or username:

Password:

Forgot your password?
Devine Lu Linvega's posts Post Back to profile
Devine Lu Linvega

Tempted to use this top-down notation in a REPL program for Strange Loop.
michael.homer.nz/Publications/

27 Jun 2023 at 2:13 | Open on merveilles.town
7 comments
Capital

@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.
27 Jun 2023 at 2:50 | Open on furry.engineer
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
John Best

@neauoire That would make a super cool REPL! Feels a bit sideways to me, but that’s probably just too much time doing arithmetic in RPN 😀

27 Jun 2023 at 3:54 | Open on alaskan.social
benjohn

@neauoire sweet. I did some thinking about this a while back and didn’t get anywhere. Something I really wanted was to integrate was algebraic data types and have the visual syntax support that.

27 Jun 2023 at 12:21 | Open on noparticular.place
Go Up