3 ms·
(not (vector? params)) I see that you are indeed able to access some amount of type information in your macro system. Well done!
by marshray 13y ago
(not (vector? params))
I see that you are indeed able to access some amount of type information in your macro system.
Well done!
- TylerE 13y agoI thought I made it clear. The macro system is not some subset, it is the full language with all the capabilities that brings with it, including type functions, reflection, etc. You can even do I/O in macros, whatever you want. The full language is available.
- marshray 13y agoForgive me. The term 'hygenic macro' has historically been associated with Lisp and Scheme which were not known for the availability of type information at compile time, because they are dynamically typed and often did not have a compile time.
- TylerE 13y agoFair enough. Clojure really is a wonderful language. It's sort of a "Javascript: The Good Parts" for Lisp - they kept (and expanded on) that wonderful expressiveness, while doing away with 50 years of dogma that held on to stuff like gen-syms, car, cdr, and singly-linked lists as the one-true-datatype.
- marshray 13y agoIt's the only language right now that makes me wish I weren't so allergic to the JVM.