Vera: 기계가 작성하는 프로그래밍 언어
Vera는 대형 언어 모델이 코드를 작성하기 위해 설계된 새로운 프로그래밍 언어입니다. 명확성과 검증 가능성을 중시하며, 모든 함수에 계약(Contract)과 효과(Effect)를 명시적으로 선언해야 해요. 기계가 코드를 더 안전하게 작성할 수 있도록 돕는 혁신적인 언어랍니다! WebAssembly로 컴파일되어 브라우저와 커맨드라인에서 실행 가능하니, 미래의 프로그래밍이 궁금하다면 Vera를 주목해보세요.