strict Haskell dialect
bulatz at HotPOP.com
Thu Feb 2 07:30:01 EST 2006
Thursday, February 02, 2006, 4:24:06 AM, you wrote:
>> It can, but so far it's really ugly to apply transformations to entire
>> modules. A little syntactic sugar could be good there.
JM> module $hat.Foo(..) where
JM> could mean pass the entire module through the 'hat' function of TH. this
JM> would be a really cool feature a lot of rather complicated preprocessors
JM> (hat) could be implemented this way.
well, i think even more - that TH by itself can substitute much of
the better module system that we need. It can implement
parametrization, conditional compilation, hiding. But it will require
some more advanced syntax sugar. on the other side, even the existing
TH facilities can be used to implement all these features and moreover
- remain compatible with other Haskell compilers:
module Implement where
module = [d|
foo = ...
var = ...
module Use where
Bulat mailto:bulatz at HotPOP.com
More information about the Haskell-prime