Can Programming Be Liberated from the von Neumann Style?