> The type of “eval” can also be fully static; it can just return a type that you have to do case analysis or runtime type inspection on to use. Yes! The prob

> The type of “eval” can also be fully static; it can just return a type that you have to do case analysis or runtime type inspection on to use. Yes! The problem is, we don’t have a static type system which would allow us to intensionally analyse syntax at runtime. See section 9 of Sheard (2001) “Accomplishments and research challenges in meta-programming”. https://www.dropbox.com/s/pathrmr7rufkw1d/Sheard2001.pdf https://www.dropbox.com/s/pathrmr7rufkw1d/Sheard2001.pdf If you’re interested in this subject, perhaps drop in to #dependent on Freenode IRC, or ping me on Twitter.