N[Subtype Metaprogramming] is N[Mostly Harmless]Inheritance go brrrrrrrr... abusing turing-complete typesystems to write fun programs in Python. 2023‑10‑02 13 minute readprogramming ctf python
The Mathematics of TypesProgramming isn't about mindlessly typing away on a keyboard. There is an aesthetic quality that comes with approaching a problem. 2023‑04‑24 12 minute readprogramming mathematics haskell
![Thumbnail for N[Subtype Metaprogramming] is N[Mostly Harmless]](/img/posts/programming/concepts/subtype-metaprogramming/assets/thumbnail-512w.webp)
