Anytime I hear about literate programming I think about how mathematicians worked for centuries to encode math symbolically. If you look at the ancient math texts it was all word problems and it was just awful. 
One of the coolest things about math is how the symbolic representation of the problem allows your mind to work out solutions with less effort. 
 I think the future of programming looks more like math than english.