Higher-order type functions in TypeScript?

by

You’re correct, it’s not currently representable in TypeScript. There’s a longstanding open GitHub feature request, microsoft/TypeScript#1213, which should probably be titled something like “support higher kinded types” but currently has the title “Allow classes to be parametric in other parametric classes”.

There are some ideas in the discussion about how to simulate such higher kinded types in the current language (see this comment for a concrete example), but in my opinion they probably don’t belong in production code. If you have some specific structure you’re tying to implement, maybe something appropriate can be suggested.

But in any case if you want to increase the chance (probably negligibly so, unfortunately) that this will ever happen you might want to go to that issue and give it a 👍 and/or describe your use case if you think it’s particularly compelling compared to what’s already there. Okay, hope that helps; good luck!

More Related Contents:

  1. Generic type to get enum keys as union string in typescript?
  2. Create a new object from type parameter in generic class
  3. TypeScript how to create a generic type alias for a generic function?
  4. Typescript: infer type of generic after optional first generic
  5. Why can’t I return a generic ‘T’ to satisfy a Partial?
  6. How to create a Partial-like that requires a single property to be set
  7. Typescript, merge object types?
  8. In TypeScript, how to get the keys of an object type whose values are of a given type?
  9. Parameters generic of overloaded function doesn’t contain all options
  10. ‘compile-time’ way to get all property names defined interface
  11. Typescript ReturnType of generic function
  12. Is it possible to generate string literal combinations with template literal in TypeScript?
  13. Iterable cannot confirm generic T in function
  14. Getting the return type of a function which uses generics
  15. typescript difference between placement of generics arguments
  16. How to define Typescript type as a dictionary of strings but with one numeric “id” property
  17. How to suppress “error TS2533: Object is possibly ‘null’ or ‘undefined'”?
  18. Why does A | B allow a combination of both, and how can I prevent it?
  19. Typescript Discriminated Union allows invalid state
  20. What does ‘declare’ do in ‘export declare class Actions’?
  21. How to get a subset of `keyof T` whose value, T[K] are callable functions in Typescript
  22. How do I check that a switch block is exhaustive in TypeScript?
  23. Angular 2 2.0.0-rc.1 Property ‘map’ does not exist on type ‘Observable’ not the same as issue report
  24. What is target in tsconfig.json for?
  25. ES7 Object.entries() in TypeScript not working
  26. ‘Property does not exist on type ‘never’
  27. Typescript type T or function () => T usage
  28. How to get a variable type in Typescript?
  29. What is exactly the ‘static side’ and the ‘instance side’ in typescript?
  30. get dictionary/object keys as tuple in typescript

Leave a Comment