≪ Today I learned. RSS購読
公開日
タグ
TypeScript
著者
ダーシノ(@bc_rikko)

TypeScript 5.8 リリースノート

TypeScript 5.8 betaがリリースされた。

戻り値の型推論の改善

以下のように、ある条件（kind）によって戻り値の型が変わる関数があるとする。

enum Kind { A, B, }
function pick(
  kind: Kind,
  value: readonly string[]
): string | string[] {
  // ...
}

この状態では string | string[] が返ってくるため result.join(',') がエラーになることがある。さらに実装側でも型にアサインできないというエラーがでる。

enum Kind {
  A,
  B,
}
interface PickReturn {
  [Kind.A]: string
  [Kind.B]: string[]
}

function pick<K extends Kind>(
  kind: K,
): PickReturn[K] {
  const values:string[] = []
  if (kind === Kind.A) {
    // TS5.8からはエラーにならない
    return values[0] // as PickReturn[K]
    // Type 'string' is not assignable to type 'PickReturn[K]'.
    //   Type 'string' is not assignable to type 'string & string[]'.
    //     Type 'string' is not assignable to type 'string[]'
  } else {
    // TS5.8からはエラーにならない
    return values // as PickReturn[K]
    // Type 'string[]' is not assignable to type 'PickReturn[K]'.
    //   Type 'string[]' is not assignable to type 'string & string[]'.
    //     Type 'string[]' is not assignable to type 'string'.
  }
}

この場合、returnしているところで as PickReturn[K] とするとエラーは解消できるのだが、TypeScriptの型チェックを無効化してしまうため、バグが検知できなくなってしまう。

TypeScript 5.8からは、コードを分析して絞り込まれた型を返すようになるので、先程のコードがエラーにならなくなる。

TypeScript固有の構文を許可しない

Node.js 23.6で、デフォルトでTypeScriptファイルを直接実行できるようになった。そのため、TypeScript固有の構文があると不都合があるため、--erasableSyntaxOnlyというオプションが追加された。

フラグを有効にすると以下の構文がサポートされなくなる。