En este vídeo ensayo, el desarrollador Marcos Magueta sostiene que la sintaxis de un lenguaje de programación no debería ser un conjunto arbitrario de atajos heredados de otros lenguajes, sino un reflejo fiel de las abstracciones que el lenguaje ofrece. La idea central es que cada decisión sintáctica debe comunicar la intención semántica: por ejemplo, una expresión let ... in ... proveniente de la familia ML no equivale a una asignación al estilo de C, sino que modela sustitución lambda, donde los nombres quedan ligados al ámbito de la expresión siguiente. De ese modo, let se acerca más a una función que a una variable suelta.
Magueta ilustra el argumento mientras porta un núcleo de base de datos de C++ a Oko, un lenguaje con raíces en ML y en el cálculo lambda, y muestra cómo la sintaxis diferencia entre enlaces dentro de un módulo y enlaces dentro de una expresión. Compara también la sintaxis de Lisp, donde un let es literalmente una lista de listas de pares nombre-valor, y el uso de closure, que admite vector, mapa u otras estructuras como notaciones alternativas para el mismo concepto de enlace. Cada forma sintáctica, afirma, debería invitar al lector a interpretar el código de manera coherente con la arquitectura abstracta del lenguaje.
El vídeo cierra con una crítica a lenguajes como JavaScript, cuya sintaxis, según el autor, intenta imitar la familia C por familiaridad en lugar de expresar con precisión su modelo de ejecución en el navegador. Para Magueta, la sintaxis con propósito no es decoración: es la interfaz entre la semántica del lenguaje y quien lo lee.