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
On Tue, 06 Apr 2010 09:37:59 -0400, 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). I am co-author of a camlp4 extension, and I must admit
> that coding in camlp4 wa
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). I am co-author of a camlp4 extension, and I must admit
that coding in camlp4 was not enjoyable, while coding in metaocaml
(eventually) is.
[I se
On Tue, 06 Apr 2010 15:08:45 +0200, Heinrich Apfelmus
wrote:
> Jacques Carette wrote:
> > Jason Dagit wrote:
> >> Are you implying that template haskell is not typed?
> >
> > Indeed. [...]
> >
> > Compare with metaocaml where if you can compile you meta-program (i.e.
> > code generator), then you
Jacques Carette wrote:
> Jason Dagit wrote:
>> Are you implying that template haskell is not typed?
>
> Indeed. [...]
>
> Compare with metaocaml where if you can compile you meta-program (i.e.
> code generator), then you are guaranteed that it can only ever produce
> valid, well-typed code. Not so
