Get the latest tech news
Programming Language Theory has a public relations problem
Programming Language Theory (PLT) is one of my favourite areas of computer science yet I feel it's one of the most misunderstood by outsiders. It's full ...
PLT can be done and appreciated as a pure maths subject, just like a beautiful construction proving an intricate topological theorem, or a stunning painting. Instead of building theorem-upon-theorem like in other mathematical fields, PLT researchers tend to adapt and modify each other's proof methods for their own ground-up constructions. Be honest and tell people that big part of motivation for PLT work is its inherent beauty and immediate applicability in software engineering scenarios is not the goal.
Or read this on Hacker News