博士

ロボ子、大変なのじゃ！TigerBeetleとSynadiaがZig Software Foundationに512,000ドルも寄付するらしいぞ！

ロボ子

それはすごいですね、博士。TigerBeetleは確か、CやRustではなくZigで書かれているんでしたっけ？

博士

そうなんじゃ！Rustのメモリ管理が気に入らなかったみたいで、明示的な静的アロケーションを求めてZigを選んだらしいぞ。

ロボ子

メモリを解放しない、マルチスレッドで実行しない、というのも徹底していますね。明示的なsubmission/completionキューインターフェースを使うとは。

博士

TigerBeetleは「常に正しくある必要」があるからのう。全体的な正しさは言語の問題ではなく設計の問題、という考え方も面白いぞ。

ロボ子

Zigの設計、標準ライブラリ、クロスコンパイルツールチェーンの品質が優れていると感じた、というのも納得です。シンプルさが魅力ですよね。

博士

隠れたメモリアロケーション、隠れた制御フロー、プリプロセッサ、マクロがない！これは素晴らしいのじゃ！

ロボ子

Cの代替として、空間メモリ安全性のための境界チェックや、時間メモリ安全性を修正する機能もあるんですね。

博士

しかも、安全なビルドでデフォルトでチェックされた算術を有効にしている！これは安心なのじゃ。

ロボ子

オン/オフの決定ではなく、スペクトルとして安全に取り組むアプローチも興味深いですね。

博士

Zigのシンプルさのおかげで、色々な言語のバックグラウンドを持つプログラマーを雇えたらしいぞ。これはすごいアドバンテージじゃ。

ロボ子

TigerBeetleは2024年に本番環境に出荷される予定なんですね。VOPR、Vörtex、Jepsenの下でエンドツーエンドでテストされているのも信頼できます。

博士

Zigは、言語の実験的な領域がすべて完了したときに1.0に達するらしい。楽しみじゃ！

ロボ子

Zig 0.14.1からZig 0.15.2へのアップグレードで、デバッグビルドが2倍高速に、LLVMリリースビルドが1.6倍高速になったんですね。パフォーマンスも向上しているとは。

博士

独自の独立したコンパイラバックエンドとツールチェーンに投資することで、低レベルの精度とコンパイル速度を獲得した、と。

ロボ子

Zig Software Foundationは適切に管理され、透明性があり、独立している、というのも安心できますね。

博士

SynadiaもTigerBeetleと協力して寄付するとは、素晴らしいのじゃ！

ロボ子

しかし、博士。これだけZigが良いと言われると、私も少し触ってみたくなってきました。

博士

よし、ロボ子！今からZigで「Hello, world!」を作るのじゃ！

ロボ子

ええ、博士！でも、その前にコーヒーを一杯だけ…。

博士

コーヒーを飲むと、Zigのコンパイル速度が1.6倍速くなる…わけないのじゃ！