基本の型 — プリミティブ・配列・オブジェクト

const name: string = 'Alice';
const age: number = 25;
const isActive: boolean = true;

// 型注釈あり
const name: string = 'Alice';
 
// 型注釈なし — TypeScriptが string と推論する
const name = 'Alice';

// 初期値がないとき — 推論できないので型注釈が必要
let result: string;
 
// 関数の引数 — 推論されないので型注釈が必要
function greet(name: string) {
  return `こんにちは、${name}さん`;
}
 
// 推論結果を明示的に制限したいとき
let status: 'loading' | 'success' | 'error' = 'loading';
// 型注釈がないと string に推論されてしまう

const numbers: number[] = [1, 2, 3];
const names: string[] = ['Alice', 'Bob'];
const flags: boolean[] = [true, false, true];

// この2つは同じ
const numbers: number[] = [1, 2, 3];
const numbers: Array<number> = [1, 2, 3];

const numbers = [1, 2, 3]; // number[] と推論される
const mixed = [1, 'hello']; // (number | string)[] と推論される

const user: { name: string; age: number } = {
  name: 'Alice',
  age: 25,
};

const user: { name: string; age?: number } = {
  name: 'Alice',
  // ageは省略できる
};

const user: { readonly name: string; age: number } = {
  name: 'Alice',
  age: 25,
};
 
user.name = 'Bob'; // コンパイルエラー — readonlyなので変更できない
user.age = 26; // OK

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

// 戻り値の型を省略 — TypeScriptが number と推論する
function add(a: number, b: number) {
  return a + b;
}

const add = (a: number, b: number): number => {
  return a + b;
};
 
// 1行で返せる場合
const add = (a: number, b: number): number => a + b;

function logMessage(message: string): void {
  console.log(message);
  // returnがない、または return; だけ
}

let value: any = 'hello';
value = 42; // OK
value = true; // OK
value.foo.bar; // コンパイルエラーにならない（実行時にエラーになる可能性あり）

let value: unknown = 'hello';
 
// そのままでは使えない
value.toUpperCase(); // コンパイルエラー
 
// 型を確認してから使う
if (typeof value === 'string') {
  value.toUpperCase(); // OK — この中ではstring型として扱える
}

// 必ず例外を投げる関数
function throwError(message: string): never {
  throw new Error(message);
}