D: An Up and Coming Embedded Software Language

[bearophile]

Walter Bright:
> And on Reddit:
> http://www.reddit.com/r/programming/comments/ckxjv/d_an_up_and_coming_embedded_software_language/

Someone can write an answer to this:
http://www.reddit.com/r/programming/comments/ckxjv/d_an_up_and_coming_embedded_software_language/c0tbaln

Some partial comments:
- The usage of override keyword will probably become obligatory in D, even when you don't use -w, see bug 3836.
- Templates are not the best thing, but type classes can require a new type system and C++ programmers need to learn them.
- Using templates instead of OOP: void foo(T)(T x, T y) if (isNumeric!T) {}
- "Additionally, type equality of different values should be expressible in the type system." I don't know if this refers to structural typing, but D is designed differently. For nominative equality you can use is(T == U).
- The D variable/type declaration syntax is not the best possible, the Go one looks a bit better, but...

Bye,
bearophile