Project Verona

Project Verona
패러다임안전한 인프라 프로그래밍
계열러스트 계열
설계자마이크로소프트 리서치,
임페리얼 칼리지 런던
발표일2019년(7년 전)(2019)
플랫폼크로스 플랫폼
운영 체제리눅스, 윈도우, 다윈
라이선스MIT 허가서
파일 확장자.verona
웹사이트www.microsoft.com/en-us/research/project/project-verona (깃허브)
영향을 받은 언어
러스트, 사이클론, 포니

Project Verona는 마이크로소프트에서 개발한 실험적인 연구용 프로그래밍 언어이다.

이 프로젝트는 C 샤프 프로젝트 관리자인 매즈 토르게센(Mads Torgensen)과 마이크로소프트 리서치 케임브리지 연구 소프트웨어 엔지니어인 줄리아나 프랑코(Juliana Franco)가 지원하고 있다. 또한 Project Verona는 임페리얼 칼리지 런던의 학계 연구진들로부터도 도움을 받고 있다. 소유권 모델이 단일 객체를 기반으로 하는 러스트와 달리, 베로나(Verona)에서는 객체 그룹을 기반으로 한다.

마이크로소프트에 따르면, 이 프로젝트의 목표는 더 안전한 메모리 관리 플랫폼을 만드는 것이다.

Project Verona는 MIT 허가서로 공개된 오픈 소스 프로젝트이며 깃허브에서 활발히 개발 중이다.

예제

while_sum(x: List[U32]) : U32
{
  var sum: U32 = 0;
  let iter = x.values();

  while { iter.has_value() }
  {
    // This has to be `a`, same as in the for loop above
    let a = iter();

    // Increments the iterator
    next iter;

    // This is the body of the for loop
    sum = sum + a
  }

  sum
}

같이 보기

각주

외부 링크