@pry Backus talks about how the current CPU design hinders alternative ways of programming because they might not map well to the current CPU/RAM style architecture where you branch and jump to labels and things.
That Bret Victor talk is excellent btw, I'm due for a rewatch.
@neauoire I suppose I wonder what an alternative CPU / assembly model looks like? a stack machine? I don't really know what a functional cpu would look like. maybe I should look into lisp machines