¿Cómo se explica un concepto avanzado de informática a un niño de seis años? Este ensayo, escrito en primera persona por un académico vinculado a la programación funcional, narra una conversación espontánea con su hijo menor mientras leía la tesis de habilitación de Janis Voigtländer sobre teoremas libres. A partir de la pregunta del niño —«¿qué son los teoremas libres?»—, el autor introduce la idea de función como «máquina» que transforma una entrada en una salida, y describe los tipos como la especificación de qué entra y qué sale. La charla escala desde operaciones aritméticas simples hasta la posibilidad de introducir otras máquinas dentro de una máquina, un momento que el pequeño celebra con asombro.
Esa misma conversación inspira un juego didáctico: el juego de la máquina de funciones. Uno piensa una función y el otro propone entradas para adivinar qué transformación se aplica. El autor documenta qué funciones resultaron más fáciles o más difíciles para el niño —las funciones constantes, por ejemplo, le costaron porque asumía que la máquina siempre hacía algo con la entrada, igual que les ocurre a estudiantes universitarios de la asignatura de programación funcional del autor, que también tropiezan con la idea de una variable ligada que no aparece en el cuerpo de la expresión—.
El texto combina anécdota familiar con reflexión pedagógica sobre cómo los niños construyen intuiciones matemáticas, y por qué metáforas físicas y juegos colaborativos resultan más útiles que explicaciones abstractas. Es, a la vez, un retrato doméstico y una pequeña defensa de enseñar conceptos complejos con ejemplos concretos y mucha paciencia.