Cool! A surprising amount of overlap with projects/ideas I’m currently working on. I really like the idea of extending the spreadsheet concept to include more software development concepts. And I really like the syntactic/semantic simplicity of concatenative languages. I’m slowly developing ideas for how to best leverage the benefits of concatenative syntax/semantics while having an escape hatch to variables/lambdas for when they are more expressive.
Gilad Bracha has been doing a lot of experiments in the spreadsheet-as-ide space, they’re scattered in his blog posts: https://gbracha.blogspot.com/
I’d love to hear what you come up with for the escape hatch - I have solved this in my own specific way, so I’m curious as to how else it could be done!
It’s all still very nascent concept stage, but I’m leaning towards S-expr based syntax, with essentially a special form for concatenative point-free terms. And then there could be a special form for infix, for when that is more natural.
I want to experiment with the IR being purely concatenative/combinatorial, though. None of this is at all my area of expertise, so I don’t know how much research there has been along those lines. But it seems like it could allow for really simple optimization semantics.
This is a really nice demo. I like the concept of stack based languages, just not entirely certain I would want to use them all the time.
This is fantastic! I love how implicit references to neighboring cells makes it so easy to split the code visually. Now I want to work on my “APL for 3D graphics” concept again.