Project Verona es un lenguaje de programación de investigación experimental desarrollado por Microsoft y destinado a lidiar con situaciones de memoria para hacer que otros lenguajes de programación sean más seguros. [2] [1]
Paradigma | Programación de infraestructura segura |
---|---|
Familia | Como el óxido |
Diseñada por | Microsoft Research , Imperial College de Londres |
Apareció por primera vez | 2019 |
Plataforma | Multiplataforma |
SO | Linux , Windows , Darwin |
Licencia | Licencia MIT |
Extensiones de nombre de archivo | .verona |
Sitio web | www |
Influenciado por | |
Óxido , ciclón , poni [1] |
El proyecto cuenta con el apoyo del director de proyectos de C # Mads Torgensen [3] y la ingeniera de software de investigación de Microsoft Research Cambridge Juliana Franco. [4] El Proyecto Verona también cuenta con la ayuda de académicos del Imperial College de Londres . [1] A diferencia de Rust, donde el modelo de propiedad se basa en un solo objeto, en Verona se basa en grupos de objetos. [4]
Según Microsoft, el objetivo del proyecto es crear una plataforma más segura para la gestión de la memoria . [2]
Project Verona es de código abierto publicado bajo licencia MIT y está en desarrollo activo en GitHub . [5]
Ver también
Referencias
- ^ a b c Tung, Liam. "Microsoft abre el lenguaje de programación Project Verona inspirado en Rust en GitHub" . ZDNet .
- ^ a b Jones, Luke (17 de enero de 2020). "Proyecto Verona basado en Rust de Microsoft llega a código abierto en GitHub" . WinBuzzer .
- ^ Tung, Liam. "Microsoft: He aquí por qué nos encanta el lenguaje de programación Rust y lanzamos Project Verona" . ZDNet .
- ^ a b Tung, Liam. "Microsoft: estamos creando un nuevo lenguaje de programación similar a Rust para la codificación segura" . ZDNet .
- ^ "GitHub - microsoft / verona: lenguaje de programación de investigación para propiedad concurrente" . GitHub .