hasparus/typescript-challenge--questions-asnwers.ts

## typescript-challenge--questions-asnwers.ts
const questions = [
  {
    message: 'Enter your login (email address)...',
    name: 'login',
    type: 'input',
  },
  {
    message: 'Enter your password...',
    name: 'password',
    type: 'password',
  },
] as const;

type Input = string & { __brand: 'Input' };
type Password = string & { __brand: 'Password' };

type QuestionTypeToValueType = {
    input: Input;
    password: Password;
    price: number;
}

type Question = {
    readonly message: string;
    readonly name: string;
    readonly type: string;
}

type Answer<Q extends Question> = {[P in Q['name']]: Q['type']};

/**
 * type X = { login: "input" };
 */
type X = Answer<{ message: '', name: 'login', type: 'input' }>;

type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never;

type Simplify<T> = Pick<T, keyof T>

type Answers<Qs extends readonly Question[]> = Simplify<UnionToIntersection<{
    [I in keyof Qs]: Qs[I] extends Qs[number] ? Answer<Qs[I]> : never;
}[number]>>

/**
 * type Y = {
 *   login: 'input';
 *   password: 'password';
 * }
 */
type Y = Answers<typeof questions>;

// type Z = {
//     login: Input;
//     password: Password;
// }
type Z = { [K in keyof Y]: QuestionTypeToValueType[Y[K]] }
	const questions = [
	{
	message: 'Enter your login (email address)...',
	name: 'login',
	type: 'input',
	},
	{
	message: 'Enter your password...',
	name: 'password',
	type: 'password',
	},
	] as const;

	type Input = string & { __brand: 'Input' };
	type Password = string & { __brand: 'Password' };

	type QuestionTypeToValueType = {
	input: Input;
	password: Password;
	price: number;
	}

	type Question = {
	readonly message: string;
	readonly name: string;
	readonly type: string;
	}

	type Answer<Q extends Question> = {[P in Q['name']]: Q['type']};

	/**
	* type X = { login: "input" };
	*/
	type X = Answer<{ message: '', name: 'login', type: 'input' }>;

	type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never;

	type Simplify<T> = Pick<T, keyof T>

	type Answers<Qs extends readonly Question[]> = Simplify<UnionToIntersection<{
	[I in keyof Qs]: Qs[I] extends Qs[number] ? Answer<Qs[I]> : never;
	}[number]>>

	/**
	* type Y = {
	* login: 'input';
	* password: 'password';
	* }
	*/
	type Y = Answers<typeof questions>;

	// type Z = {
	// login: Input;
	// password: Password;
	// }
	type Z = { [K in keyof Y]: QuestionTypeToValueType[Y[K]] }