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
