retard Wrote:
> Thu, 19 Nov 2009 00:00:00 +0200, Yigal Chripun wrote:
>
> > Ellery Newcomer wrote:
> > foo(a, b) is identical to foo(t);
> >>
> >> does ML have any equivalent of template parameters? eg
> >>
> >> foo!(1,int);
>
> > foo's signature is actually: `a -> `a which is like doing in D: T foo(T)
> > (T n) { return n + n; } but unlike ML, in D/C++ you need to provide the
> > type parameter yourself.
> >
> > does that answer your question?
>
> A bit more precise answer would be 'no'. ML does not support programming
> with types directly. There is no way to pass stuff from value world to
> type world and vice versa like in D.
I wouldn't say it's a decisive No. there are several extensions to ML like
MetaML and MacroML that do have such capabilities.
There are also ML inspired languages like Nemerle which provide very powerful
AST macro systems.
