Type alias for functions in Typescript - Step-by-Step Execution

Concept Flow - Type alias for functions

Define type alias

↓

Use alias to type a function

↓

Call function with correct args

↓

Function runs and returns value

↓

Use returned value

First, we create a type alias for a function signature. Then we use it to type a function. When we call the function, it runs and returns a value typed by the alias.

Execution Sample

Typescript

type Greet = (name: string) => string;

const sayHello: Greet = (name) => {
  return `Hello, ${name}!`;
};

console.log(sayHello("Alice"));

This code defines a type alias for a function that takes a string and returns a string, then uses it to type a function that greets by name.

Execution Table

Step	Action	Evaluation	Result
1	Define type alias Greet	Greet = (string) => string	Type alias created
2	Assign sayHello with type Greet	sayHello: Greet	sayHello typed as function(string) => string
3	Call sayHello("Alice")	Input: "Alice"	Function executes
4	Return from sayHello	Returns `Hello, Alice!`	Output: "Hello, Alice!"
5	console.log output	Prints to console	Hello, Alice!
6	End	No more code	Execution stops

💡 All steps completed, function called and output printed

Variable Tracker

Variable	Start	After 1	After 2	After 3	Final
Greet	undefined	type alias set	type alias set	type alias set	type alias set
sayHello	undefined	undefined	function assigned	function assigned	function assigned
name	undefined	undefined	undefined	"Alice"	undefined
return value	undefined	undefined	undefined	"Hello, Alice!"	"Hello, Alice!"

Key Moments - 3 Insights

Why do we use a type alias for a function instead of typing the function directly?

Using a type alias (see step 1 in execution_table) lets us reuse the function signature easily for multiple functions, keeping code clear and consistent.

What happens if the function does not return a string as the alias requires?

TypeScript will show an error at assignment (step 2) because the function's return type must match the alias's return type, ensuring type safety.

Why is the variable 'name' undefined before the function call?

'name' is a parameter local to the function and only gets a value when the function is called (step 3). Before that, it does not exist in the outer scope.

Visual Quiz - 3 Questions

Look at the execution table, what is the output printed at step 5?

A "Hello, Alice!"

B "Hello, Bob!"

C undefined

D Error

💡 Hint

Check the 'Result' column at step 5 in the execution_table.

At which step does the function parameter 'name' get its value?

A Step 1

B Step 4

C Step 3

D Step 5

💡 Hint

Look at the 'Evaluation' column for when 'name' is assigned a value in the execution_table.

If we change the type alias to return number instead of string, what will happen at step 2?

A No error, function works as before

B TypeScript error because function returns string not number

C Function returns number automatically

D Function call fails at runtime

💡 Hint

Refer to key_moments about return type mismatch and step 2 in execution_table.

Concept Snapshot

Type alias for functions:
- Syntax: type Name = (params) => returnType;
- Use alias to type functions for clarity and reuse
- Ensures function matches signature
- Helps catch errors early
- Example: type Greet = (name: string) => string;

Full Transcript

This visual trace shows how to create a type alias for a function in TypeScript. First, we define the alias 'Greet' as a function taking a string and returning a string. Then we assign a function 'sayHello' using this alias. When we call sayHello with 'Alice', the function runs and returns 'Hello, Alice!'. The console.log prints this output. Variables like 'name' only get values during the function call. Using type aliases helps keep code clear and safe by enforcing function signatures.