Then he goes on to describe his real problem: struggling with C++ templates to write a generic parser. Which is sort of ironic since functional languages are great for writing parsers.