The future of programming, or what lies in the future in programming?
- by prosseek
I remember that a article that Microsoft uses formal verification to debug the Device Driver, and I also remember that Functional Programming removes much of the bug as it ensures stateless programming. And we all know about the multi-core.
I beleive all of them are future direction of programming or programming language.
Multi-core programming or parallel programming
Software Formal Verification
Functional Programming (as a mainstream?)
What do you think? What will be the future of programming?