D parsing

deadalnix deadalnix at gmail.com
Mon Nov 11 22:41:58 PST 2013


On Tuesday, 12 November 2013 at 05:58:02 UTC, Andrei Alexandrescu 
wrote:
>> If I has to pick 2:
>> tail qualified type parameter are one. It is impossible to 
>> have a use
>> defined type that behave as slices/pointers. That is 
>> showstopper for a
>> proper collection library. I have only ugly solution to 
>> propose to that
>> now. Lately, I was plying with thing along the lines of struct 
>> S[T] {
>> auto foo() const[T] { ... } } I'm afraid that what already 
>> exist in that
>> area makes things quite difficult.
>>
>> The lack of qualifier for ownership, which makes concurrency 
>> and
>> interface between manual memory management and GC tedious. For 
>> that one,
>> isolated seems the way to go.
>>
>> These same issue continue to pop up in many different forms 
>> (for
>> instance, see Kenji's DIP, where he is trying to hack around 
>> some gadget
>> to unique postblit work).
>
> Our goals for the time being are to improve stability, close 
> gaps in the type system, and make good use of features in code. 
> To the extent we can't do what we want to do, the topics you 
> mention are fit.
>
>
> Andrei

Yes, as much as I'd like to have macro, I don't think this is the 
right time now. Closing the gaps is more important.


More information about the Digitalmars-d mailing list