مایکروسافت زبان برنامه نویسی مبتنی بر زنگ جدید را توسعه می دهد

مایکروسافت ، به عنوان بخشی از یک پروژه آزمایشی ورونا ، در حال توسعه یک زبان برنامه نویسی جدید مبتنی بر زبان Rust است و بر توسعه برنامه های ایمن که مستعد مشکلات امنیتی معمولی نیستند ، متمرکز شده است. کد منبع تحولات فعلی مربوط به پروژه ، در آینده نزدیک قرار است با مجوز Apache 2.0 باز شود.

امکان استفاده از زبان توسعه یافته ، از جمله پردازش مؤلفه های سطح پایین ویندوز به منظور مسدود کردن مشکلات احتمالی که هنگام استفاده از زبان های C و C ++ وجود دارد ، در نظر گرفته شده است. امنیت کد توسط مدیریت خودکار حافظه تقویت می شود ، که توسعه دهندگان را از نیاز به دستکاری نشانگرها محافظت می کند و در برابر مشکلات ناشی از کار در سطح پایین با حافظه ، مانند دسترسی به یک فضای حافظه پس از آزاد سازی ، دفع اشاره گرهای پوچ و خارج شدن از بافر محافظت می کند.

تفاوت اصلی بین ورونا و زنگ در استفاده از یک مدل مالکیت مبتنی بر گروه از اشیاء است نه اشیاء مجرد. داده ها در ورونا به عنوان ساختارهایی نمایانگر مجموعه اشیاء در نظر گرفته می شوند. وام های بازرسی و کنترل مالکیت با همکاری گروهی از اشیاء انجام می شود که این امر باعث می شود امنیت در حین دستکاری با سازه های کامپوزیت تضمین شود و سطح انتزاع را که معمولاً در توسعه استفاده می شود ، بهتر نشان دهد.