[erlang-questions] Re: Will parameterized modules become an official part of Erlang?
Mon Feb 22 04:30:47 CET 2010
There are potential uses for parametric modules other than what
Erlang currently has, and the _way_ Erlang does parametric modules
is one of several alternatives. For example, one way of thinking
about configuration is that a configuration is basically a function
that computes a set of modules given a set of modules, and that an
update is a "minimal" re-evaluation of this function when some of its
inputs change. (This is very like the distribution/build system that
was done for MESA.) In Ada and ML there are things that map from
modules to modules (Ada generic packages, ML functors), but the things
they compute are *modules*, not run-time values. In the present
scheme, modules and parametric modules are so different that I find it
confusing to call them by the same name.
More information about the erlang-questions