> and an AST with a representation that is similar to Lisp

That's actually cheating, you know :). Lisp pretty much is AST. It's a fun fact about Erlang that it's not directly compiled to BEAM, but is first translated into a very strange, almost lovecraftian Lisp. I've worked with Erlang commercially for some time and ever since learning about parse transforms I kept wondering why they didn't just clean up the "intermediate language" syntax; they'd have a decent Lisp instead of a parallel Prolog.

There is, of course, Lisp Flavoured Erlang: http://lfe.io/

Indeed there is :). I used to sneak up some code in it on the job ;). I'm happy to see it being actively developed to this very day.