[Haskell-cafe] Ur tutorial, and a challenge

Casey McCann cam at uptoisomorphism.net
Wed Jul 27 22:38:41 CEST 2011


On Wed, Jul 27, 2011 at 8:30 AM, Christopher Done
<chrisdone at googlemail.com> wrote:
> On 27 July 2011 13:58, Adam Chlipala <adamc at 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.



More information about the Haskell-Cafe mailing list