Comments by "Vitaly L" (@vitalyl1327) on "No Boilerplate" channel.

Lisp, Forth, Converge, Nemerle, Template Haskell, and a lot more.
8
@lawrencedoliveiro9104 homoiconicity is nice, but not really necessary. Rust does not have it, and it is fine. All you need is a way to construct AST easily. E.g., a quasiquotation mechanism.
5
@micahrufsvold yes! And Julia front-end is based on Scheme, which makes it pretty natural to extend.
4
@lawrencedoliveiro9104 yep, there is even an out of the box ast module for direct ast construction. Clumsy a bit, compared to Lisp and alike, but doable.
3
I have to disagree. Axioms are indeed invented and not "discovered". Mathematics is a language that allows to construct any formal system that does not contradict itself. You can invent any axiomatic basis and then the tools mathematics provide would allow you to construct an infinite tower of things derived from your selected axiomatic basis. Now, the "right" axiomatic theories are only selected by applying the language of mathematics to the data produced by natural sciences. Scientific Method makes the choice - axiomatic systems that generate consequences that numerically are in agreement with the data can stay (for now), systems that generate something consistent but absolutely detached from the data can be discarded (or left as mathematical toys). But the real beauty of mathematics is that it allows you to invent anything you want. No limits, as long as you keep your axioms non-contradicting.
2