Grafting Functional Support on Top of an Imperative Language

[Brian Palmer]

This is a great set of slides and I think it explains really clearly the "why" of D 2.0's const/invariant system. I wish there was a video of Andrei giving the presentation available.

I'm a systems/web programmer but I have a heavy background in FP, and I *love* where D 2.0 is going. To me the automatic multiprogramming, while awesome, is really just another side benefit. Even single-threaded code will see a huge benefit from the guarantees of purity that the compiler can give with this pure/invariant/const system in place. Reading through these slides has just make me even more excited.