Carbon

package Sample api;    

fn Main() -> i32 {
    Print("Hello, World!");
    return 0;
}

1. 개요

• 카본(Carbon)은 구글에서 개발 중인 다목적 범용 프로그래밍 언어이며, C++를 대체하거나 기존의 레거시 C++코드와의 상호 운용성 달성을 목표로 하고 있다.
• 공식 저장소에서는 "C++ successor"(C++ 후계자)라는 문구로 이를 표현하고 있다.[1]

2. 역사

3. 특징

4. 문법

4.1. 기본 자료형

• bool
• signed 또는 unsigned 정수 타입. Rust와 비슷하게 i32, u64[미구현] 등으로 표현한다. Carbon.Int(비트 수)[미구현]와 같이 표현하는 것도 가능하다. 부호 없는 정수는 Carbon.UInt(비트 수) 처럼 표기 가능하다.
• IEEE-754 부동소수점. f32, f64 등으로 표현한다.
• 문자열
• String UTF-8 valid한 문자열을 표현하는 바이트 배열. 이 점 역시 Rust와 유사하다.
• StringView 위의 String과 똑같지만 읽기 전용이라는 점이 다르다.

4.2. 복합 자료형

• 튜플: Rust와 상당히 유사한 튜플 자료형을 가지고 있다. (T, V) 처럼 사용할 타입을 지정할 수 있다.
• 구조체: 독특한 구조체 선언 및 리터럴 문법을 가지고 있다.
• 구조체 선언(타입)은 아래 처럼 필드(키)명이 반드시 .으로 시작한다. 그 외에는 Rust, JavaScript와 유사하다.
  {{{{.key1: i32, .key2: String}

• 구조체 리터럴은 아래처럼 =(대입 연산자)를 사용한다.
  {{{{.key1 = 123, .key2 = "hello"}

• 배열: Rust의 영향을 받았다. 5개의 요소를 가진 i32타입의 배열은 아래와 같이 선언한다.
  {{{#!syntax rust
  var arr: [i32; 5] = (1, 2, 3, 4, 5);
  }}}
• 이때 r-value로 들어간 튜플은 암시적으로(implicitly) 배열로 변환된다.
• 배열 내 요소는 배열[인데스]를 통해 접근할 수 있다. 따라서 arr[3]은 4가 나온다.
• 슬라이스[미구현]

4.3. 변수 선언

• Kotlin, JavaScript, Rust와 마찬가지로 상수 선언과 변수 선언 문법이 별도로 존재한다. let은 상수를 선언하며 var은 변수를 선언한다. 또한 Rust와 마찬가지로 선언 또한 irrefutable 패턴 매칭이기에 아래와 같은 선언이 가능하다.
  {{{#!syntax rust

4.4. 함수 선언

#!syntax rust
fn Add(a: i32, b: i32) -> i32 {
    return a + b;
}

4.5. 제어문

#!syntax cpp
for (int n : arr) {
    // ...
}

#!syntax rust
for (var n: <타입> in arr) {
    // ...
}

#!syntax rust
match (Bar()) {
    case (1, y: i32) => {
        // ...
    }
    case (x: i32, 2) => {
        // ...
    }
    case (x: i32, _: auto) if (x > 3) => { // 매치 가드
        // ...
    }
    default => {
        // ...
    }
}

4.6. 제네릭

#!syntax rust
fn Min[T:! Ordered](x: T, y: T) -> T {
    return if x <= y then x else y;
}

Min(1, 2); // 1
Min("abc", "xyz"); // "abc"

#!syntax rust
fn min<T: Ord>(x: T, y: T) -> T {
    if x <= y { x } else { y }
}

assert_eq![min(1, 2), 1];
assert_eq![min("abc", "xyz"), "abc"];

#!syntax rust
// 템플릿 형태의 제네릭 타입 T를 선언한다.
// 동시에 템플릿 형태의 인자 타입 U를 선언한다.
fn Tmpl[template T:! Type](a: T, template U:! Type) -> U {
    var result: U = do_something(a);
    return result;
}

fn Main() -> i32 {
    // 이때 T는 암시적으로 i32로 지정되며
    // U의 경우 명시적으로(타입을 직접 넘김으로써) String으로 지정한다.
    // 결국 Tmpl이 String을 리턴하리란 사실을 알 수 있다.
    Tmpl(123, String);
    return 0;
}

5. 관련 문서

• C++
• Rust
• Zig

6. 외부 링크

• 공식 리포지토리
• 공식 디스코드
• 온라인 실행기
• 관련 기사
• Google’s Carbon programming language aims to replace C++
• Carbon, A New Programming Language from Google As A C++ Successor
• Google thinks its new programming language can topple C++