Using Typescript to specify the parameter type of a function as a generic function

Question

Using Typescript to specify the parameter type of a function as a generic function

After creating a function called compose, it looks like this:

const composeTyped = <T, U, R>(f: (x: T) => U, g: (y: U) => R) => (x: T) => g(f(x));

It appears to me that both functions f and g fall under the type fGeneric, which is defined as follows:

type fGeneric = <T, R>(arg: T) => R;

The issue I'm facing is understanding whether and how I can utilize the fGeneric type to specify the types of f and g in composedType. Specifically, if I attempt the following:

const composeTyped_ = <T, U, R>(f: fGeneric, g: fGeneric) => (x: T) => g(f(x));

The composeTyped_ function ends up with the type (x: T) => unknown. However, my goal is to have it be of type (x: T) => R.

typescript typescript-generics

Answer 1

Answer №1

To make fGeneric accept generic type arguments, it needs to be defined as follows:

type fGeneric<T, R> = (arg: T) => R;

Next, the function composeTyped_ can be implemented like this:

const composeTyped_ = <T, U, R>(
  f: fGeneric<T, U>,
  g: fGeneric<U, R>
) => (x: T) => g(f(x));

After defining these functions, you can use them as shown below:

declare const f: (str: string) => number

declare const g: (num: number) => null

// This call should now work without any issues
composeTyped_(f, g)

// The following call will produce an error message due to incompatible types being passed
composeTyped_(g, f)

Answer 2

To make fGeneric accept generic type arguments, it needs to be defined as follows:

type fGeneric<T, R> = (arg: T) => R;

Next, the function composeTyped_ can be implemented like this:

const composeTyped_ = <T, U, R>(
  f: fGeneric<T, U>,
  g: fGeneric<U, R>
) => (x: T) => g(f(x));

After defining these functions, you can use them as shown below:

declare const f: (str: string) => number

declare const g: (num: number) => null

// This call should now work without any issues
composeTyped_(f, g)

// The following call will produce an error message due to incompatible types being passed
composeTyped_(g, f)

Using Typescript to specify the parameter type of a function as a generic function

Answer №1

Similar questions

Guide on Applying a Dynamic Color in VueJs 3 Composition API/Vuetify Using CSS

The data type 'null' is not a valid index type to be used in the Array.reduce() accumulator

Currently experimenting with optimal strategies for implementing useReducer and context hooks

What is the Typescript compiler utilized by Visual Studio 2015 when compiling on save?

Implementing error wrapper in typescript to handle failing promises with n retries

React's memo and/or useCallback functions are not functioning as anticipated

What is the best way to bring in local modules within the browser environment using Playwright?

Creating a type definition for the createSelector function based on the useQuery result

Is there a way to switch an element across various pages within Ionic 3?

Utilize Material-UI in Reactjs to showcase tree data in a table format

Ensuring complete type safety by passing an object literal as a function parameter to a TypeScript type with rigorous type validation

A peculiar TypeError occurred when testing a React component with Enzyme, preventing the addition of a property as the object is not extensible in the Object

Authentication of users using NextJS Dashboard App API

What is the best way to integrate Nextjs Link Component with framer motion in a Typescript environment?

Struggling to successfully pass a function as an argument to the setTimeout method within an array in node.js using TypeScript

Using TypeScript to destructure by providing types

The JSON object, which has been converted into a string and sent over the network,

Attention: WARNING regarding the NEXTAUTH_URL in the Development Console

Creating an array by extracting form values in Angular

What is causing this issue in TypeScript version 4.8?