Hello Oleg!
> Template Haskell does nothing at all to avoid scope extrusion! Sadly,
> Template Haskell does nothing to prevent building of any ill-typed
> code:
That's true, but a deliberate design choice. Since splices are
executed at compile-time, the resulting code will have to be
compiled and no ill-typed generated code will be executed.
> Meta-Haskell is typed and it does not let the programmer create names
> at wish.
Sounds very interesting. Does Meta-Haskell have an interface to
the ADT representation of code like Template Haskell has?
Martin
_______________________________________________
metaocaml-users-L mailing list
metaocaml-users-L@...
https://mailman.rice.edu/mailman/listinfo/metaocaml-users-l
