ArticCon 2022 (continued)

but why all this type checking?

1. Catches programmer errors
   • looking for keys in the wrong level in a nested structure
   • certain classes of typos
   • structuring the configuration incorrectly
2. if you change a type, the compiler will tell you everywhere in the code you need to make an update
3. Enforces rules
   • in our example we’re treating networks almost like tenants, they all have the same resources applied