Andrei's list of barriers to D adoption

[Andrei Alexandrescu via Digitalmars-d]

On 6/8/16 3:43 PM, Timon Gehr wrote:
> On 08.06.2016 01:59, Walter Bright wrote:
>> ...
>>
>> I suspect D has long since passed point where it is too complicated for
>> the rather limited ability of mathematicians to prove things about it.
>
> The main reason why it is currently impractical to prove things about D
> is that D is not really a mathematical object. I.e. there is no precise
> spec.

Walter and I have spoken about the matter and reached the conclusion 
that work on a formal spec (be it in legalese, typing trees, small step 
semantics etc) on a reduced form of D would be very beneficial.

We are very much supportive of such work.


Andrei