finish sentences 4-4 to 4-7

Author: oukayuka

04-typescript/05-advanced/conditional-infer.ts

@@ -0,0 +1,6 @@
+type Flatten<T> = T extends Array<infer U> ? U : T;
+
+const num = 5;
+const arr = [3, 6, 9];
+type A = Flatten<typeof arr>;
+type N = Flatten<typeof num>;

04-typescript/05-advanced/conditional.ts

@@ -0,0 +1,10 @@
+type User = { id: unknown };
+type NewUser = User & { id: string };
+type OldUser = User & { id: number };
+type Book = { isbn: string };
+
+type IdOf<T> = T extends User ? T['id'] : never;
+
+type NewUserId = IdOf<NewUser>;
+type OldUserId = IdOf<OldUser>;
+type BookId = IdOf<Book>;

04-typescript/05-advanced/extends.ts

@@ -4,4 +4,4 @@ const merge = <T, U extends T>(obj1: T, obj2: U): T & U => ({
 });
 
 override({ a: 1 }, { a: 24, b: 8 });
-// override({ a: 15 }, { x: 73 });  /* compile error */
+// override({ a: 2 }, { x: 73 });  /* compile error */

04-typescript/05-advanced/record.ts

@@ -0,0 +1,8 @@
+type Animal = 'cat' | 'dog' | 'rabbit';
+type AnimalNote = Record<Animal, string>;
+
+const animalKanji: AnimalNote = {
+  cat: '猫',
+  dog: '犬',
+  rabbit: '兎',
+};

04-typescript/05-advanced/string-util.ts

@@ -0,0 +1,6 @@
+type Company = 'Apple' | 'IBM' | 'GitHub';
+
+type C1 = Lowercase<Company>;
+type C2 = Uppercase<Company>;
+type C3 = Uncapitalize<Company>;
+type C4 = Capitalize<C3>;

04-typescript/05-advanced/template-literal.ts

@@ -0,0 +1,4 @@
+type DateFormat = `${number}-${number}-${number}`;
+
+const date: DateFormat = "2020-12-05";
+// const date2: DateFormat = 'Dec. 5, 2020';

04-typescript/05-advanced/template-picktable.ts

@@ -0,0 +1,7 @@
+const q1 = 'SELECT * FROM users';
+const q2 = 'SELECT id, body, createdAt FROM posts';
+const q3 = 'SELECT userId, postId FROM comments';
+
+type PickTable<T extends string> = T extends `SELECT ${string} FROM ${infer U}` ? U : never;
+
+type Tables = PickTable<typeof q1 | typeof q2 | typeof q3>;  // 'users' | 'posts' | 'comments'

04-typescript/05-advanced/template-sql.ts

@@ -0,0 +1,11 @@
+const tables = ['users', 'posts', 'comments'] as const;
+type Table = typeof tables[number];
+type AllSelect = `SELECT * FROM ${Table}`;
+type LimitSelect = `${AllSelect} LIMIT ${number}`;
+
+const createQuery = (table: Table, limit?: number): AllSelect | LimitSelect =>
+  limit ? `SELECT * FROM ${table} LIMIT ${limit}` as const
+  : `SELECT * FROM ${table}` as const;
+
+const query = createQuery('users', 20);
+console.log(query);

04-typescript/06-type-guard/user-defined.ts

@@ -16,6 +16,7 @@ const u2: unknown = JSON.parse('{ "username": "patty", "address": "Maple Town" }
 const u3: unknown = JSON.parse(
   '{ "username": "patty", "address": { "zipcode": "111", "town": "Maple Town" } }',
 );
+
 [u1, u2, u3].forEach((u) => {
   if (isUser(u)) {
     console.log(`${u.username} lives in ${u.address.town}`);

CHANGELOG.md

@@ -13,8 +13,15 @@
 
 ### 第1章  こんにちは React
 
-- 従来 Mac のみで説明していた環境作成を Windows についても言及、WSL をベースにした手順を[オンラインドキュメント](../extract/build-win-wnv.md)として追加した
-- プロジェクトパッケージのロックファイルについて、Yarn に加え npm コマンド使用時の `package-lock.json` についても言及
+- 「1-1. 基本環境の構築」の「Node.js をインストールする」項にて、従来 Mac のみで説明していた環境作成を Windows についても言及、WSL をベースにした手順を[オンラインドキュメント](../extract/build-win-wnv.md)として追加した
+- 「1-3. アプリを管理するためのコマンドやスクリプト／Yarn コマンド」にて、プロジェクトパッケージのロックファイルについて、npm コマンド使用時の `package-lock.json` についても言及
+
+### 第4章  TypeScript で型を強める
+
+- 「ユニオン型」を「共用体型」に、「インターセクション型」を「交差型」に呼び方を変更
+- 「4-5. さらに高度な型表現」の「型表現に使われる演算子」項にて、配列の要素から型を作成する書き方の説明を追加
+- 「4-5. さらに高度な型表現」に新しく「条件付き型とテンプレートリテラル型」項を追加
+- 「4-5. さらに高度な型表現」の「組み込みユーティリティ型」項にて、`Record` 型および文字列リテラルの各ユーティリティ型についての説明を追加
 
 ## 第3版（2020-08-20）