More D newb questions.

[Bruce Adams]

On Thu, 08 May 2008 19:38:40 +0100, Me Here <p9e883002 at sneakemail.com>  
wrote:

> BCS wrote:
>
>> Reply to Me,
>>
>> > 3. Can type systems handle the 'natural' extension of
>> >T[] ~ T[] -> T[];
>> >T[] ~ T   -> T[];
>> >T   ~ T[] -> T[];
>> >T   ~ T   -> T[];
>> > Closed. (Yes).
>> >
>> > 4. Can D's type system handle this - Open.
>>
>> I think that one is closed: yes it can, but as you point out, it wont.
>> Because it causes inconstancies.
>
> Surely, if it causes inconsistancies, the D's type system *isn't*  
> handling it?
>
> (And I promise not to call you Shirly again :)
>
> b.

I Invoke Godel. For any sufficiently complex system there will always be
inconsistancies. You can please some of the people all of the time...