Project Verona

Projekt Verona je programovací jazyk navrhnutý tak, aby bol bezpečný pred poškodením pamäte a inými nedefinovanými správaniami. Dosahuje to pomocou typového systému založeného na vlastníctve a vypožičiavaní, ktorý umožňuje programátorovi vyjadriť vzťahy medzi rôznymi časťami údajov. Tento typový systém je vynucovaný kompilátorom, takže programy, ktoré nedodržiavajú pravidlá, nemožno skompilovať. Projekt Verona je stále vo vývoji a zatiaľ nie je pripravený na produkčné použitie. Ukazuje sa však ako sľubný jazyk, ktorý by sa mohol používať na písanie bezpečného a spoľahlivého softvéru.