The future of programming, or what lies in the future in programming?

Posted by prosseek on Stack Overflow See other posts from Stack Overflow or by prosseek
Published on 2010-03-11T18:37:00Z Indexed on 2010/03/11 18:39 UTC
Read the original article Hit count: 287

Filed under:

programming-languages

|

formal-verification

|

subjective

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?

© Stack Overflow or respective owner

Related posts about programming-languages

Which order would you teach programming languages in, when teaching a newbie?

as seen on Programmers - Search for 'Programmers'
If you had to design a study program, with a breadth-of-programming-languages requirement, which stated that the student should be exposed to all major concepts and methodologies that can be taught through (at the minimum) 6 programming languages, which programming languages would you choose to teach… >>> More
Extending Programming Languages

as seen on Stack Overflow - Search for 'Stack Overflow'
(Since I just posted this in another question, but my browser had to be annoying and submit it without content first, here it is again:) I'm a fan of clean code. I like my languages to be able to express what I'm trying to do, but I like the syntax to mirror that too. For example, I work on a lot… >>> More
Facebook Game Development - Which Programming languages?

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi folks, I am going to develop a facebook game as topic for my thesis. I am wondering which programming languages i should choice. I am used to programming in .NET. But i am also comfortable in C++ and Java. I don't want to use Flash as the graphical frontend since i don't like it. So i guess… >>> More
Objective-measures of the power of programming languages

as seen on Stack Overflow - Search for 'Stack Overflow'
Are there any objective measures for measuring the power of programming languages? Turing-completeness is one, but it is not particularly discriminating. I also remember there being a few others measures of power which are more limited versions (like finite-state-autonoma), but is there any objective… >>> More
Extending Programming Languages [closed]

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm a fan of clean code. >>> More

Related posts about formal-verification

The future of programming, or what lies in the future in programming?

as seen on Stack Overflow - Search for 'Stack Overflow'
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… >>> More
Splitting a test to a set of smaller tests

as seen on Stack Overflow - Search for 'Stack Overflow'
I want to be able to split a big test to smaller tests so that when the smaller tests pass they imply that the big test would also pass (so there is no reason to run the original big test). I want to do this because smaller tests usually take less time, less effort and are less fragile. I would like… >>> More
Should I use formal methods on my software project?

as seen on Stack Overflow - Search for 'Stack Overflow'
Our client wants us to build a web-based, rich internet application for gathering software requirements. Basically it's a web-based case tool that follows a specific process for getting requirements from stakeholders. I'm the project manager and we're still in the early phases of the project. I've… >>> More
Tool to write linear temporal logic from UML 2.0 sequence diagram

as seen on Stack Overflow - Search for 'Stack Overflow'
i am working on checking model consistency of software. to do this i need to write linear temporal logic for UML 2.0 sequence diagram. if any body have any other tool for the same please response as soon as possible. I will be very obliged to you. i have found charmy tool have plugin for the same… >>> More
Where to find clients who are willing to pay top dollar for highly reliable code?

as seen on Programmers - Search for 'Programmers'
I'm looking to find clients who are willing to pay a premium above usual contractor rates, for software that is developed with advanced tools and techniques to eliminate certain classes of bugs. However, I have little experience of contracting, and relatively few contacts. It's important to state… >>> More