[Issue 5109] some advise

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=5109


bearophile_hugs at eml.cc changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bearophile_hugs at eml.cc


--- Comment #1 from bearophile_hugs at eml.cc 2010-10-25 15:51:38 PDT ---
(In reply to comment #0)
> I am from china and poor of english,i am sorry you may can't
> understand what i am meaning.

I think we are able to understand what you mean.


> this code don't work because the name query somelike  not a bidirection
> way,[alias ReturnType!(T) Out],can't resolve the opCall
> 
> class monad(alias T)
> {
>     alias ReturnType!(T) Out;//*****
> 
> }
> 
> class    maybe(T):monad!(maybe!T)
> {
>     auto    opCall(maybe!T)
>     {
>         alias maybe!long R;
>         return R.init;
>     }
> }

This seems a valid bug report or enhancement request.


> there is another sample:
> struct B(T)
> {
> }
> alias B!(C) BC;//identifier 'C' is not defined!
> alias B!int C;

This is a bug report, and I think it's already present somewhere in Bugzilla.

In future I suggest you to put just one bug report (or enhancement request) for
each Bugzilla entry.


> 2:
> add parital template feature
> struct P(A...)
> {
> }
> alias  P!int P1;
> P1 p1;//instance of P!int
> alias P1!long P2;
> P2 p2;//intance of P!(int,long)
> 
> this feature will make D has the power to write a template functional
> library,and change D into a high-levle program language.

This is another different enhancement request. I have never seen it before. It
looks cute. Are you able to show one or more possible usages of it?

I will soon link this bug report in the main D newsgroup.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------