Today we talked about program analysis, the field I work in, and an excellent application of compiler knowledge and functional programming.