Open11
Carbon langに関するメモ
NishikiCarbon👀
Nishikiビルドメモ
基本はREADME通りでいいですが、WSLで試したらzlibがないと怒られました。この件は既にPRが作られています。
sudo apt install zlib1g-dev
NishikiGenericsメモ
C++のこれが
template <typename T>
void SortVector(std::vector<T>* a) {...}
こうなります。
fn SortVector(T:! Comparable, a: Vector(T)*) { ... }
実際はモダンな感じに Comparable のような制約がつけられるのでC++でいう concept の方が近いですね。（C++に詳しくないのでよく分かってない）
Carbonではインスタンスを作らなくても型チェックが入るらしいのでダックタイピング的ではなくなるとのこと。
記号は!でいい？
[T:! Comparable & Movable]
こんな感じに制約のアンドをとる場合、!は否定として使う可能性があるのでは？という懸念が。いまのところ!はコンパイル時定数を表すらしい？
Nishikiプリミティブ型メモ
bool-
i8i16i32i64i128i256Carbon.Int(N) -
u8u16u32u64u128u256Carbon.UInt(N) -
f16f32f64 -
StringStringView
StringViewがあるのいいですね。複数行文字列リテラルもサポートしてます。
var str: String = """
Hello, World
Multi-line string literals, called block string literals
""";
Operatorメモ
- Move:
~x
std::move(x)に比べると短くていいですね。
Nishikiパターンメモ
Destructuring patterns
fn Bar() -> (i32, String);
var (p: i64, _: auto) = Bar();
C++17で構造化束縛は使えますが、正直std::tuple<int32_t, std::string>とか書かなくていいだけでも嬉しいです。
Refutable patterns
match (n) {
case a => { }
case b => { }
default => { }
}
matchが入るみたいです。
NishikiName-binding declarationsメモ
-
let: 定数 -
var: 変数
全ての変数宣言は定義になるらしいです。
NishikiUser-defined typesメモ
Choice types
choice IntResult {
Success(value: i32),
Failure(error: String),
Cancelled
}
おお、いいですね。もちろんmatchと一緒に使えます。
Nishikiゴールではないことメモ
- 安定した言語とABI / 後方・前方互換性
- 進化しつづける言語にしたいみたいですね
Nishikiその他の議論メモ
i64 vs int64
いまのところRustのようにi64という命名にしてますが、int64の方が人気ありますね。分かりやすいとは思うんですが、int uint floatで全部文字数違うの気になるんですよね...。
Cargoのようなビルドシステム
欲しいですよね。ロードマップでは一応エコシステムについて言及されてますが、まだ流石に早すぎる議論っぽいです。
Nishikiif文 / if式
if文は普通に if elseです。
if(a == 0) { ... }
else { ... }
対してif式は if then elseとなっています。三項演算子は廃止ですかね。
var result: auto = if a == 0 then ... else ...;