Hi HN,<p>Didn't post this, but am one of the authors of Legion (more on the language side / Regent [1]). Feel free to ask me questions. I do think our front page does an especially bad job of explaining what we do, so I'm sure you'll have some. :-)<p>[1]: <a href="http://regent-lang.org/" rel="nofollow">http://regent-lang.org/</a>
The first time Legion really clicked for me--and when I could place it in context--was reading the first few chapters of the Legion thesis [0].<p>[0]: <a href="https://legion.stanford.edu/pdfs/bauer_thesis.pdf" rel="nofollow">https://legion.stanford.edu/pdfs/bauer_thesis.pdf</a>
Interesting!<p>I've been thinking about a fully declarative language (logic-based like datalog/prolog or functional) with an orthogonal optimization layer. This seems to go in that direction, but still based on an imperative base and focused on parallelism. Are there other languages doing this logic/optimization split?
Related from 2015: <a href="https://news.ycombinator.com/item?id=10764268" rel="nofollow">https://news.ycombinator.com/item?id=10764268</a>