Re: [Haskell-cafe] Ur tutorial, and a challenge

On Wed, Jul 27, 2011 at 8:30 AM, Christopher Done wrote:

On 27 July 2011 13:58, Adam Chlipala 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.