Declaration file syntax (.d.ts) in Typescript - Step-by-Step Execution

Concept Flow - Declaration file syntax (.d.ts)

Start: Write .d.ts file

↓

Declare types/interfaces

↓

Declare functions/classes

↓

Export declarations

↓

Use in TypeScript code

↓

Compiler uses declarations for type checking

↓

End

This flow shows how you write a .d.ts file declaring types and functions, export them, and then use them in TypeScript for type checking.

Execution Sample

Typescript

declare function greet(name: string): string;
interface Person {
  name: string;
  age?: number;
}
export { greet, Person };

This .d.ts file declares a function and an interface, then exports them for use in other TypeScript files.

Execution Table

Step	Action	Syntax Evaluated	Result
1	Declare function greet	declare function greet(name: string): string;	Function type signature available
2	Declare interface Person	interface Person { name: string; age?: number; }	Interface type available with optional age
3	Export declarations	export { greet, Person };	greet and Person are exported for external use
4	Use in TS code	import { greet, Person } from './file';	Types available for type checking
5	Compile TS code	tsc compiles using .d.ts types	No runtime code generated, only type info used
6	End		Declaration file syntax processed successfully

💡 All declarations processed; .d.ts file provides type info without runtime code.

Variable Tracker

Declaration	Start	After Step 1	After Step 2	After Step 3	Final
greet	undefined	Declared as function type	Declared	Exported	Available for import
Person	undefined	undefined	Declared interface	Exported	Available for import

Key Moments - 2 Insights

Why does the .d.ts file not contain function bodies?

Because .d.ts files only declare types and signatures for type checking, they do not include implementation code, as shown in execution_table step 1.

How does TypeScript use the exported declarations from a .d.ts file?

TypeScript imports the declarations for type checking without runtime code, as seen in execution_table step 4 and 5.

Visual Quiz - 3 Questions

Look at the execution_table, what is the result after declaring the interface Person (Step 2)?

A Function type signature available

B Interface type available with optional age

C Declarations exported

D Runtime code generated

💡 Hint

Check the 'Result' column in execution_table row for Step 2.

At which step does TypeScript use the declarations for type checking?

A Step 5

B Step 3

C Step 1

D Step 6

💡 Hint

Look for 'Compile TS code' action in execution_table.

If you add a function body inside the .d.ts file, what would happen?

A It will be ignored and cause no issues

B It will generate runtime code

C It will cause a syntax error

D It will be treated as a type alias

💡 Hint

Recall that .d.ts files only allow declarations without implementations.

Concept Snapshot

Declaration file (.d.ts) syntax:
- Use 'declare' to specify functions, variables, classes, interfaces.
- No function bodies or implementations allowed.
- Export declarations to share types.
- Used by TypeScript compiler for type checking only.
- No runtime code generated from .d.ts files.

Full Transcript

This visual execution trace shows how a TypeScript declaration file (.d.ts) is written and processed. First, you declare types like functions and interfaces without implementations. Then you export these declarations. When you use these in TypeScript code, the compiler reads the .d.ts file to check types but does not generate runtime code. The execution table walks through each step, showing how declarations become available for import and type checking. Key moments clarify why .d.ts files have no function bodies and how TypeScript uses them. The quiz tests understanding of declaration results, usage steps, and syntax rules. The snapshot summarizes the main points for quick reference.

Practice

1. What is the main purpose of a TypeScript declaration file (.d.ts)?

easy

A. To describe the types and structure of existing JavaScript code without implementation

B. To write executable TypeScript code

C. To compile TypeScript into JavaScript

D. To store runtime configuration settings

Solution

1. Step 1: Understand the role of declaration files

   Declaration files provide type information about existing JavaScript code but do not contain actual code implementations.

2. Step 2: Differentiate from other file types

   Unlike .ts files that contain executable code, .d.ts files only describe types and interfaces.

3. Final Answer:

   To describe the types and structure of existing JavaScript code without implementation -> Option A

4. Quick Check:

   Declaration files describe types only [OK]

Hint: Declaration files describe types, not code execution [OK]

Common Mistakes:

• Thinking declaration files contain executable code
• Confusing declaration files with config files
• Assuming declaration files compile to JavaScript

2. Which of the following is the correct syntax to declare a function named greet that takes a string and returns void in a .d.ts file?

easy

A. function greet(name: string): void;

B. function greet(name: string): void {}

C. declare greet(name: string): void;

D. declare function greet(name: string): void;

Solution

1. Step 1: Recognize declaration syntax in .d.ts files

   Functions must be declared with the declare keyword and no implementation body.

2. Step 2: Check each option

   function greet(name: string): void; misses declare, declare greet(name: string): void; has incorrect syntax, function greet(name: string): void {} includes a function body which is not allowed in declaration files.

3. Final Answer:

   declare function greet(name: string): void; -> Option D

4. Quick Check:

   Use declare function without body [OK]

Hint: Use 'declare function' with no body in .d.ts files [OK]

Common Mistakes:

• Omitting the 'declare' keyword
• Adding function bodies in declaration files
• Using incorrect declaration syntax

3. Given the following declaration in a .d.ts file:

declare module "math-lib" {
  export function add(a: number, b: number): number;
}

What will be the TypeScript type of result after this code?

import { add } from "math-lib";
const result = add(5, 3);

medium

A. string

B. void

C. number

D. any

Solution

1. Step 1: Analyze the declaration file

   The module "math-lib" declares an exported function add that takes two numbers and returns a number.

2. Step 2: Understand the import and usage

   The code imports add and calls it with two numbers, so the result type matches the declared return type: number.

3. Final Answer:

   number -> Option C

4. Quick Check:

   Declared return type = number [OK]

Hint: Return type in declaration matches usage type [OK]

Common Mistakes:

• Assuming return type is any by default
• Confusing return type with parameter types
• Ignoring module declaration types

4. Identify the error in this .d.ts declaration:

declare var count: number = 10;

medium

A. Variables cannot be declared with initial values in .d.ts files

B. The keyword 'var' is not allowed in declaration files

C. The type 'number' is invalid in declaration files

D. The 'declare' keyword is missing

Solution

1. Step 1: Understand variable declaration in .d.ts files

   Declaration files only declare types and variables without assigning values.

2. Step 2: Check the given code

   The code assigns = 10 which is not allowed in declaration files.

3. Final Answer:

   Variables cannot be declared with initial values in .d.ts files -> Option A

4. Quick Check:

   No initial values allowed in declarations [OK]

Hint: No initial values in declarations, only types [OK]

Common Mistakes:

• Adding initial values to declared variables
• Removing 'declare' keyword mistakenly
• Using invalid keywords in declaration files

5. You want to write a declaration file for a JavaScript library that exports an object with keys as strings and values as functions returning numbers. Which is the correct declaration syntax in a .d.ts file?

hard

A. declare const lib: Map number>; export default lib;

B. declare const lib: { [key: string]: () => number }; export default lib;

C. declare const lib: { key: string; value: () => number }; export default lib;

D. const lib: { string: () => number }; export default lib;

Solution

1. Step 1: Understand the object shape needed

   The library exports an object where keys are strings and values are functions returning numbers.

2. Step 2: Match syntax for index signatures in declaration files

   declare const lib: { [key: string]: () => number }; export default lib; uses the correct index signature syntax { [key: string]: () => number } with declare and exports default.

3. Step 3: Eliminate incorrect options

   const lib: { string: () => number }; export default lib; lacks declare and uses invalid syntax, declare const lib: { key: string; value: () => number }; export default lib; incorrectly declares keys and values as properties, declare const lib: Map number>; export default lib; uses Map which is not specified.

4. Final Answer:

   declare const lib: { [key: string]: () => number }; export default lib; -> Option B

5. Quick Check:

   Use index signature with declare and export default [OK]

Hint: Use index signature {[key: string]: type} for dynamic keys [OK]

Common Mistakes:

• Using invalid object property syntax
• Omitting 'declare' keyword
• Confusing Map with plain object types