ある関数の戻り値しか許容しない型を作る

convenienceType.ts

/** seedに応じた名前を生成する関数です */
const createFirstName = (seed: number) => {
  switch (seed) {
    case 0:
      return "鈴木さん";
    case 1:
      return "後藤さん";
    case 2:
      return "マリオ";
    default:
      return "名無しの小五郎";
  }
};

/** createFirstName()で生成される文字列しか許容しない型です  */
type MyType = ReturnType<typeof createFirstName>;

// MyType型に好きな文字列を入れてみます
const foo: MyType = "鈴木さん"; // OK
const bar: MyType = "名無しの小五郎"; // OK
const baz: MyType = "エミリー"; // Error