My focus is Perl 6, which I suspect folk here won't know about or care about. However, I'm also interested in the new (3 year old) experimental language 007. I've asked its creator if he would be comfortable with me posting about his language and he's given me a greenlight. I'm pretty confident that those working on 007 will be interested in anything folk here have to say about their journey. I will invite them here if anyone replies. Thanks for your attention.
In a recent comment, 007's creator Carl Mäsak wrote:
I want to build 007 as a language that explores not just what it means to be an Algoloid with macros, but also what it means to be an Algoloid that uses macros to define itself.
The point, as I understand it, is to build a non-homoiconic language with the power of lisp macros and a metacircular evaluator.
I'm hoping to elicit comments about his summary of what he wants and/or my formulation.
To leave you with a little more context, here are a couple other excerpts from his recent comment:
In October 2014, I implemented a super-tiny Lisp called ipso. The paper The Roots of Lisp was my inspiration, and I realized it was a really powerful thing for a language to be able to implement its own evaluation semantics in half a page of code, like on page 8 of that paper.
But, he continued:
sometime after that I told [someone] that what I'd really like was a bigger metacircular loop, where the language explained how to parse itself, and then to run the result.
Shortly after that … 007 was born. Its distant goal has always been to "close the loop", so to speak, and be able to express a Lisp-like metacircular parser that (a) is as capable as Perl 6's, or can be extended to be as capable, and (b) is "minimal" in the sense that each of its parts is there in service of something the parser itself needs.