See 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