Should the comma operator be removed in D2?

[retard]

Thu, 19 Nov 2009 04:11:30 -0500, yigal chripun wrote:

> 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.

We were talking about the original Milner's ML, right? If that's not the 
case, then I agree you're right.