On Wednesday, 12 December 2012 at 21:05:05 UTC, Walter Bright
wrote:
On 12/12/2012 2:53 AM, foobar wrote:
One example that comes to mind is the
future version of JavaScript is implemented in ML.
Um, there are many implementations of Javascript. In fact, I
have implemented it in both C++ and D.
Completely besides the point.
The discussion was about using ML in real life, not what you
specifically chose to use. The fact that you use D has no baring
on your own assertion that ML is effectively dead. Fact is _other
people and organizations_ do use it to great effect.
Also, I said _future version_ of JS, meaning the next version of
the ECMAscript standard. ML was specifically chosen as it allows
to both be efficient and verify the correctness of the
implementation.
