There's no way a proprietary environment can be the future of programming, but Wolfram does have the right ideas. Ctrl-F for "symbolic" in that page returns 14 results. The way I interpret it, they're aiming (rightly) to dismount programming from its local maxima in expressivity that is plaintext--a feat that Lisp and Smalltalk and a horde of gimmicky visual languages* couldn't do. Wolfram Language won't succeed here…
The way I interpret it, they're aiming (rightly) to dismount programming from its local maxima in expressivity that is plaintext Where do you get this idea, out of curiosity? Every demonstration of Wolfram Language I've seen has been plain text. And what makes you think they'll get farther than everyone else?
Now in the Wolfram Language REPL they have some rich input capabilities like http://reference.wolfram.com/language/example/BooleanOperati... . I suspect these are still underpinned by plaintext dumps internally, though, judging by http://reference.wolfram.com/language/tutorial/VariablesInPu... .
I should have said that they've gotten farther than anyone else so far, perhaps, but I haven't tried WL yet, so who knows?