لغة البرمجة Verona هي لغة برمجة بحثية مطورة بواسطة Microsoft Research، والتي تم إصدارها لأول مرة في عام 2019. تتميز Verona بتصميم موجه نحو التملك المتزامن (Concurrent Ownership)، وهي تقنية تهدف إلى تمكين البرمجة المتزامنة بطريقة آمنة وفعالة.
يمكن العثور على معلومات إضافية حول Verona على موقعها الرسمي هنا، حيث يتم تقديم تفاصيل عن اللغة وميزاتها. تعتبر Verona لغة بحثية، ولذلك قد لا تكون مستخدمة على نطاق واسع في التطبيقات العملية، ولكنها تقدم فرصة للباحثين والمطورين لاستكشاف تقنيات جديدة في مجال برمجة التملك المتزامن.
تسعى Verona لتوفير ميزات تسهل كتابة البرامج بطريقة صحيحة وفعالة، مثل توفير تعليقات الصفوف وتعقيم البيانات والتعليقات الخطية. يمكن العثور على تفاصيل أكثر حول اللغة وميزاتها من خلال استعراض مستودعها على GitHub هنا، حيث يتم توفير وثائق وأمثلة ومساهمات المجتمع.
على الرغم من أن Verona لا تزال في مرحلة البحث والتطوير، إلا أنها تمثل مجالًا مثيرًا للاهتمام للباحثين والمطورين الذين يرغبون في استكشاف مفاهيم برمجة التملك المتزامن وتطبيقاتها المحتملة في المستقبل.