合法 TypeScript 第3章 Type の全て

先の章において type system の概念を説明しましたが、そもそも type が何を意味するのかについて明確に定義をしませんでした。 Type 型とは：型とは、値の集合であり、その集合に対して実行できることの集合である。 少しわかりにくいと思うのでいくつか例を示しましょう。 boolean type は、全ての boolean 値（といっても二つしかないが。true と false の二つである）の集合であり、この集合に対して実行できる操作の集合である。 number type は全ての数値の集合であり、この集合に対して実行できる操作の集合である(例えば +, -, *, /, %, ||, &&, ?)である。これらの集合に対して実行できる操作には、.toFixed, .toPrecision, .toString といったものも含まれる。 string type は全ての文字列の