DIP 1020--Named Parameters--Community Review Round 2

[jmh530]

On Tuesday, 17 September 2019 at 13:58:06 UTC, rikki cattermole 
wrote:
> [snip]
>
> But as a language feature I have no idea what first class types 
> would do in D.
>
> For example:
>
> alias Foo(T) = T.U;
>
> in long form:
>
> template Foo(T) {
> 	alias Foo = T.U;
> }
>
> So we already have "functions" that return types+constants 
> already.

I don't know if I would call that a function...but I see your 
point.

T.U doesn't work currently in this case of course.