On Tue, May 21, 2013 at 2:36 PM, Eli Barzilay <e...@barzilay.org> wrote: > (...and therefore having types go through macro-expansion is even more > obviously missing...)
could the macros+types be something as strong as e.g. metaocaml? http://stackoverflow.com/questions/3037643/typed-metaprogramming-languages ____________________ Racket Users list: http://lists.racket-lang.org/users
