A language for parallel programming
I love it when very smart people make very silly statements, such as "we don't have a language for modeling highly concurrent systems". The reason why I find this humorous is that for the history of language humans have used it to model the most highly concurrent system of which they are aware, their place in the universe. Our brains developed to model and manage a fully realtime, highly concurrent, dynamic environment; one filled with all sorts of things that want to eat us, kill us, fuck us, or buy us lunch (or any combination thereof).
Take the sentence:
While I was talking, you were staring off into space, thinking about what you were going to say next.
In this sentence, we model two actors, both performing a continous ongoing action, and one actor explicitly multitasking. "While I was talking" is a subordinate clause in the imperfect subjunctive. The verb talking is imperfect because the action is not complete during the frame of reference. The clause is subjunctive in that it contextualizes the primary predicate with regards tithe speaker, the relation being defined by the preposition "while". . The main subject of the sentence is a 2nd person pronoun, referencing the audience of the speaker. This is no different from any local variable or formal parameter in any number of programming languages, and is a basic form of indirect symbolic reference.
The subject of the sentence is engaged in two parallel tasks, one is an imperfect motor control task, "staring", while the other an imperfect task,"thinking", with an optative subtask, "going to say". Not only are we modeling ongoing state, but also modeling its relationship to potential future states. Since the subject of the sentence may not say what they were going to say, out language allows us to account for potentially discarded work in an untamed branch.
Probably most significant is the fact this entire sentence is in the past tense. Because of this, we are able to model the previous state of the system, and describe it's behavior after the fact. It is as if one could say in a running system, here were some additional values now can I have the answer? This sort of modeling may not be useful with current computers, but may be a natural fit for quantum devices