そのバグ、動かす前に見つかる

値に付ける荷札

TypeScriptとは何でしょうか。終わるころには、ひとことで説明できるようになります。

JavaScriptは、Webやアプリを動かす言語です。上と下の行を見比べてみましょう。

値に付ける荷札

増えているのは : Answer だけですね。「この値は答え」と書かれた荷札です。

この荷札を使って、○△×で都合のいい日を決めるアプリを作ります。

値に付ける荷札

打ち間違いを試す

そのアプリの○を数える行で、yes を yse と打ち間違えてしまいました。

JavaScriptとTypeScriptを切り替えて、下の結果を比べてみてください。

打ち間違いを試す

JavaScriptは黙って違う日を選びましたが、TypeScriptは動かす前に止めました。

打ち間違いを試す

問題：TypeScriptは、どうして動かす前に間違いに気づけたのでしょうか。

1. 答えに入る言葉が、コードに書いてあったから（正解）
2. 一度こっそり動かして、結果を見たから

解説：その通りです。1行目に yes・maybe・no の3つだけとあるので、yse は合いません。

動くときには外れる

この荷札を型と呼びます。型を調べるのは、動かす前だけです。

動くときには外れる

• TypeScriptは、JavaScriptに型の荷札を足したものです。
• 打ち間違いは、動かす前に止まります。
• 動かすときには、荷札は外れます。

動くときには外れる

では、この荷札は毎回ぜんぶ自分で書くのでしょうか。