type CliOptionsFromConfig<C> = C extends {
  options: readonly infer O[];
} ? { [K in O as ExtractOptionName<K extends { name: infer N } ? N extends string ? N : never : never>]: ValueOfCliOption<K> } : Record<string, never>;

const config = {
  options: [
    { name: '--port', type: 'number', required: true },
    { name: '--verbose', type: 'boolean', default: false },
    { name: '--host', type: 'string' }
  ]
} as const

type Options = CliOptionsFromConfig<typeof config>
// Results in:
// {
//   port: number        // required
//   verbose: boolean    // has default
//   host: string | undefined  // optional
// }