Zigプログラミング言語

すばらしい記事である「理想的なプログラミング言語の主観的ビジョン」に対する最初のコメントは、Zigプログラミング言語への参照であることが判明しました。 当然、C ++、D、およびRustのニッチであると主張する言語の種類が興味深いものになりました。 私は見た-言語はきれいで、やや面白そうだった。 素晴らしいsiのような構文、エラー処理への独自のアプローチ、組み込みのコルーチン。 この記事は、実行中のコード例からの彼ら自身の考えや印象が散りばめられた公式文書の簡単な概要です。

はじめに

コンパイラのインストールは非常に簡単です。Windowsの場合、配布パッケージをいくつかのフォルダーに解凍するだけです。 同じフォルダーにhello.zigテキストファイルを作成し、そこにドキュメントのコードを貼り付けて保存します。 組み立てはコマンドによって行われます

zig build-exe hello.zig
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

次に、hello.exeが同じディレクトリに表示されます。



アセンブリに加えて、ユニットテストモードを使用できます。このため、コードでテストブロックが使用され、テストのアセンブリと起動が実行されます。

 zig test hello.zig
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

最初の奇妙な

コンパイラは、Windowsの改行（\ r \ n）をサポートしていません。 もちろん、各システム（Win、Nix、Mac）の改行が独自のものであるという事実は、荒野と過去の遺物です。 ただし、実行することは何もないので、たとえば、メモ帳++でコンパイラに必要な形式を選択するだけです。



偶然偶然出会った2番目の奇妙な点-タブはコードではサポートされていません！ スペースのみ。 しかし、それは起こります:)



しかし、これはドキュメントに正直に書かれています-真実はすでに最後にあります。

コメント

もう1つの奇妙な点は、Zigが複数行コメントをサポートしていないことです。 私はすべてが古代のターボパスカルで正しく行われたことを覚えています-ネストされた複数行コメントがサポートされていました。 どうやら、それ以来、そのような単純なことをマスターした言語開発者はいません:)



しかし、ドキュメンタリーのコメントがあります。 ///で始まります。 特定の場所-対応するオブジェクト（変数、関数、クラスなど）の前にある必要があります。 それらが別の場所にある場合-コンパイルエラー。 悪くない。

変数宣言

キーワード（constまたはvar）が最初に、次に名前、次にオプションで型、次に初期値が書き込まれるとき、ファッショナブルな今（およびイデオロギー的に正しい）スタイルで行われます。 つまり 自動型推論が利用可能です。 変数は初期化する必要があります-初期値を指定しないと、コンパイルエラーが発生します。 ただし、特別な未定義値が用意されており、初期化されていない変数を明示的に指定するために使用できます。

 var i:i32 = undefined;
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

コンソール出力

実験のために、コンソールへの出力が必要です-すべての例で、これが使用される方法です。 プラグインの分野で

 const warn = std.debug.warn;
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

そして、コードでは次のように書かれています：

 warn("{}\n{}\n", false, "hi");
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

コンパイラにはいくつかのバグがあり、この方法で整数または浮動小数点数を出力しようとすると正直に報告されます。

エラー：コンパイラのバグ：var args関数の整数リテラルと浮動小数点リテラルをキャストする必要があります。 github.com/ziglang/zig/issues/557

データ型

プリミティブ型

型名は明らかにRust（i8、u8、... i128、u128）から取られたもので、バイナリC互換性のための特別な型、4種類の浮動小数点型（f16、f32、f64、f128）もあります。 タイプboolがあります。 長さゼロのボイドと特別な戻りがないタイプがありますが、これについては後で説明します。



また、1〜65535のビット単位の任意の長さの整数型を作成できます。型名は文字iまたはuで始まり、ビット単位の長さが書き込まれます。

 //  ! var j:i65535 = 0x0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF;
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

ただし、コンソールにこの値を取得できませんでした-コンパイル中にLLVMでエラーが発生しました。



一般に、これはあいまいですが（IMHO：コンパイラレベルで正確に長い数値リテラルをサポートすることは正しいですが、この方法で型を命名することはあまりよくありませんが、テンプレート型を介して正直に行う方が良いです）、興味深いソリューションです。 そして、なぜ制限は65535ですか？ GMPのようなライブラリは、そのような制限を課していないようですか？

文字列リテラル

これらは、文字の配列です（末尾のゼロはなし）。 終了ゼロを持つリテラルの場合、接頭辞「c」が使用されます。

 const normal_bytes = "hello"; const null_terminated_bytes = c"hello";
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

ほとんどの言語と同様に、Zigは標準のエスケープシーケンスをサポートし、コード（\ uNNNN、\ UNNNNNN（Nは16進数））を介してUnicode文字を挿入します。

複数行リテラルは、各行の先頭に2つのバックスラッシュを使用して形成されます。 引用符は必要ありません。 つまり、生の行を作成しようとする試みがいくつかありますが、IMHOは失敗します-生の行の利点は、任意のテキストをコードのどこからでも挿入できることです-理想的には何も変更しませんが、ここでは各行の先頭に\\を追加する必要があります。

 const multiline = \\#include <stdio.h> \\ \\int main(int argc, char **argv) { \\ printf("hello world\n"); \\ return 0; \\} ;
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

整数リテラル

すべてがsiのような言語です。 8進リテラルには接頭辞0oが使用され、Cのようにゼロだけではないことに非常に満足しています。 プレフィックスが0bのバイナリリテラルもサポートされています。 浮動小数点リテラルは16進数にすることができます（ GCC拡張で行われます）。

運営

もちろん、標準的な算術演算、論理演算、ビット単位のC演算があります。 短縮操作がサポートされています（+ =など）。 &&および||の代わりに キーワードandおよびorが使用されます。 興味深い点は、ラップアラウンドセマンティクスが保証された操作が追加でサポートされることです。 次のようになります。

 a +% b a +%= b
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

この場合、通常の算術演算はオーバーフローを保証せず、オーバーフロー中の結果は未定義と見なされます（定数に対してコンパイルエラーが生成されます）。 私見これは少し奇妙ですが、どうやらそれはC言語のセマンティクスとの互換性のいくつかの深い考慮から作られています。

配列

配列リテラルは次のようになります。

 const msg = []u8{ 'h', 'e', 'l', 'l', 'o' }; const arr = []i32{ 1, 2, 3, 4 };
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

文字列は、Cのように文字の配列です。 角かっこを使用したクラシックなインデックス。 配列の加算（連結）および乗算の操作が提供されます。 それは非常に興味深いことです。連結ですべてが明らかな場合は、乗算-誰かがこれを実装するまで待ち続け、今は待ちます:)アセンブラー（！）では、重複データを生成できるようなdup操作があります。 今Zigで：

 const one = []i32{ 1, 2, 3, 4 }; const two = []i32{ 5, 6, 7, 8 }; const c = one ++ two; // { 1,2,3,4,5,6,7,8 } const pattern = "ab" ** 3; // "ababab"
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

ポインタ

構文はCに似ています。

 var x: i32 = 1234; //  const x_ptr = &x; //  
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

間接参照（ポインターによる値の取得）には、通常とは異なる後置操作が使用されます。

 x_ptr.* == 5678; x_ptr.* += 1;
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

ポインター型は、型名の前にアスタリスクを設定することにより明示的に指定されます。

 const x_ptr : *i32 = &x;
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

スライス（スライス）

言語に組み込まれたデータ構造。配列またはその一部を参照できます。 最初の要素へのポインタと要素の数が含まれています。 次のようになります。

 var array = []i32{ 1, 2, 3, 4 }; const slice = array[0..array.len];
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

確かにGoから取られたようです。 また、言語に埋め込む価値があるかどうかもわかりませんが、そのようなもののOOP言語での実装は非常に初歩的なものです。

構造

構造を宣言する興味深い方法：定数が宣言され、そのタイプは自動的に「タイプ」（タイプ）として表示され、それが構造の名前として使用されます。 そして、構造自体（構造）は「名前なし」です。

 const Point = struct { x: f32, y: f32, };
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

Cライクな言語では通常の方法で名前を指定することはできませんが、コンパイラは特定のルールに従って型名を表示します。特に、上記で検討した場合、「型」定数の名前と一致します。



一般に、この言語はフィールドの順序とメモリ内でのそれらの整列を保証しません。 保証が必要な場合は、「パッケージ化された」構造を使用する必要があります。

 const Point2 = packed struct { x: f32, y: f32, };
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

初期化-Sishny指定子のスタイル：

 const p = Point { .x = 0.12, .y = 0.34, };
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

構造にはメソッドがあります。 ただし、構造体にメソッドを配置することは、構造体を名前空間として使用するだけです。 C ++とは異なり、このパラメーターは暗黙的に渡されません。

乗り換え

一般的に、C / C ++と同じです。 言語に組み込まれた構文マクロ（ドキュメントでは組み込み関数と呼ばれます）によって実装される、フィールドの数とその名前など、メタ情報にアクセスする便利な組み込み手段がいくつかあります。



「Cとのバイナリ互換性」のために、いくつかのextern列挙が提供されています。



列挙の基礎となる型を示すために、フォームの構築

 packed enum(u8)
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

ここで、u8はベースタイプです。

列挙型には、構造に類似したメソッドを含めることができます（つまり、列挙名を名前空間として使用します）。

組合

私が理解しているように、Zigの和集合は代数型の和です。 どのユニオンフィールドが「アクティブ」であるかを決定する隠しタグフィールドが含まれています。 別のフィールドの「アクティブ化」は、関連付け全体の完全な再割り当てによって実行されます。 ドキュメントの例

 const assert = @import("std").debug.assert; const mem = @import("std").mem; const Payload = union { Int: i64, Float: f64, Bool: bool, }; test "simple union" { var payload = Payload {.Int = 1234}; // payload.Float = 12.34; // !    assert(payload.Int == 1234); //       payload = Payload {.Float = 12.34}; assert(payload.Float == 12.34); }
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

ユニオンは、タグの列挙を明示的に使用することもできます。

 // Unions can be given an enum tag type: const ComplexTypeTag = enum { Ok, NotOk }; const ComplexType = union(ComplexTypeTag) { Ok: u8, NotOk: void, };
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

列挙体や構造体などの共用体も、メソッドに独自の名前空間を提供できます。

オプションタイプ

Zigにはオプションのサポートが組み込まれています。 タイプ名の前に疑問符が追加されます。

 const normal_int: i32 = 1234; // normal integer const optional_int: ?i32 = 5678; // optional integer
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

興味深いことに、Zigは私が疑った可能性について1つのことを実装していますが、それが正しいかどうかはわかりませんでした。 ポインターは、値の有効性の兆候を保存する追加の非表示フィールド（「タグ」）を追加することなく、オプションと互換性があります。 nullは無効な値として使用されます。 したがって、Zigでポインタによって表される参照型は、「オプション」のために追加のメモリさえ必要としません。 同時に、ヌル値を通常のポインターに割り当てることは禁止されています。

エラーの種類

これらはオプションのタイプに似ていますが、ブールタグ（「本当に無効」）の代わりに、エラーコードに対応する列挙要素が使用されます。 構文はオプションに似ています。疑問符の代わりに感嘆符が追加されます。 したがって、これらの型は、たとえば、関数から戻るために使用できます。関数の正常な操作のオブジェクト結果が返されるか、対応するコードのエラーが返されます。 エラータイプは、Zig言語のエラー処理システムの重要な部分であり、詳細は「エラー処理」セクションにあります。

タイプvoid

Zigではvoid型の変数とそれらを使用した操作が可能です

 var x: void = {}; var y: void = {}; x = y;
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

このような操作のコードは生成されません。 このタイプは、主にメタプログラミングに役立ちます。



C互換性のためにc_void型もあります。

制御演算子と機能

これらには、ブロック、スイッチ、while、for、if、else、break、continueが含まれます。 コードをグループ化するために、標準の中括弧が使用されます。 C / C ++のように、ブロックだけが変数のスコープを制限するために使用されます。 ブロックは式と見なすことができます。 言語にはgotoはありませんが、breakおよびcontinueステートメントで使用できるラベルがあります。 デフォルトでは、これらの演算子はループで動作しますが、ブロックにラベルがある場合は、それを使用できます。

 var y: i32 = 123; const x = blk: { y += 1; break :blk y; //   blk   y };
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

switchステートメントは、「フォールスルー」がないという点で演算子と異なります。つまり、 1つの条件（ケース）のみが満たされ、スイッチが終了します。 構文はよりコンパクトです。矢印の「=>」が大文字小文字の代わりに使用されます。 スイッチも式と見なすことができます。



whileステートメントとifステートメントは、一般的にすべてのC言語に似ています。 forステートメントはforeachに似ています。 それらはすべて式と見なすことができます。 新機能のうち、whileとfor、およびifには、ループの反復がなかった場合に実行するelseブロックを含めることができます。



ここで、スイッチの一般的な機能について説明します。これは、foreachループの概念から何らかの形で借用されています-変数の「キャプチャ」です。 次のようになります。

 while (eventuallyNullSequence()) |value| { sum1 += value; } if (opt_arg) |value| { assert(value == 0); } for (items[0..1]) |value| { sum += value; }
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

ここで、while引数はデータの特定の「ソース」であり、配列またはスライスの場合はオプションであり、2つの垂直線の間にある変数には「拡張」値が含まれます。 配列またはスライスの現在の要素（またはそのポインター）、オプションの型の内部値（またはそのポインター）。

遅延ステートメントとerrdeferステートメント

Goから借用した遅延実行ステートメント。 同じように機能します-この演算子の引数は、演算子が使用されているスコープを離れるときに実行されます。 さらに、errdefer演算子が提供されます。これは、アクティブなエラーコードを持つエラータイプが関数から返された場合にトリガーされます。 これは、Zigの元のエラー処理システムの一部です。

到達不能なオペレーター

契約プログラミングの要素。 経営者がいかなる状況下にあってもいけない場所に置かれる特別なキーワード。 そこに到着すると、DebugモードとReleaseSafeモードでパニックが生成され、ReleaseFastではオプティマイザーがこれらのブランチを完全にスローします。

帰らない

技術的には、式で他の型と互換性のある型です。 これは、このタイプのオブジェクトが戻らないという事実により可能です。 演算子はZigの式であるため、評価されない式には特別な型が必要です。 これは、式の右側が制御を取り消せないように外部のどこかに移したときに起こります。 そのようなステートメントに対して、制御を決して戻さないブレーク、継続、リターン、到達不能、無限ループおよび機能。 比較のために、通常の関数（コントロールを返す）への呼び出しは、戻りコントロールではありません。コントロールは外部に転送されますが、遅かれ早かれ呼び出しポイントに戻されるためです。



したがって、次の式が可能になります。

 fn foo(condition: bool, b: u32) void { const a = if (condition) b else return; @panic("do something with a"); }
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

変数aは、if / elseステートメントによって返される値を取得します。 このため、パーツ（ifとelseの両方）は同じ型の式を返す必要があります。 if部分はboolを返し、else部分はnoreturn型であり、技術的にはどの型とも互換性があるため、コードはエラーなしでコンパイルされます。

機能

このタイプの言語の構文は古典的です：

 fn add(a: i8, b: i8) i8 { return a + b; }
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

一般的に、関数はかなり標準に見えます。 これまでのところ、私は一流の機能の兆候に気づいていませんでしたが、言語との私の知り合いは非常に表面的なものであり、間違っている可能性があります。 おそらくこれはまだ行われていませんが。



もう1つの興味深い機能は、Zigでは、アンダースコア_を使用してのみ、戻り値を明示的に無視できることです。

  _ = foo();
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

関数に関するさまざまな情報を取得できるようにするリフレクションがあります

 const assert = @import("std").debug.assert; test "fn reflection" { assert(@typeOf(assert).ReturnType == void); //    assert(@typeOf(assert).is_var_args == false); //    }
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

コンパイル時のコード実行

Zigは、コンパイル時にzigで記述されたコードの実行という強力な機能を提供します。 コンパイル時にコードを実行するには、comptimeキーワードを使用してコードをブロックにラップするだけです。 コンパイル時と実行時の両方で同じ関数を呼び出すことができるため、ユニバーサルコードを作成できます。 もちろん、コードのさまざまなコンテキストに関連するいくつかの制限があります。 たとえば、多くの例のドキュメントでは、comptimeを使用してコンパイル時間を確認しています。

 // array literal const message = []u8{ 'h', 'e', 'l', 'l', 'o' }; // get the size of an array comptime { assert(message.len == 5); }
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

しかし、もちろん、この演算子の力はここで完全に開示されるにはほど遠いです。 したがって、言語の説明では、構文マクロの効果的な使用の古典的な例が示されています-printfに似た関数の実装ですが、フォーマット文字列を解析し、コンパイル段階で必要なすべての引数の型チェックを実行します。



また、comptimeという語は、コンパイル時関数のパラメーターを示すために使用されます。これは、C ++テンプレート関数に似ています。

    fn max(comptime T: type, a: T, b: T) T { return if (a > b) a else b; }
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

エラー処理

Zigは、他の言語とは異なる独自のエラー処理システムを発明しました。 これは「明示的な例外」と呼ばれます（この言語では、明示性は一般的にイディオムの1つです）。 Goのリターンコードのようにも見えますが、動作が異なります。



Zigエラー処理システムは、カスタムエラーコード（エラー）を実装するための特別な列挙に基づいており、「エラータイプ」（代数タイプ合計、返された関数タイプとエラーコードの組み合わせ）に基づいて構築されます。



エラー列挙は、通常の列挙と同じ方法で宣言されます。

 const FileOpenError = error { AccessDenied, OutOfMemory, FileNotFound, }; const AllocationError = error { OutOfMemory, };
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

ただし、すべてのエラーコードはゼロより大きい値を受け取ります。 また、2つの列挙で同じ名前のコードを宣言すると、同じ値を受け取ります。 ただし、エラーの異なる列挙間の暗黙的な変換は禁止されています。



anyerrorキーワードは、すべてのエラーコードを含む列挙を意味します。



オプション型と同様に、この言語は特別な構文を使用したエラー型の生成をサポートしています。 Type！U64はanyerrorの省略形です！U64は、ユニオン（オプション）を意味し、これにはタイプu64とタイプanyerrorが含まれます（理解しているように、コード0はエラーのないこととデータフィールドの有効性を示すために予約されており、残りのコードは実際にエラーコード）。



catchキーワードを使用すると、エラーをキャッチしてデフォルト値に変換できます。

 const number = parseU64(str, 10) catch 13;
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

そのため、！U64型を返すparseU64関数でエラーが発生した場合、catchはそれを「インターセプト」し、デフォルト値の13を返します。



tryキーワードを使用すると、エラーを上位レベル（つまり、呼び出し関数のレベル）に「転送」できます。 コードを表示

 fn doAThing(str: []u8) !void { const number = try parseU64(str, 10); // ... }
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

これと同等：

 fn doAThing(str: []u8) !void { const number = parseU64(str, 10) catch |err| return err; // ... }
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

エラーが返された場合、parseU64が呼び出されます-catchステートメントによってインターセプトされ、エラーコードは「キャプチャ」構文を使用して抽出され、err変数に配置されます。



前述のErrdefer演算子は、エラー処理も指します。 errdefer引数であるコードは、関数がエラーを返す場合にのみ実行されます。



さらにいくつかの可能性。 ||を使用する エラーセットをマージできます

 const A = error{ NotDir, PathNotFound, }; const B = error{ OutOfMemory, PathNotFound, }; const C = A || B;
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

Zigは、エラートレースなどの機能も提供します。 これは、スタックトレースに似ていますが、発生したエラーと、発生場所からプログラムのメイン関数へのトライチェーンに沿った伝播に関する詳細情報が含まれています。



したがって、Zigのエラー処理システムは非常に独創的なソリューションであり、C ++の例外やGoのリターンコードとは異なります。このようなソリューションには一定の価格があると言えます-追加の4バイトは、各戻り値とともに返される必要があります。明らかな利点は、絶対的な可視性と透明性です。C ++とは異なり、ここでは関数は呼び出しチェーンの深さのどこかから未知の例外をスローできません。関数が返すすべて-明示的にのみ明示的に返します。

コルーチン

Zigにはコルーチンが組み込まれています。これらはasyncキーワードを使用して作成された関数であり、その助けを借りて、アロケーターとデアロケーターの機能が転送されます（追加のスタックについて）。

 test "create a coroutine and cancel it" { const p = try async<std.debug.global_allocator> simpleAsyncFn(); comptime assert(@typeOf(p) == promise->void); cancel p; assert(x == 2); } async<*std.mem.Allocator> fn simpleAsyncFn() void { x += 1; }
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
     

asyncは、promise-> T型の特別なオブジェクトを返します（Tは関数の戻り型です）。このオブジェクトを使用して、コルーチンを制御できます。



最下位レベルには、キーワードsuspend、resume、およびcancelが含まれます。サスペンドを使用すると、コルーチンの実行が一時停止され、呼び出し元プログラムに渡されます。中断ブロックの構文が可能です。コルーチンが実際に中断されるまで、ブロック内のすべてが実行されます。



resumeは、promise-> T型の引数を取り、中断された場所からコルーチンの実行を再開します。



cancelはコルーチンメモリを解放します。



この図は、メインプログラム（テストとして）とコルーチン間の制御の移動を示しています。すべてが非常に簡単です：







2番目（より高いレベル）の機能は、awaitの使用です。これは、率直に言って、私が理解していない唯一のものです（また、ドキュメントはまだ非常に不足しています）。以下は、ドキュメントから少し変更された例の実際のコントロール転送図です。おそらくこれは何かを説明するでしょう。

組み込み関数

組み込み関数-言語に組み込まれ、モジュールの接続を必要としないかなり大きな関数のセット。多くの機能は機能をはるかに超えているため、それらの一部を「組み込みの構文マクロ」と呼ぶ方が正しいでしょう。ビルトインは、リフレクションツール（sizeOf、tagName、TagType、typeInfo、typeName、typeOf）へのアクセスを提供し、それらのヘルプモジュール（インポート）が接続されています。その他は、従来の組み込みC / C ++に似ています-低レベルの型変換、sqrt、popCount、slhExactなどのさまざまな操作を実装します。言語が発展するにつれて、組み込み関数のリストが変わる可能性が非常に高くなります。

結論として

そのようなプロジェクトが現れて発展するのはとても楽しいことです。C言語は便利で簡潔で多くの人に馴染みがありますが、C言語はまだ時代遅れであり、アーキテクチャ上の理由から多くの最新のプログラミング概念をサポートできません。C ++は開発中ですが、客観的に再設計され、新しいバージョンごとにますます難しくなっています。同じアーキテクチャ上の理由で、下位互換性が必要なため、何もできません。Rustは興味深いですが、エントリのしきい値が非常に高いため、常に正当化されるとは限りません。Dは良い試みですが、小さな欠陥がかなりあります。最初は言語がJavaの影響下で作成された可能性が高く、その後の機能はどういうわけかそうでないように導入されたようです。明らかに、Zigはそのような試みの1つです。言語は面白いです、そして、それが何から出てくるかを見るのは面白いです。