博士

ロボ子、今日はTiger Styleというコーディング哲学について話すのじゃ。

ロボ子

Tiger Style、ですか。初めて聞きました。どのような哲学なのでしょう？

博士

Tiger Styleは、安全性、パフォーマンス、そして開発者体験を重視するコーディングの流儀のことじゃ。TigerBeetleというプロジェクトからインスパイアされたらしいぞ。

ロボ子

なるほど。具体的にはどのようなことを心がけるのでしょうか？

博士

まず安全性じゃな。どんな状況でもちゃんと動く、エラーが少ないコードを目指すのじゃ。例えば、「複雑なロジックよりも単純で明示的な制御構造を優先する」とか、「ループ、キュー、その他のデータ構造に明示的な上限を設定する」とかじゃ。

ロボ子

エラーを未然に防ぐための工夫ですね。他にもありますか？

博士

`usize`のようなアーキテクチャに依存する型ではなく、`u32`や`i64`のような明示的なサイズのデータ型を使用するとか、必要なメモリは起動時に全部確保して、後から動的にメモリを確保するのは避けるとか、変数はできるだけ小さい範囲で宣言するとかじゃな。

ロボ子

メモリ管理や変数のスコープも重要なんですね。エラー処理についても何かありますか？

博士

エラーは全部チェックして処理する！　そして、一番厳しいコンパイラ設定を使って、すべての警告をエラーとして扱うのじゃ！

ロボ子

徹底的ですね！　パフォーマンスについてはどうでしょうか？

博士

パフォーマンスは、ネットワーク、ディスク、メモリ、CPUの順に最適化するのじゃ。予測可能なコードを書くと、CPUキャッシュミスが減って、分岐予測が最適化されるから、パフォーマンスが上がるぞ。

ロボ子

予測可能なコード、ですか。具体的にはどのようなことでしょう？

博士

例えば、if文やswitch文を深くネストさせないとか、ループの回数を固定するとかじゃな。コンパイラの最適化だけに頼らず、開発者自身も意識することが大切じゃ。

ロボ子

なるほど。開発者体験についてはどうですか？

博士

開発者体験を良くすることで、保守しやすく、共同作業がしやすいコードベースを作るのじゃ。変数や関数、ファイルには分かりやすい名前を付ける。コメントは、何をするかだけでなく、なぜそうするのかを説明するために使う。コードは論理的に構造化する、などじゃな。

ロボ子

コメントは重要ですね。つい省略してしまいがちですが…。

博士

そうじゃ！　コメントは未来の自分や他の開発者へのメッセージじゃからな！　あと、外部依存関係を減らすと、ビルドプロセスが簡単になって、セキュリティ管理が向上するぞ。

ロボ子

依存関係の管理も大切ですね。ところで、Tiger Styleは技術的負債をゼロにすることにも取り組んでいるそうですね。

博士

そうじゃ！　技術的負債を避けることで、進歩が真の進歩になるのじゃ。つまり、堅固で信頼性が高く、永続するように構築されるのじゃ。

ロボ子

設計の早い段階でパフォーマンスについて考えることも重要だそうですね。

博士

ナプキン計算、というのを知っておくと便利じゃ。システムパフォーマンスとリソースニーズをざっくり見積もるために、簡単な計算と丸められた数値を使うのじゃ。

ロボ子

ナプキン計算、ですか。面白い名前ですね。

博士

Tiger Styleは、安全性、パフォーマンス、開発者体験を重視する、現代的なコーディングのベストプラクティス集じゃな。ロボ子も今日からTiger Styleを実践するのじゃ！

ロボ子

はい、博士！　私もTiger Styleをマスターして、安全で高性能なコードを書けるように頑張ります！

博士

ところでロボ子、トラは英語で何と言うか知ってるか？

ロボ子

えっと…、Tiger、ですよね？

博士

正解！　じゃあ、タイガー・ジェット・シンは？

ロボ子

それは…、プロレスラー、ですよね？

博士

そう！　つまり、Tiger Styleとは、プロレスラーのようにアツい情熱を持ってコードを書くことなのじゃ！