Daniel Spiewak (  / @djspiewak  )

All applications, eventually, come down to IO. Well, unless you have uncontrolled sideeffects, which would be weird and horrible. This talk explores not only why you want the IO monad in Scala (i.e. why sideeffects are weird and horrible), but also how it works. Specifically, we'll be looking at the new catseffect project, which introduces not only a productionviable IO type for the cats framework, but also a set of typeclasses and rigorous laws for characterizing what an effect type is and how it should behave.