「オブジェクト型エラーの読み方」のゴールを決めるTypeScript のエラーメッセージは、最初は「英語の塊」にしか見えないと思います。でも、よく出るパターンは決まっていて、「どこを見れば“何がズレて...

「keyof typeof」は値から「キーの型」を取り出す最強コンボまず結論からいきます。keyof typeof は、「実際のオブジェクト（値）から、そのプロパティ名の“型”を自動で作る」ための組み...

TypeScript の typeof は「値から型を取り出す道具」まず一番大事なポイントからいきます。TypeScript の typeof は、「ある値（変数・オブジェクトなど）から、その“型”を...

keyof は「プロパティ名だけを取り出すための型演算子」keyof は、「オブジェクト型から“プロパティ名”だけを取り出して、新しい型を作る」ための演算子です。まずは一番シンプルな例から見てみましょ...

オブジェクトの分割代入って何をしているのかまずイメージからいきましょう。オブジェクトの分割代入は、「オブジェクトの中から、欲しいプロパティだけを“取り出して”変数にする書き方」です。const use...

スプレッド構文ってそもそも何をしているのかスプレッド構文（...）は、「あるオブジェクト（や配列）の中身を“広げて”新しいオブジェクト（や配列）を作る記法」です。const user = { name...

「型安全なオブジェクト更新」とは何を守ることかまずゴールをはっきりさせます。型安全なオブジェクト更新とは、「オブジェクトを書き換えるときに、存在しないプロパティ名を書いたり、間違った型の値を入れたりし...

「部分一致が通らない」ってどういうことかまず、ここでいう「部分一致」はだいたいこんな状況を指しています。type User = { name: string; age: number;};const ...

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 のような「項目（プロパティ）」と、その型をセットで...