Typescript type T or function () => T usage

by

You can write:

type Initializer<T> = T extends any ? (T | (() => T)) : never

function correct<T>(arg: Initializer<T>): T {
    return typeof arg === 'function' ? arg() : arg // works
    // arg is Initializer<T> & Function in the true branch
}

const r1 = correct(2) // const r1: 2
const r2 = correct(() => 2) // const r2: number

In the original version, arg is resolved to (() => T) | (T & Function) in the true branch. TS apparently can’t recognize for this union function type, that both constituents are callable. At least in above version, it is clear for the compiler that you can invoke arg after a function check.

Might also be worth to create a github issue for this case in the TypeScript repository – in my opinion T & Function should represent some (wide) type of function.

More Related Contents:

  1. How to fix TS2322: “could be instantiated with a different subtype of constraint ‘object'”?
  2. Angular 2 custom form input
  3. How to check the object type on runtime in TypeScript?
  4. What is the syntax for Typescript arrow functions with generics?
  5. How to extend String Prototype and use it next, in Typescript?
  6. Types in object destructuring
  7. Angular 2: Convert Observable to Promise
  8. How to prepare release version with SystemJS and Gulp?
  9. Angular2 canActivate() calling async function
  10. How to declare a Fixed length Array in TypeScript
  11. Is it possible to restrict number to a certain range
  12. Higher-order type functions in TypeScript?
  13. Angular 6 View is not updated after changing a variable within subscribe
  14. ESLint – Configuring “no-unused-vars” for TypeScript
  15. Object destructuring with property names that are not valid variable names
  16. How to install Typescript typings for google maps
  17. Function property vs method
  18. How to declare a type as nullable in TypeScript?
  19. How to use Object.values with typescript?
  20. is there a way to get all required properties of a typescript object
  21. Typescript: ReturnType of overloaded function
  22. What TypeScript version is Visual Studio Code using? How to update it?
  23. Why does TypeScript track mutation of function static properties?
  24. Array VS Type[] in Typescript
  25. What’s the meaning of “=>” in TypeScript? (Fat Arrow)
  26. How to use array.map with tuples in typescript?
  27. Typescript: Omit a property from all interfaces in a union, but keep the union structure
  28. how to remove properties via mapped type in TypeScript
  29. Simple function with conditional type
  30. Iterable cannot confirm generic T in function

Leave a Comment