プログラミング

excess property check とは何か（ざっくりイメージ）excess property check（余剰プロパティチェック）は、「その型に存在しないプロパティを、オブジェクトリテラルに...

「オブジェクトの再代入」とは何を指しているのかまず言葉の整理からいきます。ここでいう「オブジェクトの再代入」は、変数に入っているオブジェクトそのものを、別のオブジェクトに入れ替えることを指します。ty...

ネストしたオブジェクト型とは何か（まずはイメージから）ネストしたオブジェクト型は、「オブジェクトの中に、さらにオブジェクトが入っている形を、そのまま型で表現したもの」です。現実のデータって、ユーザーの...

readonlyプロパティとは何か（「一度決めたら変えない」約束）readonly プロパティは、「このプロパティは一度値を入れたら、あとから書き換えてはいけない」という約束を型レベルで表す仕組みです...

optionalプロパティとは何か（「あってもなくてもいい」項目）オブジェクトのプロパティには、「必ず必要なもの」と「なくてもよいもの」があります。TypeScriptでは、「なくてもよいプロパティ」...

まずざっくり：「どっちも“型を定義する道具”」type も interface も、「型に名前をつける」ための仕組みです。どちらもオブジェクトの形を表現できます。interface User { id...

interface は「オブジェクトの設計図」interface は、オブジェクトの「形（どんなプロパティを持つか）」を表す設計図です。「このオブジェクトは、こういうプロパティを持っていて、その型はこ...

型エイリアスとは何か（ざっくり言うと「型にあだ名をつける」）型エイリアスは、既にある型に「別名（あだ名）」をつける仕組みです。type キーワードを使って、「この型をこれからはこの名前で呼ぶね」と宣言...

「オブジェクトリテラルの型推論」とは何をしてくれているのかオブジェクトリテラルとは、{ ... } で直接書いたオブジェクトのことです。const user = { name: "Taro", age...

「プロパティに型を付ける」とは何をしているのかオブジェクトは「名前付きの値の集まり」です。TypeScriptでは、その「名前付きの値」1つ1つに対して、「ここにはこういう型の値だけ入ってほしい」とい...

オブジェクト型とは何か（まずはざっくりイメージ）オブジェクト型は、「関連する複数の値を、1つのまとまりとして扱うための型」です。name や age のような「項目（プロパティ）」と、その型をセットで...

よくある「配列操作の型エラー」はどこから来るのかTypeScriptで配列を触り始めると、かなりの確率で型エラーにぶつかります。でも、その多くは「TypeScriptが何を守ろうとしているか」が分かる...

forEachは「配列をなめるだけ」のメソッドforEach は、配列の各要素に対して順番に処理を実行するだけのメソッドです。map や filter と違って、戻り値を使って新しい配列を作ったりはし...

reduceの「型指定」とは何を決めるものかreduce は、配列を「1つの値」に畳み込むメソッドです。TypeScript的に一番大事なのは、「途中経過（累積値：acc）の型をどう扱うか」です。この...

findの基本的な動きと戻り値のイメージfind は、配列の中から「条件を満たす最初の要素」を1つだけ返すメソッドです。もし条件を満たす要素が1つも見つからなかった場合は、undefined を返しま...

filterの型推論は「何が残る配列か」を推理してくれる仕組みfilter は、「条件を満たす要素だけを残して新しい配列を作る」メソッドです。TypeScript はここで、「元の配列の要素の型」と「...

「配列mapの型推論」とは何をしてくれているのかmap は、「配列の各要素を変換して、新しい配列を作る」メソッドです。TypeScriptは、このときに「元の配列の要素の型」と「変換関数の戻り値の型」...

スプレッド構文とは何か（型の世界でどう見えるか）スプレッド構文 ... は、配列やオブジェクトの「中身を展開する」ための記法です。配列なら「要素をバラして別の配列に入れ直す」、オブジェクトなら「プロパ...