On Wednesday 26 August 2009 08:35:49 Konrad Hinsen wrote: > On 26 Aug 2009, at 07:06, Vagif Verdi wrote: > > I fail to see how macros can be contrasted to static typeng. They are > > orthogonal. > > That is true in principle, but integrating Lisp-style macros and > compulsory static typing (as opposed to optional type hints) into the > same language does require some careful thought. I haven't seen such a > combination yet...
I'm not sure what you regard as "Lisp-style" macros but you may be interested in OCaml's untyped Camlp4 macros and Template Haskell's typed macros. -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---