I just published the first pre-alpha explanatory text for my project to create a new programming language, Flow. You can read the draft description of the Flow Programming Language in The Flow Manifesto. (I haven’t had time to add pretty pictures there yet, unfortunately, so it’s a bit pithy. Hopefully you’re adept at visualizing directed acyclic graphs in your head.)
Flow aims to solve the multicore dilemma through implicit parallelization while guaranteeing against deadlocks and race conditions. Flow allows a safe form of imperative programming (unlike most strongly implicitly parallelizing languages, which are typically purely functional).
Actually Flow is more like a new and subtly different programming paradigm upon which many languages could be built than it is a single language, though I’m working on a reference language that implements Flow semantics.
