Microsoft fel rhan o brosiect peilot Verona iaith raglennu newydd yn seiliedig ar yr iaith Rust ac sy'n canolbwyntio ar ddatblygu cymwysiadau diogel nad ydynt yn destun problemau diogelwch nodweddiadol. Mae testunau ffynhonnell datblygiadau cyfredol sy'n gysylltiedig Γ’'r prosiect wedi'u cynllunio yn y dyfodol agos trwyddedig o dan Apache 2.0.
y gallu i ddefnyddio'r iaith sy'n cael ei datblygu, gan gynnwys ar gyfer prosesu cydrannau lefel isel Windows er mwyn rhwystro problemau posibl sy'n codi wrth ddefnyddio'r ieithoedd C a C++. Mae diogelwch cod yn cael ei wella gan reolaeth cof awtomatig, sy'n dileu'r angen i ddatblygwyr drin awgrymiadau ac amddiffyn rhag problemau sy'n deillio o drin cof lefel isel, megis mynediad Γ΄l-rydd, dadgyfeiriadau pwyntydd nwl, a gor-redeg byffer.
Y prif wahaniaeth rhwng Verona a Rust yw'r defnydd o'r model seiliedig ar grwpiau o wrthrychau yn hytrach na . Mae data yn Verona yn cael ei drin fel strwythurau sy'n gasgliadau o wrthrychau. Cynhelir gwiriadau benthyca a gwiriadau perchnogaeth mewn perthynas Γ’ grΕ΅p o wrthrychau, sy'n helpu i sicrhau diogelwch wrth drin strwythurau cyfansawdd ac yn adlewyrchu'n well lefel y tynnu a ddefnyddir yn nodweddiadol mewn datblygiad.
Ffynhonnell: opennet.ru