在定义handler参数的类型时，可以通过引用eventHandlers的类型来使其工作。（例如，这就是它们对lib.dom.d.ts中的addEventListener所做的。）我发现最简单的方法是为eventHandlers对象的类型使用类型别名：

type Events = "foo" | "bar";

type EventsPayload = { foo: string; bar: number };
type EventHandler<Event extends Events> = (args: EventsPayload[Event]) => void;

// *** Define the type
type EventHandlers = {
    [Event in Events]?: EventHandler<Event>;
};

const eventHandlers: EventHandlers = {};

// *** Use it for `handler`
export function addEventHandler<Event extends Events>(
    name: Event,
    handler: EventHandlers[Event]
) {
    eventHandlers[name] = handler;
}

Playground链接
实际上，你并不需要**来拥有类型别名，但是，你可以使用typeof eventHandlers来代替：

type Events = "foo" | "bar";

type EventsPayload = { foo: string; bar: number };
type EventHandler<Event extends Events> = (args: EventsPayload[Event]) => void;

const eventHandlers: { [Event in Events]?: EventHandler<Event> } = {};
export function addEventHandler<Event extends Events>(
    name: Event,
    handler: typeof eventHandlers[Event]
) {
    eventHandlers[name] = handler;
}

Playground链接
主观地说，对我来说，如果我们有一个类型别名来工作，那就更清楚了。