Project Verona - Nytt programmeringsspråk baserat på Rust

Project Verona - Nytt programmeringsspråk baserat på Rust

Rust byggdes från grunden av element från beprövade systemprogrammeringsspråk och modern programmeringsspråksdesign. Det kombinerar den typiska syntaxen för högnivåspråk med kontrollen och prestandan för ett lågnivåspråk. Det förhindrar också segmenteringsfel och garanterar säkerhet i flertrådade program. Med Rust kan programmerare skapa programvara som är mindre utsatta för buggar och säkerhetsutnyttjande. Mozilla var den första investeraren i Rust och sponsrar den vidare utvecklingen som sker som öppen mjukvara. Mozilla använder själva mycket Rust i utvecklingen av sin webbläsare Firefox.

Rusts egenskaper som även gör det mycket passande för utveckling av delar av operativsystem har Microsoft fått upp intresset för då Windows länge har varit en attackvektor för illasinnade. Speciellt minneshanteringen är det som oftast attackeras i Windows. Rust har inbyggd funktionalitet för att stoppa många typer av säkerhetshål i just minneshanteringen.

Microsoft har valt att utveckla ett nytt språk baserat på Rust och detta projekt kallas Project Verona. Språket i ett experimentstadie men tanken, som jag förstår, är att utveckla nya specifika delar av Windows med detta nya språk. Även Project Verona kommer att släppas som öppen källkod.

Jag lägger till ett citat från Mathew Parkinson (forskare på Cambridge Computer Lab i Storbrittanien), som beskriver en av skillnaderna mellan Project Verona och Rust.

"It's really hard to do memory management. Temporal memory safety is very difficult if you have arbitrary concurrent mutation.

The ownership model in Verona is based on groups of objects, not like in Rust where it's based on a single object. In C++ you get pointers and it's based on objects and it's pretty much per object. But that isn't how I think about data and grammar. I think about a data structure as a collection of objects. And that collection of objects as a lifetime.

So by taking ownership at the level of ownership of objects, then we get much closer to the level of abstraction that people are using and it gives us the ability to build data structures without going outside of safety."

Det ska bli mycket intressant att se vart detta tar vägen.

Här är presentationen där det först nämndes:
https://vimeo.com/376180843