Especificación de Gramática para un Nuevo Lenguaje de Programación

Este documento define meticulosamente las reglas gramaticales para un nuevo lenguaje de programación, cubriendo varios aspectos como tipos, expresiones, patrones, definiciones de funciones y definiciones de tipos. Una serie de reglas gramaticales libres de contexto (notación BNF) describen con precisión la estructura del lenguaje, proporcionando una base sólida para la implementación de compiladores e intérpretes. Este potente lenguaje admite funciones avanzadas como la programación funcional, la coincidencia de patrones y la inferencia de tipos.