El artículo "What Color is Your Function?" es un experimento mental provocador diseñado para ilustrar los desafíos que enfrentan los diseñadores de lenguajes de programación al introducir restricciones rígidas en la estructura del código. A través de una metáfora humorística, el autor presenta un lenguaje hipotético donde cada función debe asignarse a una de dos categorías: roja o azul, con reglas estrictas que dictan su sintaxis de llamada y su capacidad de anidamiento.
En este escenario hipotético, las funciones rojas son intrínsecamente "dolorosas" de invocar y solo pueden ser llamadas desde otras funciones rojas. Por el contrario, las funciones azules son más flexibles. Sin embargo, el lenguaje obliga a que ciertas funciones del núcleo (bibliotecas estándar) sean rojas, creando un conflicto inevitable. El problema central surge con las funciones de orden superior (higher-order functions), es decir, aquellas que aceptan otras funciones como argumentos (como un filter que procesa una lista según un predicado). Al intentar hacer que estas funciones sean reutilizables, el programador se encuentra atrapado en una trampa de colores: si la función contenedora es azul, no puede llamar a funciones rojas del núcleo; si es roja, no puede aceptar funciones azules de los usuarios. Esto hace que la reutilización de código y la modularidad se vuelvan tediosas y propensas a errores.
Aunque no es una propuesta de lenguaje real, esta alegoría sirve como herramienta pedagógica para entender conceptos como los sistemas de tipos estáticos y la propiedad de "ownership" (como en Rust). Muestra cómo las restricciones de diseño, aunque intencionalmente seguras, pueden obstaculizar la programación funcional y la abstracción si no se gestionan con cuidado. El texto concluye que la complejidad innecesaria en la sintaxis o en las reglas de tipos puede ser tan frustrante como una pesadilla infantil, recordándonos que la simplicidad y la flexibilidad son vitales para una buena experiencia de desarrollo.