Roadmap de V++
El camino para que V++ —el primer lenguaje de programación mexicano— alcance y supere a C, C++, Rust y Python. Esta página distingue con honestidad lo que ya está logrado de lo que está en construcción. Nada se afirma sin verificar; cada avance se prueba en vivo antes de anunciarse.
Superar a los grandes lenguajes no es una sola meta, son varios frentes: velocidad nativa (C/C++), seguridad de memoria sin recolector de basura (Rust), concurrencia segura (Rust/Go), sistema de tipos con abstracciones de costo cero, manejo de errores del lenguaje y ecosistema de herramientas. V++ ya cruzó el umbral más difícil —se compila a sí mismo a binario nativo sin ningún compilador de C— y desde ahí ataca cada frente por una ruta 100% propia y propia.
Hecho Verificado
Esto no es promesa: es código que puedes descargar, ejecutar y verificar hoy.
V++ se autohospeda a binario nativo, sin ningún compilador de C
El compilador de V++ está escrito en V++ y genera binarios ARM64 nativos por una ruta 100% propia, sin usar ningún compilador de C. Es el umbral que el 95% de los lenguajes jamás cruza — la base sobre la que se construye todo lo demás.
Toda la biblioteca estándar compila a máquina nativa
Los 62 módulos de la biblioteca estándar y sus 999 pruebas compilan a código máquina nativo, con salida idéntica al intérprete. Ya no queda nada que dependa de andamios externos.
Optimizador propio, escrito en V++
Un optimizador escrito en el propio lenguaje: fusión de pila, colapso del acceso a locales, retargeteo de operandos y suma en línea. La ruta nativa propia corre ~3.4× más rápido que el código sin optimizar, todo sin compiladores externos.
Herramientas del lenguaje, todas escritas en V++
Validador de pruebas, analizador estático (linter), sellado en la cadena BlockCEOO y el hash propio HUUN'AB-512 — todos implementados en V++ y corriendo sobre el motor nativo. Ejecutar, compilar, optimizar, validar, analizar y sellar son ya tareas del propio lenguaje.
Más rápido que Python
Mismo programa, salida idéntica: el motor nativo de V++ corre 22× más rápido que el intérprete de Python, y compilado a código nativo alcanza ~200× — la velocidad de C.
En construcción Ruta abierta
Los frentes que faltan para alcanzar y superar a C, C++ y Rust, con su estado real — sin humo.
Backend nativo optimizador
Para emitir aritmética 100% nativa (a la altura de C/C++) falta la asignación de registros y la inferencia de tipos en el backend. Es la pieza que cierra la brecha de velocidad con los compiladores de sistemas.
Sistema de tipos con genéricos
Inferencia de tipos y genéricos para lograr abstracciones de costo cero. Ya implementado: genéricos por monomorfización de fuente (herramienta vppgen: una estructura genérica se expande a versiones por tipo, como las plantillas de C++), y un verificador de traits (vpptraits, conformidad estructural). Falta la verificación de tipos en compilación y el despacho dinámico. Nota honesta de velocidad: la aritmética entera ya es nativa (sdiv/mul); la brecha real frente a C es la asignación de registros (modelo de máquina de pila), no las comprobaciones de tipo.
Modelo de memoria seguro, sin recolector de basura
Seguridad de memoria al estilo ownership (posesión) y regiones: garantías en tiempo de compilación que evitan fugas y accesos inválidos sin pagar el costo de un recolector de basura. Es el terreno donde Rust marca la diferencia. Ya implementado y verificado: las regiones (region: … fin) recuperan memoria de forma determinista y a costo cero en la ruta nativa — un bucle que desbordaría el heap corre en memoria acotada. La verificación de escape (impedir usar datos de la región tras cerrarla) ya está implementada como analizador estático conservador, y un checker de uso-tras-mover (vppmove, convención mover(x)) da el primer eslabón del análisis de posesión. Falta el borrow-checker completo (préstamos, lifetimes) al estilo Rust.
Concurrencia segura
Modelo de concurrencia que impida por diseño las condiciones de carrera de datos — paralelismo aprovechado con seguridad garantizada por el lenguaje. Ya implementado y verificado: el modelo CSP (procesos secuenciales comunicantes) con tarea, canal, enviar y recibir — las tareas no comparten memoria mutable, se comunican por canales. El patrón productor/consumidor da resultado determinista en 100% de las corridas, sin condiciones de carrera. Además, un analizador estático de carreras (vpprace) ya detecta la captura de memoria mutable compartida en una tarea. Falta que esa verificación sea obligatoria en compilación como en Rust.
Manejo de errores como parte del lenguaje
Errores como valores, no como excepciones ocultas. Ya existe el tipo Resultado; falta integrarlo de forma completa y ergonómica en toda la sintaxis del lenguaje.
Ecosistema de herramientas
Editor con autocompletado (LSP), gestor de paquetes y depurador. Ya hay linter, generación de documentación y validador de pruebas; además Amoxkalli, la biblioteca propia de V++ — cada módulo (amox) se verifica por construcción con sus propias pruebas ejecutables. Falta completar el autocompletado y el depurador para una experiencia de clase mundial.
Correctitud y auditoría criptográfica externa
Aseguramiento formal de correctitud y auditoría criptográfica independiente. El hash propio HUUN'AB-512 sigue en borrador y debe pasar por revisión externa antes de considerarse listo para producción.
Cada avance se verifica con la suite completa, se registra en la bitácora y se publica. Estados: Hecho · En progreso · Arrancado · Parcial · Pendiente. Sigue el detalle en Novedades y descarga lo publicado en Descargas.