• 文字列型（String）
  例: "Hello, world!", 'TypeScript'
• 数値型（Number）
  例: 42, 3.14, -100
• 真偽値型（Boolean）
  例: true, false
• 配列型（Array）
  例: [1, 2, 3], ['a', 'b', 'c']
• オブジェクト型（Object）
  例: { name: "Alice", age: 25 }
• null 型 / undefined 型
  例: null, undefined

TypeScriptの型: ユニオン型、ジェネリック型、Branded型、Extends型

TypeScriptには、柔軟性や型安全性を向上させるための便利な型が用意されています。
ここでは、ユニオン型、ジェネリック型、Branded型、Extends型について詳しく説明します。

1. ユニオン型（Union Type）

何？

• 複数の型を1つにまとめた型です。ある変数や引数が複数の異なる型を受け取る場合に使います。
• 記述には縦棒（|）を使います。

使用例

let value: string | number;

value = "hello"; // OK: string 型
value = 42;      // OK: number 型
value = true;    // エラー: boolean 型は許容されない

利点

• 柔軟性が高く、異なる型の値を扱いたい場合に便利。
• 明確に型を指定するため、TypeScriptは型に基づいた補完やチェックを提供します。

応用例

function formatInput(input: string | number): string {
  if (typeof input === "string") {
    return input.toUpperCase();
  } else {
    return input.toFixed(2); // 数値の場合
  }
}

2. ジェネリック型（Generic Type）

何？

• 型を引数のように渡すことができる型。
  どんな型にも対応できる汎用的な構造を作りたいときに使います。
• <> で型を定義します。

使用例

function identity<T>(value: T): T {
  return value;
}

identity<string>("hello"); // "hello" が返る
identity<number>(42);      // 42 が返る

利点

• 再利用性が高く、型安全を保ちながら柔軟に使える。
• 特定の型に縛られないため、さまざまなデータ型に対応可能。

ジェネリック型の応用例

function merge<T, U>(obj1: T, obj2: U): T & U {
  return { ...obj1, ...obj2 };
}

const merged = merge({ name: "Alice" }, { age: 25 });
console.log(merged.name); // "Alice"
console.log(merged.age);  // 25

3. Branded型（ブランド型）

何？

• 特定の型に識別子を付けることで、他の同じ構造の型と区別するための型。
• 型に「タグ」を付けて拡張するために使います。

使用例

type UserId = string & { __brand: "UserId" };
type OrderId = string & { __brand: "OrderId" };

function getUserById(id: UserId) {
  // UserId型を受け取る関数
  console.log(`Fetching user with id: ${id}`);
}

const userId = "user123" as UserId;
const orderId = "order123" as OrderId;

getUserById(userId); // OK
getUserById(orderId); // エラー: 型が一致しない

利点

• 同じ基本型（例: string）であっても、別の型として扱えるため、意図しない型の使用を防げます。
• IDや識別子など、型の区別が重要な場面で役立つ。

4. Extends型

何？

• 型に制約を付けるための構文で、ジェネリック型とよく一緒に使われます。
• extends を使うことで、「特定の型に従う必要がある」ことを指定できます。

使用例

function getLength<T extends { length: number }>(item: T): number {
  return item.length;
}

getLength("hello");      // OK: string 型は length を持つ
getLength([1, 2, 3]);    // OK: 配列も length を持つ
getLength(42);           // エラー: number 型は length を持たない

利点

• 型に制約を加えることで、より型安全なコードを記述できます。
• ジェネリック型と組み合わせることで柔軟性を高めながら、安全性を保つことができます。

まとめ

これらの型をうまく活用することで、TypeScriptでより柔軟かつ安全なプログラムを作成できます！

型安全とは？

型安全（Type Safety）とは、プログラム内でデータ型が一貫して正しく使われることを指します。
これにより、予期しないエラーを防ぐことができます。具体的には、型安全性があると、型が不正なデータや操作に対してエラーを出し、プログラムの誤動作を防ぎます。

型安全のポイント

1. 正しい型のデータのみ扱う
   ある変数や関数が「期待する型」と異なるデータを扱おうとした場合に、エラーとして検出します。

2. 静的型付けと型安全

   • 静的型付け言語（TypeScript、Javaなど）では、コンパイル時に型チェックを行い、エラーを早期に発見できます。
   • 動的型付け言語（JavaScript、Pythonなど）では型安全性が弱い場合があり、実行時エラーのリスクが高まります。

型安全のない場合

JavaScriptの例（型安全が弱い）

function add(a, b) {
  return a + b;
}

console.log(add(1, 2));       // 3（OK: 数字同士）
console.log(add("1", 2));     // "12"（問題: 暗黙的に文字列結合が起きる）
console.log(add({}, []));     // "[object Object]"（問題: 意味不明な結果）

JavaScriptでは関数に渡す引数の型がチェックされないため、不正な型を渡しても実行時までエラーが出ません。その結果、意図しない挙動をする場合があります。

型安全な場合

TypeScriptの例（型安全が強い）

function add(a: number, b: number): number {
  return a + b;
}

console.log(add(1, 2));        // OK: 結果は 3
console.log(add("1", 2));      // エラー: "1" は number 型ではない
console.log(add({}, []));      // エラー: {} や [] は number 型ではない

TypeScriptでは、型チェックが働き、期待されない型を渡した場合にコンパイルエラーとなります。これにより、実行前にエラーを修正でき、バグの発生を防ぎます。

型安全のメリット

1. 実行時エラーの削減
   コンパイル時に型の不整合を検出するため、プログラムの実行中に発生するエラーを減らせます。

2. 意図した挙動の保証
   関数やクラスが設計通りに動作することを保証します。間違ったデータ型が原因で挙動が変わることを防ぎます。

3. コードの読みやすさと保守性向上
   型注釈によって、コードが何を期待しているかが明示されるため、読みやすくなり、他の開発者が理解しやすくなります。

4. 開発時の補助
   型情報を利用してIDE（統合開発環境）が自動補完やエラー検出をサポートします。

型安全の実例

関数の引数と返り値の型チェック

function greet(name: string): string {
  return `Hello, ${name}!`;
}

greet("Tom");   // OK: 結果は "Hello, Tom!"
greet(42);      // エラー: 引数に number 型は渡せない

配列操作の型安全

const numbers: number[] = [1, 2, 3];
numbers.push(4);  // OK: 配列に number 型を追加
numbers.push("5"); // エラー: 配列には number 型のみ許容

オブジェクトの型定義

interface User {
  name: string;
  age: number;
}

const user: User = { name: "Alice", age: 25 };  // OK
const invalidUser: User = { name: "Bob" };      // エラー: `age` プロパティが不足

型安全と型推論

TypeScriptなどでは、明示的に型を指定しなくても、型推論によって型安全が保たれることがあります。

型推論の例

let count = 0;  // 型は自動的に number に推論される
count = 42;     // OK
count = "42";   // エラー: number 型に文字列は代入不可

まとめ

• 型安全とは、データ型の不整合を防ぎ、コードが正しく動作することを保証する仕組みです。
• TypeScriptなどの型安全な言語を使うことで、次のようなメリットがあります：
  1. 実行時エラーの削減
  2. プログラムの意図した挙動を保証
  3. コードの読みやすさと保守性の向上
  4. 開発の効率化（IDEサポート）

型安全なプログラミングは、バグの少ない、信頼性の高いコードを書くための基本的な考え方です！

CRUDとは、データベースやアプリケーションが持つ基本的な操作を表す用語で、以下の4つの英単語の頭文字を取ったものです：

1. Create（作成）
   データを新規に作成する操作。
   例：ユーザー登録、記事の投稿。

2. Read（読み取り）
   データを取得して表示する操作。
   例：プロフィールの表示、商品の一覧表示。

3. Update（更新）
   既存のデータを変更する操作。
   例：プロフィールの編集、記事の内容を修正。

4. Delete（削除）
   データを削除する操作。
   例：アカウント削除、投稿の削除。

これらは、ほとんどのシステムやアプリで基本的に実装される機能です。データを管理する仕組みの核となる概念なので、開発者にとっては非常に重要です。