AAaarestad·Aug 21, 2026Submission
2 points · Open discussionDragon-Hatcher
type-system-chess
Rust2023–2026
Dragon-Hatcher / type-system-chess
type-system-chess
Chess implemented entirely in the Rust and TS type systems.
6Distinct people
6Mentions
0Explicit recommenders
360GitHub stars
What to know before exploring
What it is
Chess implemented entirely in the Rust and TS type systems.
GitHub
Where it is used
No documented product use has been verified yet.
What people are saying
No recommendation phrase was found in the indexed comments.
No classified warning is attached to this page. Read the discussions before treating silence as approval.
Also in these discussions
No other repository is repeatedly linked in the same discussions.
This week on Hacker News
Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 3:56:07 PM UTC.
No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.
Mentions over time
HN mentions by year6 dated mentions
Observed mentions: 2023-07-09 14:45:50 UTC to 2026-08-21 15:12:47 UTC.
* An incomplete calendar period is marked with an outlined bar. Its count is not directly comparable with a full period.
Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.
View mention counts and date ranges
| Period | Start (UTC) | End (exclusive, UTC) | Mentions | Submissions | Comments |
|---|---|---|---|---|---|
| 2023 | 2023-01-01 00:00:00 UTC | 2024-01-01 00:00:00 UTC | 3 | 3 | 0 |
| 2024 | 2024-01-01 00:00:00 UTC | 2025-01-01 00:00:00 UTC | 2 | 0 | 2 |
| 2025 | 2025-01-01 00:00:00 UTC | 2026-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2026 (partial) | 2026-01-01 00:00:00 UTC | 2027-01-01 00:00:00 UTC | 1 | 1 | 0 |
What Hacker News says
6 sourcesTypeScript's type system is Turing complete, so you can not only do that, but also some insane stuff like:
- A SQL database implemented purely in TypeScript type system (https://github.com/codemix/ts-sql)
- Chess implemented entirely in TypeScript (and Rust) type systems (https://github.com/Dragon-Hatcher/type-system-chess)
- Lambda calculus in TypeScript type system (https://ayazhafiz.com/articles/21/typescript-type-system-lam...)
In Cash: A small jQuery alternative for modern browsersSee also: Type System Chess[0], in which the game rules are expressed in the type systems of Rust and TypeScript.
[0]: https://github.com/Dragon-Hatcher/type-system-chess
In Static ChessChess in the type-systems of Rust and TypeScript
2 points · Open discussionChess in the Rust and TypeScript type systems
4 points · Open discussion