Me encontré con un problema con mis tablas de datos dinámicos. Son una serie de configuraciones para cada campo. Todo tiene ciertos campos (id, createdAt, updatedAt, etc.), pero algunos campos son específicos del objeto.

He reproducido esto lo mejor que puedo a continuación.

Todo esto funciona siempre que todo en UserData o PostData sea opcional. Pero sabemos que dejar que el correo electrónico de un usuario no esté definido no tiene ningún sentido, en este contexto.

 // The fields we know all objects will have type RawData = { id: number; } // The fields of a specific type of object type UserData = RawData & { email: string, name: string }; type PostData = RawData & { name: string } // A field config, for dynamic tables or similiar type Config = { getValue: (data: RawData) => string; } const ConfigMap: Record<string, Config> = { // A field that is only valid for users USERNAME: { entity: ['USERS'], getValue: (data: UserData) => '' }, // A field that is valid for either NAME: { entity: ['USERS', 'POSTS'], getValue: (data: UserData | PostData) => '' } }

El problema es que strictFunctionTypes no le gusta esto. Mientras todo sea opcional, está bien. Pero en el momento en que requiero algo, se descompone.

¿Es esto solucionable sin romper los tipos de funciones estrictas?