On Wed, Jul 27, 2011 at 8:30 AM, Christopher Done <chrisd...@googlemail.com> wrote: > On 27 July 2011 13:58, Adam Chlipala <ad...@impredicative.com> wrote: >> Does this static type system support metaprogramming strong enough to >> implement my challenge problem with the level of static guarantee for all >> specialization parameters that I ask for? > > Again I don't really know what you're talking about so I'll drop it.
Here's a question that I suspect may be relevant: Can you generate code with TH that isn't well-typed? If your first thought is something like "of course, how would you type check the code before generating it?", I would ask how that differs from "of course programs can crash, how can you check all inputs before reading them at run time?". Bonus question for any OCaml folks: What's the difference between using Camlp4 and using MetaOCaml? - C. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
