La sintaxis de declaración de tipos varía significativamente entre los lenguajes de programación modernos, reflejando influencias históricas y decisiones de diseño específicas. La mayoría de los lenguajes actuales, como Java, C# y D, han adoptado la sintaxis de C, aunque esta puede generar ambigüedades en la gramática, especialmente al combinar tipos definidos por el usuario con typedef. Esta mezcla rompe la naturaleza libre de contexto de la gramática, complicando el análisis sintáctico de expresiones como foo (*x).
Alternativamente, lenguajes como Go y Rust utilizan enfoques que tratan el tipo como una expresión autocontenida. Go emplea la estructura 'identificador tipo', permitiendo que el tipo sea una expresión compuesta (como *T o []T) mientras el identificador es un único token. Esto elimina ambigüedades comunes en C, aunque requiere un diseño cuidadoso del resto del lenguaje para evitar conflictos de parsing. Por su parte, Rust y ML utilizan la sintaxis 'identificador : tipo', donde el tipo se define como una expresión algebraica, similar a un Prolog embebido, con un fuerte enfoque en tipos de datos algebraicos y referencias en lugar de punteros.
La sintaxis con el punto y coma (:) es popular en lenguajes como TypeScript, Python y Swift, aunque su uso en Python es controversial debido a la ambigüedad con el operador de asignación. Finalmente, Haskell utiliza 'identificador :: tipo' para evitar conflictos con el operador cons, priorizando la claridad sintáctica sobre la concisión. Cada enfoque ofrece ventajas y desventajas en cuanto a legibilidad, ambigüedad y capacidad de modelado de tipos complejos.