On Mar 13, 2013, at 14:08, kovas boguta wrote:
> On Wed, Mar 13, 2013 at 1:27 PM, Rich Morin <r...@cfcl.com> wrote:
> 
>> I agree, for your reasons and others.  For example, I don't think a codeq
>> should say much about _any_ symbol the code references.
>> 
>> However, that seems to create a disconnect.  If codeq is tracking raw code,
>> and the AST reflects expanded code, (how) can the two be reconciled?
> 
> I'm going to expose my own ignorance here.
> 
> Isn't it necessary to generate an AST *before* macro-expansion? How
> else are the macros executed?
> 
> Or is macro-expansion performed in the bowels of the compiler, in an
> interpreted manner?
> 
> If anyone has pointers to a blog post or talk on this, I'd appreciate it.

This page (comments and corrections welcome!) which tries to explain this:

  http://wiki.cfcl.com/bin/view/Projects/Clojure/Key/Architecture

The page is largely based on my understanding of Rich Hickey's video:

  Clojure for Java Programmers
  http://www.youtube.com/watch?v=P76Vbsk_3J0
  (especially the sections on Syntax and Evaluation, starting at 0:46:50)

-r

 -- 
http://www.cfcl.com/rdm            Rich Morin
http://www.cfcl.com/rdm/resume     r...@cfcl.com
http://www.cfcl.com/rdm/weblog     +1 650-873-7841

Software system design, development, and documentation


-- 
-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your 
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
--- 
You received this message because you are subscribed to the Google Groups 
"Clojure" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to clojure+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to