Aceptamos Make como lenguaje funcional…
Vía Functional programming with GNU Make | Lambda the Ultimate.
Hace relativamente poco descubrí que los templates de C++ son un lenguaje Turing Completo (si vuelvo a encontrar el enlace ya lo pondré), ahora descubro que el lenguaje Make es un lenguaje funcional, no creo que nada más pueda sorprenderme…

