CobaltC, C의 후계자? 메모리 안전성과 명시적 소유권을 갖춘 새로운 시스템 프로그래밍 언어
CobaltC – The Successor to C?
CobaltC는 명시적 소유권, 결정적 파괴, 컴파일러 검증 대여, 추론된 수명, 명시적 null 가능성, 경계 안전 연산, 구조적 오류 처리, 안전한 동시성, 명시적 안전하지 않은 연산 및 명시적 외부 함수 인터페이스를 제공하는 정적으로 타입이 지정된 시스템 프로그래밍 언어입니다. 이 언어는 예측 가능한 리소스 관리, 강력한 메모리 안전성, 네이티브 실행 및 저수준 기능과의 통제된 상호 작용이 필요한 소프트웨어를 대상으로 합니다. CobaltC는 추적 가비지 컬렉션을 요구하지 않습니다.
안전한 CobaltC 연산은 일반적인 사용만으로는 정의되지 않은 동작을 도입해서는 안 됩니다.
HN 토론
22- ethin
이건 내가 보기에 ChatGPT가 쓴 게 너무 뻔하다. 복사 편집하려는 시도조차 없어. 내가 뭔가 놓친 게 아니라면 말이지.
- pizlonator
이건 Rust와 의미 있게 다르지 않은 것 같은데.
> 추적 가비지 컬렉션을 요구하지 않음
그냥 가비지 컬렉션이라고 불러.
(두 가지 방식으로 적용됨: 가비지 컬렉션이 참조 카운팅을 포함한다고 생각한다면, 이 언어는 참조 카운팅도 요구하지 않는다는 점에서 가비지 컬렉션을 요구하지 않는 것이다; 가비지 컬렉션이 참조 카운팅을 포함하지 않는다고 생각한다면, 두 단어로 말할 수 있는데 세 단어를 말할 이유가 없다.)
- ronsor
이걸 읽기 전에, C3 [0]에서 마음에 안 드는 게 뭐야?