Если посмотреть ещё на предыдущий абзац: "functional languages are all about doing as much as possible at the compile time" -- то Common Lisp (приличная часть использования макросов) и C++ (шаблоны) получаются куда более функциональные чем, например, Erlang.