I agree, it would be very helpful to the discussion to have some examples of the problems Brandon is looking to solve.
On Fri, Jul 24, 2015 at 3:09 PM, Milan Bouchet-Valat <nalimi...@club.fr> wrote: > Le vendredi 24 juillet 2015 à 11:21 -0700, Brandon Taylor a écrit : > > Macros seem to have a bunch of limitations. They can't be overloaded > > to take advantage of Julia's typing system. Their functionality can > > somewhat mimic evaluation within a function in its direct parent > > environment, but what if you want to write functions within your > > macro, or macros inside your macro, etc? Probably still possible to > > do many things, but it would invovle passing expressions back in > > forth in confusing ways, where as with environments, as long as an > > environment is kept attached to every expression, they can be > > immediately evaluated in any sub or subsub etc. environment. > I'm still looking for examples of situations where these limitations > are indeed a problem... Discussing APIs in full generality, without > concrete applications, is very hard. > > > Regards >