Conditional Types & Kata Kunci infer

// Evaluasi Tipe Dinamis
type IsString<T> = T extends string ? "Ya, bertipe string" : "Bukan string";

type Uji1 = IsString<string>; // "Ya, bertipe string"
type Uji2 = IsString<number>; // "Bukan string"

// Ekstraksi Tipe Return dengan kata kunci infer
type EkstrakReturnType<T> = T extends (...args: any[]) => infer R ? R : any;

function hitungSkor(): number {
  return 95;
}

type SkorHasil = EkstrakReturnType<typeof hitungSkor>; // number