Microsoft Research arbeitet mit Project Verona an einer Sprache für sichere Infrastruktursoftware. Matthew Parkinson beschreibt das Vorhaben in einem am 26. November 2019 veröffentlichten Foliensatz zu Sicherheit und bestehendem Microsoft-Code.
Veränderbare Objektgruppen sollen als Regionen jeweils nur von einer Berechnung gleichzeitig genutzt werden. Unveränderbare Regionen können dagegen gemeinsam verwendet werden. Der Ansatz soll konkurrierende Änderungen verhindern und unterschiedliche Speicherverwaltungsverfahren je Region ermöglichen.
Compilerentwicklung noch nicht begonnen
Die Statusfolie bezeichnet die Laufzeitumgebung als ausgereift, Interpreter und Typprüfung aber als Prototypen. Mit dem Compiler war laut Folie noch nicht begonnen worden. Eine Veröffentlichung auf GitHub war angekündigt, nicht als bereits erfolgt dokumentiert.
Parallel nennt Parkinson Untersuchungen zu Rust sowie abgeschottete Bereiche für ältere Bibliotheken. Die Folien beschreiben den Forschungsstand von November 2019, keine fertige Programmiersprache für den Produktionseinsatz.