Andrei's list of barriers to D adoption

[Timon Gehr via Digitalmars-d]

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.