aoc 18-23.ts

type BaseList = ["🛹", "🚲", "🛴", "🏄"];

type RepeatAsTuple<
	Item extends string,
	Times extends number,
	Result extends string[] = [],
> = Result["length"] extends Times ? Result : RepeatAsTuple<Item, Times, [...Result, Item]>;

type Rebuild<
	AmountsList extends number[],
	ItemsList extends string[] = BaseList,
	Result extends string[] = [],
> = AmountsList extends [infer Amount extends number, ...infer Rest extends number[]]
	? ItemsList["length"] extends 0
		? Rebuild<AmountsList, BaseList, Result>
		: ItemsList extends [infer Item extends string, ...infer RestOfItemsList extends string[]]
			? [...Result, ...Rebuild<Rest, RestOfItemsList, RepeatAsTuple<Item, Amount>>]
			: []
	: Result;