Project Verona

Projekt Verona ist eine Programmiersprache, die so konzipiert ist, dass sie sicher vor Speicherfehlern und anderem undefinierten Verhalten ist. Dies wird durch ein Typsystem erreicht, das auf Eigentum und Entlehnung basiert und dem Programmierer erlaubt, die Beziehungen zwischen verschiedenen Daten auszudrücken. Dieses Typsystem wird vom Compiler durchgesetzt, so dass Programme, die nicht den Regeln entsprechen, nicht kompiliert werden können. Das Projekt Verona befindet sich noch in der Entwicklungsphase und ist noch nicht für den produktiven Einsatz bereit. Es ist jedoch eine vielversprechende Sprache, die für die Erstellung sicherer und zuverlässiger Software verwendet werden könnte.