CobaltC, C의 후계자? 메모리 안전성과 명시적 소유권을 갖춘 새로운 시스템 프로그래밍 언어

CobaltC – The Successor to C?

CobaltC는 명시적 소유권, 결정적 파괴, 컴파일러 검증 대여, 추론된 수명, 명시적 null 가능성, 경계 안전 연산, 구조적 오류 처리, 안전한 동시성, 명시적 안전하지 않은 연산 및 명시적 외부 함수 인터페이스를 제공하는 정적으로 타입이 지정된 시스템 프로그래밍 언어입니다. 이 언어는 예측 가능한 리소스 관리, 강력한 메모리 안전성, 네이티브 실행 및 저수준 기능과의 통제된 상호 작용이 필요한 소프트웨어를 대상으로 합니다. CobaltC는 추적 가비지 컬렉션을 요구하지 않습니다.

안전한 CobaltC 연산은 일반적인 사용만으로는 정의되지 않은 동작을 도입해서는 안 됩니다.

이 날의 다른 글

2026-08-31