- [[条件付き型 (TypeScript)|条件付き型]]は[[パターンマッチ (Rust)|パターンマッチ]]に近しいイメージがある - [[条件付き型 (TypeScript)#`number`または`string`を入力すると逆の型をとるケース|条件付き型 (TypeScript)#`number`または`string`を入力すると逆の型をとるケース]] - [[条件付き型 (TypeScript)#typeで別名を定義せずに直接使うケース|条件付き型 (TypeScript)#typeで別名を定義せずに直接使うケース]] - [[inferキーワード (TypeScript)|inferキーワード]] - [[条件付き型は分配的 (TypeScript)|条件付き型は分配的]] は意識したことなかった...