Posted "Why Type Systems Matter" in doma's blog:
https://doma.dev/blog/why-type-systems-matter/
Mastodon server of https://doma.dev.