Project Verona

Le projet Verona est un langage de programmation conçu pour être sûr contre la corruption de la mémoire et d'autres comportements indéfinis. Pour ce faire, il utilise un système de types basé sur la propriété et l'emprunt, qui permet au programmeur d'exprimer les relations entre différents éléments de données. Ce système de types est appliqué par le compilateur, de sorte que les programmes qui ne respectent pas les règles ne peuvent être compilés. Le projet Verona est toujours en cours de développement et n'est pas encore prêt à être utilisé en production. Cependant, il est prometteur en tant que langage qui pourrait être utilisé pour écrire des logiciels sûrs et fiables.