Marketing of D - article topic ideas?

[bearophile]

Adam Ruppe:
> (and I'd love if it the compiler could catch some of those asserts at
> compile time if it can prove it! I'm thinking that perhaps some
> extensions to value range propagation could to the trick.)

There's lot of space for improvements here. But those inferences take time, while the compiler must be fast enough. To solve this it can be useful a progressive compilation (partial compilation while you type the code, as some IDEs do).

Bye,
bearophile