Prior to working on Legion, I worked on a programming language called Sequoia that matches much of what you are describing [1]. In many ways Sequoia was the spiritual ancestor of Legion/Regent.

[1]: http://theory.stanford.edu/~aiken/publications/papers/sc06.p...