Project Verona

El Proyecto Verona es un lenguaje de programación diseñado para estar a salvo de la corrupción de memoria y otros comportamientos indefinidos. Para ello, utiliza un sistema de tipos basado en la propiedad y el préstamo, que permite al programador expresar las relaciones entre distintas piezas de datos. Este sistema de tipos es aplicado por el compilador, de modo que los programas que no siguen las reglas no pueden ser compilados. El proyecto Verona está aún en fase de desarrollo y no está listo para la producción. Sin embargo, promete ser un lenguaje que podría utilizarse para escribir software seguro y fiable.