>From the screenshot, this involves a tree-based functional programming environment:
<http://wouter.fov120.com/aardappel/index.html> > The research I've done for my PhD involves designing and implementing > a new language, which computes by concurrently reducing trees (using > a form of tree-rewriting) which sit together in tree-spaces (bags) > and communicate amongst each other (exchanging parts of themselves, > in Linda-like fashion), and in general having a jolly good time > all together. The language is 100% graphical. Oh yes, the language > is linear as well. and some aspects sound close to your outliner: > Another operation is folding by example: because every tree is > fully concrete it can be evaluated on the spot and folded to whatever > expression it evaluates to. This can be used to quickly check whether > sub-expressions in your code do what you expect, rather than having > to run the whole program to give variables a value. -Dave
