A compiler is, at a high level, just a function. And most architectural breakdowns of compilers turn them into sequences of functions, like:

    link(codegen(analyze(typecheck(parse(lex(source))))))

And compilers are one of the easiest kinds of programs to write naturally in a functional language.