Typescript Nomial Type

ID 型つくりたい

リテラル

Enums

まあバリデーション付けて関数にすればいい

例えば

code:validate.ts

function FooId(id: String): FooId {

if (!validate(id)) throw new Error("invalid input");

return id as FooId

}

❌ number で使えない

インタフェースの使用

⭕ TypeScript コンパイラチームでも使われている

code:newtype.ts

declare const __newtype: unique symbol;

export type newtype<Constructor, Type> = Type & {

}

export type TagId = newtype<'TagId', string>;

export function TagId(value: string): Result<TagId, ValidationError> {

return validate(value)

? ok(value as TagId)

: err(new ValidationError('IDの形式が不正です'))

}

// ---

export type FooId = newtype<'FooId', string>;

export type BarId = newtype<'BarId', string>;

export function FooId(value: string): FooId {

return value as FooId;

}

export function BarId(value: string): BarId {

return value as BarId;

}

let fooId = FooId('foo');

let barId = BarId('bar');

fooId = barId; // error

barId = fooId; // error

let str: string;

str = fooId;

str = barId;

unique symbol

型変数であって Constructor 自体ではない、Id 型ごとに違う値をいれればよい、Name とかでもいい

ややテクいので

number 使わないなら Enum のほうが分かりやすい vs 1回定義したらいいの ラインの勝負かな