The Truth and Nothing But the Truth, why type systems matters to configuration management
Henrik Lindberg - Monday, February 6, 14:40 - 15:20 - D.AUD
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.
Henrik has 30 years of experience architecting and developing software. His past positions include CTO of Cloudsmith Inc, leadership of BEA’s Java Run-Time Group (JRockit) and CTO and/or technical founder of several publicly and privately held software companies. Henrik works on the Language team at Puppet and is the author of the 4.x "future" parser, and Puppet Type System.