> The absolute killer app is compilers, static analyzers, and similar. In other words, those problems that don't involve users and the outside world. Pure lan

> The absolute killer app is compilers, static analyzers, and similar. In other words, those problems that don't involve users and the outside world. Pure languages for pure problems. Impure languages for impure problems. It computes.