I’m interested in programming language theory but not as much in linguistics. There is some interesting overlap though. I think I like PLT because it is prescriptive, unambiguous and clear; whereas linguistics is an attempt to describe natural language, but has areas that are ambiguous and less clear (invisible green dragons sleep furiously, for one). This impedence mismatch is probably why natural language processing is such a difficult problem in computer science and why we tend to rely on AI for it.

Chomsky’s work in linguistics and grammars was incredibly important for computational parsing, be it source code or anything else. The Chomsky hierarchy (depicted and linked below) is important for developers writing parsers to know, because each category of grammar has different performance characteristics.