On Nov 4, 2008, at 18:18, Paul Stadig wrote:

> Is it possible to create "generic" macros? I mean macros are basically
> a way to extend the compiler, right? Wouldn't it be useful to be able
> to dispatch a macro based on the type hint of its parameters (or some
> other criteria)?

A macro gets its arguments unevaluated (necessarily, being called at  
compile time). I don't see how it could know their types. Given  
something like

        (max a b)

how could you figure out the types of the values that will be bound  
to a and b when the macro-generated code is executed?

Konrad.

--~--~---------~--~----~------------~-------~--~----~
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
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/clojure?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to