KO | EN

GitLite

Minimalist Open Source Repository Search Engine

gitlite — search

#dsh #dsh-plugin #ai-agents #developer-tools #typescript #codex #cli #claude-code #mcp #rust #deepseek-harness #ai-agent

sudoku-type-solver

★ 34 Open GitHub ↗

This repository is just a bit of fun that explores pushing the advanced features of TypeScript's type system to the limits by using it to solve Sudoku puzzles.

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# Sudoku Solver using TypeScript Type System and Compiler

This repository is just a bit of fun that explores
pushing the advanced features of TypeScript's type system
to the limits by using it to solve Sudoku puzzles.

There is an associated [TypeScript 4.1 blog post](https://instil.co/blog/crazy-powerful-typescript-41/)
that covers some of the features that are used.

Note that we are not executing code or using data, we're only
defining types, but the types are compiled so that only
the solution to the Sudoku is a valid value.

It utilises advanced TypeScript features,

- Union Types
- Conditional Types
- Mapped Types
- Variadic Tuple Types
- Recursive Conditionals (4.1+)

The motivation was really the inclusion of Recursive Conditional
types in TypeScript 4.1.

## Setup

You will need to ensure you are using TypeScript 4.1 
so perform an `npm install` and set your IDE to use the workspace
version of TypeScript.

If you build, the code WILL give errors. This is just a bit of fun
and pushes the compiler further than you would in normal production
code so you will see lots of errors like,

- `Type instantiation is excessively deep and possibly infinite.`
- `Excessive stack depth comparing types ...`

I could make it a bit more complex and count the recursive loops
and bomb out after a certain number but haven't done it.

## Viewing the Solution

The easiest way to see the result is to open `tests.ts` in Visual
Studio Code and hold `Ctrl` while hovering over `Result1` and `Result2`.

![Showing Results](https://raw.githubusercontent.com/eamonnboyle/sudoku-type-solver/main/assets/ViewResults.gif)

## More TypeScript

I work for a software development company called [Instil Software](https://instil.co) 
which also provides training. We train teams all over the world on all sorts of topics
(not just TypeScript).

Check out our [TypeScript course promo video](https://www.youtube.com/watch?v=NWKzh6So1Cw)
and some of our courses,

- [TypeScript](https://instil.co/courses/typescript-introduction/)
- [React with TypeScript](https://instil.co/courses/react-with-typescript/)
- [Angular](https://instil.co/courses/introduction-to-angular/)
- [All Courses](https://instil.co/training/)

## References

Lot's of inspiration from [ts-toolbelt](https://github.com/millsp/ts-toolbelt).

sudoku-type-solver

Explore Similar Repositories

Was this content helpful?

Recent Feedback

Download README