This theory would make for an interesting study of cultural preferences of programming languages, static/dynamic, functional/object-oriented, post/pre/infix, etc.