TypeScriptは、型の合わないプログラムに対して型エラーを出すことを主な役目としています。もちろんプログラムを正しく修正すれば型エラーは消えるのですが、TypeScriptを書いている方なら…