Infrastructure as Types

In this talk, I'll show you infrastructure from a pragmatic point of view. I'll be talking about complexity, entropy and problems in the infrastructure. I'll explain briefly the why and how of the Cloud Native platforms. I'll show how workloads need to be adapted for the cloud and what new problems they face.

Finally, we'll try to answer the following:
With Infrastructure as Code gaining popularity, what can be the next step?
What if we could leverage a strongly typed programming language?

I'll also show an idea for Infrastructure as Types and a proof of concept written in Scala. This talk will help you systematize your knowledge about infrastructure and the cloud and hopefully inspire to wonder about what the future might bring in that regard.