TypeScriptでユーザー定義型を関数の戻り値に正しく割り当てる方法を教えてください

Question

実現したいこと

• ユーザー定義型を関数の戻り値に正しく割り当てられるようにする

前提

TypeScriptでタスクを優先度順に表示するtodoリストを作っています。
タスクの優先度を算出する機能を実装中に以下のエラーが発生しました。

発生している問題・エラーメッセージ

型 'number' を型 'PriorityLevel' に割り当てることはできません。

該当のソースコード

export type PersonalLevel = 1 | 2 | 3 | 4 | 5

export type PriorityLevel = 2 | 2.5 | 3 | 3.5 | 4 | 4.5 | 5 | 5.5 | 6 | 6.5 | 7 | 7.5 | 8 | 8.5 | 9 | 9.5 | 10

export type CalcPriority = (importance: PersonalLevel) => (urgency: PersonalLevel) => PriorityLevel
export const calcPriority: CalcPriority = (importance: PersonalLevel) => (urgency: PersonalLevel): PriorityLevel => ((3 * importance) + urgency) / 2 //この関数の戻り値でエラーが出る

試したこと

関数calcPriorityの((3 * importance) + urgency) / 2はPersonalLevel型が取りうる値の中であればPriorityLevel型で定義したものの中に収まるはずです。

実際にmapを使って全ての組み合わせで出力される値を洗い出してみると

const mapTest = () => {
    const a = [1, 2, 3, 4, 5]
    const calc = a.map(value1 => a.map(value2 => ((3 * value1) + value2) / 2))
    console.log(calc)
}
//出力
//[
//  [ 2, 2.5, 3, 3.5, 4 ],
//  [ 3.5, 4, 4.5, 5, 5.5 ],
//  [ 5, 5.5, 6, 6.5, 7 ],
//  [ 6.5, 7, 7.5, 8, 8.5 ],
//  [ 8, 8.5, 9, 9.5, 10 ]
//]

となりPriorityLevelで定義した値以外は存在しません。

また、chatGPT3.5に聞いてみたら型アサーションasを使えと言われたのですが、型アサーションは苦肉の策で使うものですしせっかくガチガチに型定義して固めたいのに型推論を回避して人間に頼るのは本末転倒な気がしてならないです。

補足情報（FW/ツールのバージョンなど）

vscode使ってます。

Answer 1

また、chatGPT3.5に聞いてみたら型アサーションasを使えと言われたのですが

そのとおりです。TypeScriptの型システムでは、数値演算の結果はすべてnumberとなり、計算の過程は参照されません（具体例）。

// xはconstなので1型
const x = 1;
// yの型はnumber
const y = x * 2;

「苦肉の策」を使うよりありません。

Comments

[Tokino]

回答ありがとうございます。計算の過程までは参照されないのですね...