There are a lot of interesting resonances between theoretical linguistics and programming language theory. An obvious one is Subject Verb Object order: dog.bit

There are a lot of interesting resonances between theoretical linguistics and programming language theory. An obvious one is Subject Verb Object order: dog.bite(man) or bite(dog, man) Another one is the Liskov substitution principle and hyponym substitution. Or polymorphism and word sense disambiguation. There's also a scope thing with co-reference resolution and global variables.