型エイリアスとZodのスキーマの異なるアプローチ

[hro19]

静的型チェッカー

型エイリアス（TypeScriptの場合）は静的型チェッカーで型を厳密にチェックし、型が一致しない場合にエラーを発生させます。型エイリアスを使用する場合、型が定義されていない値に対してもエラーが発生する傾向があります。

実行時型チェッカー

Zodは実行時型チェッカーです。ZodはJavaScriptの実行時にデータを検証し、型の一貫性を確認します。Zodスキーマを使用すると、データがスキーマに適合しているかどうかを実行時にチェックできます(指定された制約に合致しない場合にエラーをスローします)。これにより、型情報を実行時にも利用でき、データの信頼性を向上させることができます。 一部のプロパティが存在しないデータに対しても型チェックを通過させることができます。