GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — GitHub - softwaremill/walk-that-type: A tool for evaluating TypeScript types step by step.

This repository was archived by the owner on Oct 24, 2025. It is now read-only.
BranchesTags
Open more actions menu

Latest commit

 

History

62 Commits
62 Commits

Folders and files

NameName
Last commit message
Last commit date
.github/ISSUE_TEMPLATE
.github/ISSUE_TEMPLATE
 
 
public
public
 
 
src
src
 
 
.eslintrc.cjs
.eslintrc.cjs
 
 
.gitignore
.gitignore
 
 
README.md
README.md
 
 
index.html
index.html
 
 
package.json
package.json
 
 
pnpm-lock.yaml
pnpm-lock.yaml
 
 
tsconfig.json
tsconfig.json
 
 
tsconfig.node.json
tsconfig.node.json
 
 
vite.config.ts
vite.config.ts
 
 

Repository files navigation

Walk That Type

Netlify Status

preview

Debugging complex TypeScript types is painful, because you can't simply put log statements in them and the obscure syntax doesn't help. Introducing Walk That Type: a tool that lets you paste or write any type, then step through it while explaining what happens at each step!

🚧 Warning: this project is still in early development stage. It might include bugs and missing features (see ROADMAP to see what's still coming).

Contributing

  1. Fork this repo
  2. Create a new branch, push your changes, and open a PR.

Feel free to report any issues or feature requests using Github issues.

Development setup

  1. Install pnpm
  2. Run pnpm install
  3. Run pnpm dev to start the dev server
  4. Run pnpm test to run tests (in watch mode)

Implementing new features:

  • Make sure mapASTToTypeNodes handles parsing syntax for this feature, if not, add it. This requires adding a new TypeNode variant. Fill missing cases in functions that use TypeNode (use pnpm check:types to find all these places).
  • Add tests and implement evalT for this feature.
  • Add tests and implement extendsT for this feature (if needed).
  • Add traverse logic in traverse function.
  • In eval-tree.ts add new cases in calculateNextStep and chooseNodeToEval.
  • Finally, update EvalDescription component.

Implementing built-in types

To add a missing built-in type (e.g. Pick) you just need to implement it in the global-types.ts files according to GlobalTypeFn type.

About

A tool for evaluating TypeScript types step by step.

walk-that-type.sml.io/

Topics

learningtooltype-leveltype-level-programmingtypestypescriptvizualisation

Resources

Readme
Activity
Custom properties

Stars

46 stars

Watchers

0 watching

Forks

0 forks
Report repository

Used by

Contributors

Languages

You are visitor 01402520 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.