PuppetConf 2016

Automating the production of computer system configurations is inherently complex, but can be made easier by creating reusable and composable components using Puppet. Correctness is important. The earlier we know if our server park will be turned into a field of smashed pumpkins or be what we intended, the faster and more reliably we can make changes. This talk introduces the concept of a type system - how do humans think - why do we call a spade a spade? Touch on the characteristics of untyped languages, duck typing, strict types, and type inference. Discuss how types can make for better CM code and how operations can learn from CS. This talk will be sprinkled with equal doses of philosophy, AI, CM, CS and examples in Puppet.