From: Raoul Duke (raould at gmail.com) Date: Tue May 21 18:21:46 EDT 2013 |
|
On Tue, May 21, 2013 at 2:36 PM, Eli Barzilay <eli at 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
Posted on the users mailing list. |
|