if you're interested in this sort of thing, the "language zoo" (a series of mini-languages demonstrating various design strategies) is great<p><a href="http://andrej.com/plzoo/" rel="nofollow">http://andrej.com/plzoo/</a>
And here I was hoping that one of the goals of this was Hindley-Milner type inference for production clojure code (which, for those who didn't look at the code, is explicitly not a goal).<p>Oh well, cool experiment. I might have to try it sometime.