Nicolas Pouillard wrote: > Heinrich Apfelmus wrote: >> I'm curious, can metaocaml create new data type definitions, value >> declarations or type class instances? > > No metaocaml cannot do this. It is restricted to the expression > level, and not the declaration level. Moreover you cannot pattern > match over the generated code.
> Jacques Carette wrote: >> One thing I should have mentionned - TH and camlp4 are really >> equivalents. And camlp4 is as-typed-as TH (or not, depending on your >> point of view). > > This is not exactly the same, TH is a bit more typed than camlp4 here is two > examples: Thanks for your clarifications, Jacques and Nicolas. :) Incidentally, the distinction between camlp4 and metaocaml makes me wonder whether it might be possible to implement the former *inside* the latter. In other words, maybe there exists a domain specific language inside camlp4 / TH that offers all the conveniences of metaocaml. Of course, this doesn't work right away because camlp4 / TH are compile-time only, but why not extend them slightly so that they can be used during run-time, too? Regards, Heinrich Apfelmus -- http://apfelmus.nfshost.com _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
