Some nice original research by Lukas Süss: 💬 #thinking-together@2023-10-24T22:28:03.239Z
[October 24th, 2023 3:28 PM] lukas.suess: <@U01ULCCJB7X> I spontaneously decided to project your example to an ALD mockup to get a bit of a feeling for inhowfar ALDs are compatible with your code projection focused of concatenative code. Seems pretty good.
★ One nice thing with ALDs is that library functions are threated exactly the same as argument values. They come in as semi-implicit arguments via the grey collection abstraction-line. ★ One annoying (but I think good) restriction of ALD is that functions (and definitions in let sections) can only ever have just one single value-line as their final output (except one cheats a bit as I've done here with memocurry :smiling_imp:).
Some (older) writeup on ALDs here:
apm.bplaced.net/w/index.php?title=Annotated_lambda_diagram
And more here:
apm.bplaced.net/w/index.php?title=Annotated_lambda_diagram_mockups
Inspired by:
apm.bplaced.net/w/index.php?title=Lambda_diagram
Though it's all mockups so far.