Project Verona

Projekt Verona je programovací jazyk navržený tak, aby byl bezpečný proti poškození paměti a dalším nedefinovaným chováním. Toho dosahuje pomocí typového systému založeného na vlastnictví a výpůjčkách, který programátorovi umožňuje vyjádřit vztahy mezi různými částmi dat. Tento typový systém je vynucován překladačem, takže programy, které nedodržují jeho pravidla, nelze zkompilovat. Projekt Verona je stále ve vývoji a zatím není připraven k produkčnímu použití. Ukazuje se však jako slibný jazyk, který by mohl být použit k psaní bezpečného a spolehlivého softwaru.