TypeScriptで関数の引数や戻り値から型を取得する

const greet = (name: string, word: "Hello" | "Good Bye") => {
  return `${word}, ${name}!`;
};

type Args = Parameters<typeof greet>; // [name: string, word: "Hello" | "Good Bye"]
type firstArg = Args["0"]; // string
type secondArg = Args["1"]; //  "Hello" | "Good Bye"

const getUser = () => ({
  name: "Alice",
  age: 20,
  sex: "female",
  hasPhone: true,
  friends: ["Bob", "Charlie", "David"],
  school: {
    name: "Awesome University",
    major: "cs",
  },
});

type User = ReturnType<typeof getUser>;

// {
//   name: string;
//   age: number;
//   sex: string;
//   hasPhone: boolean;
//   friends: string[];
//   school: {
//     name: string;
//     major: string;
// };

const getUser = async () => ({
  name: "Alice",
  age: 20,
  sex: "female",
  hasPhone: true,
  friends: ["Bob", "Charlie", "David"],
  school: {
    name: "Awesome University",
    major: "cs",
  },
});

type User = ReturnType<typeof getUser> extends Promise<infer T> ? T : never;

// {
//   name: string;
//   age: number;
//   sex: string;
//   hasPhone: boolean;
//   friends: string[];
//   school: {
//     name: string;
//     major: string;
// };