Linguistics and Compilers by Ken Miller

Compilers are tools typically used to create binary we call software. Kenneth Miller has some interesting thoughts on extending the metaphor (and tools) to both human and programming languages.

After a brief introduction of existing compiler technology, Kenneth discusses his ideas that include:

• type checking natural languages

• probabilistic type inference

• linguistic analysis algebra

Leading to some interesting tools and conclusions.