How to: Type system
- [Counterexamples in Type Systems](https://counterexamples.org/intro.html): a library of runtime issues that weren't caught by the type system
- [Use Your Type System](https://www.dzombak.com/blog/2025/07/use-your-type-system/)
  - Your models should each have their own ID type. Public and even private functions should often avoid dealing in floats or integers alone.